erika ábrahám
At The Pinnacle
EbookSofort lieferbar'Go for it, Mom!' With those words of encouragement, Erika Abraham began a long running journey d...
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...
Formal Techniques for Distributed Objects, Components, and Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...
Theory and Practice of Formal Methods
EbookSofort lieferbarThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th ...
Integrated Formal Methods
EbookSofort lieferbarThis bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedF...
Quantitative Evaluation of Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 19th International Conference on Quantitative Evalua...
Fundamentals of Software Engineering
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-conference proceedings of the 10th Internation...
Theoretical Aspects of Computing - ICTAC 2023
EbookSofort lieferbarThis book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...
Raza, eugenesia y políticas públicas en América Latina, 1900-1950
EbookSofort lieferbarEste libro analiza los diferentes espacios geográficos, maneras de operación diversas, estrategia...
Runtime Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 24th International Conference on Runtime Ve...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchBezug 11-15This book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...
Formal Techniques for Distributed Objects, Components, and Systems
TaschenbuchBezug 11-15This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...
- 1
- 2