Found: 18
Select item for more details and to access through your institution.
Automated application component placement in data centers using mathematical programming.
- Published in:
- International Journal of Network Management, 2008, v. 18, n. 6, p. 467, doi. 10.1002/nem.707
- By:
- Publication type:
- Article
SECTORAL ANALYSIS OF THE DIFFERENCES IN PROFITABILITY OF CZECH AND GERMAN BUSINESS VENTURES - AN EMPIRICAL BENCHMARK STUDY.
- Published in:
- E+M Economics & Management / E+M Ekonomie a Management, 2018, v. 21, n. 1, p. 127, doi. 10.15240/tul/001/2018-1-009
- By:
- Publication type:
- Article
Efficient Relational Calculation for Software Analysis.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 2, p. 137, doi. 10.1109/TSE.2005.23
- By:
- Publication type:
- Article
HP Enterprise Services Uses Optimization for Resource Planning.
- Published in:
- Interfaces, 2013, v. 43, n. 2, p. 152, doi. 10.1287/inte.1110.0621
- By:
- Publication type:
- Article
HP Transforms ProductPort folio Management with Operations Research.
- Published in:
- Interfaces, 2010, v. 40, n. 1, p. 17, doi. 10.1287/inte.1090.0476
- By:
- Publication type:
- Article
European benchmarking of determinants of profitability for companies with accrual accounting in the agricultural sector.
- Published in:
- Agricultural Economics / Zemědělská Ekonomika, 2020, v. 66, n. 11, p. 477, doi. 10.17221/128/2020-AGRICECON
- By:
- Publication type:
- Article
Correction to: Reliable benchmarking: requirements and solutions.
- Published in:
- 2022
- By:
- Publication type:
- Correction Notice
TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 879, doi. 10.1007/s10009-021-00631-1
- By:
- Publication type:
- Article
First international competition on software testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 833, doi. 10.1007/s10009-021-00613-3
- By:
- Publication type:
- Article
TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 829, doi. 10.1007/s10009-021-00611-5
- By:
- Publication type:
- Article
Cooperative verifier-based testing with CoVeriTest.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 313, doi. 10.1007/s10009-020-00587-8
- By:
- Publication type:
- Article
Tools for the construction and analysis of systems: A special issue for TACAS 2018.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 685, doi. 10.1007/s10009-020-00581-0
- By:
- Publication type:
- Article
Reliable benchmarking: requirements and solutions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 1, doi. 10.1007/s10009-017-0469-y
- By:
- Publication type:
- Article
BDD-based software verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 507, doi. 10.1007/s10009-014-0334-1
- By:
- Publication type:
- Article
Rigorous examination of reactive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 457, doi. 10.1007/s10009-014-0337-y
- By:
- Publication type:
- Article
The software model checker B last.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 505, doi. 10.1007/s10009-007-0044-z
- By:
- Publication type:
- Article
AFM and STM Characterization of TiO<sub>2</sub>-Ultrafiltration Membranes.
- Published in:
- Surface & Interface Analysis: SIA, 1997, v. 25, n. 7/8, p. 593, doi. 10.1002/(SICI)1096-9918(199706)25:7/8<593::AID-SIA277>3.0.CO;2-Q
- By:
- Publication type:
- Article
Investigation of Electrical Double Layers on SIO<sub>2</sub> Surfaces by Means of Force vs. Distance Measurements.
- Published in:
- Surface & Interface Analysis: SIA, 1997, v. 25, n. 7/8, p. 543, doi. 10.1002/(SICI)1096-9918(199706)25:7/8<543::AID-SIA268>3.0.CO;2-T
- By:
- Publication type:
- Article