Hakutulokset: Kirjoja kirjailijalta Dirk Beyer
yhteensä 26 hakutulosta
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for …
Markovian Demand Inventory Models
Inventory management is concerned with matching supply with demand and a central problem in Operations Management. The problem is to find the amount to be produced or purchased in …
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS …
Genetic and Evolutionary Computation — GECCO 2004
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004. …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for …
Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms …
Urogenital Imaging
Dx-Direct is a series of eleven Thieme books covering the main subspecialties in radiology. It includes all the cases you are most likely to see in your typical working day as a …
Tests and Proofs
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, …
Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this …
Genetic and Evolutionary Computation — GECCO 2004
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004. …
Markovian Demand Inventory Models
Inventory management is concerned with matching supply with demand and a central problem in Operations Management. The problem is to find the amount to be produced or purchased in …