Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
SOFSEM 2017: Theory and Practice of Computer Science
Band 10139
SOFSEM 2017: Theory and Practice of Computer ScienceBuch (Taschenbuch) + weitere
Fr. 72.90
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Band 15223
Leveraging Applications of Formal Methods, Verification and Validation. Application AreasBuch (Taschenbuch) + weitere
Fr. 72.90
-
Transactions on Foundations for Mastering Change I
Band 9960
Transactions on Foundations for Mastering Change IeBook (PDF) + weitere
Fr. 62.90
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Band 12476
Leveraging Applications of Formal Methods, Verification and Validation: Verification PrinciplesBuch (Taschenbuch) + weitere
Fr. 119.00
-
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Band 12477
Leveraging Applications of Formal Methods, Verification and Validation: Engineering PrinciplesBuch (Taschenbuch) + weitere
Fr. 72.90
-
Bridging the Gap Between AI and Reality
Band 17146 Vorbesteller
Bridging the Gap Between AI and RealityBuch (Taschenbuch)
Fr. 58.90
-
Formal Methods for Industrial Critical Systems
Band 16040
Formal Methods for Industrial Critical SystemseBook (PDF) + weitere
Fr. 72.90
-
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Band 13703
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and LearningBuch (Taschenbuch) + weitere
Fr. 99.90
-
Leveraging Applications of Formal Methods, Verification, and Validation
Band 6416
Leveraging Applications of Formal Methods, Verification, and ValidationBuch (Taschenbuch) + weitere
Fr. 133.00
-
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Band 15221
Leveraging Applications of Formal Methods, Verification and Validation. Specification and VerificationBuch (Taschenbuch) + weitere
Fr. 112.00
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Band 8802
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering ChangeBuch (Taschenbuch) + weitere
Fr. 73.90
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Band 11245
Leveraging Applications of Formal Methods, Verification and Validation. VerificationBuch (Taschenbuch) + weitere
Fr. 73.90
-
Bridging the Gap Between AI and Reality
Band 15217
Bridging the Gap Between AI and RealityBuch (Taschenbuch) + weitere
Fr. 101.00
-
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Band 8803
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and ApplicationsBuch (Taschenbuch) + weitere
Fr. 73.90
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Band 13702
Leveraging Applications of Formal Methods, Verification and Validation. Software EngineeringBuch (Taschenbuch) + weitere
Fr. 99.90
-
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Band 13704
Leveraging Applications of Formal Methods, Verification and Validation. PracticeBuch (Taschenbuch) + weitere
Fr. 93.90
-
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Band 12479
Leveraging Applications of Formal Methods, Verification and Validation: Tools and TrendsBuch (Taschenbuch) + weitere
Fr. 72.90
-
Model Checking, Synthesis, and Learning
Band 13030
Model Checking, Synthesis, and LearningBuch (Taschenbuch) + weitere
Fr. 93.90
-
The Combined Power of Research, Education, and Dissemination
Band 15240
The Combined Power of Research, Education, and DisseminationBuch (Taschenbuch) + weitere
Fr. 107.00
-
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Band 15219
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De NicolaBuch (Taschenbuch) + weitere
Fr. 112.00
-
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Band 12478
Leveraging Applications of Formal Methods, Verification and Validation: ApplicationseBook (PDF) + weitere
Fr. 62.90
-
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
Band 17143 Vorbesteller
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System ContractsBuch (Taschenbuch)
Fr. 58.90
-
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Band 9952
Leveraging Applications of Formal Methods, Verification and Validation: Foundational TechniquesBuch (Taschenbuch) + weitere
Fr. 138.00
-
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Band 15220
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive SystemsBuch (Taschenbuch) + weitere
Fr. 106.00
von 46 Treffern werden angezeigt