Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Theories of Programming and Formal Methods
Band 8051
Theories of Programming and Formal MethodsBuch (Taschenbuch) + weitere
Fr. 72.90
-
Theoretical Aspects of Computing – ICTAC 2025
Band 16237
Theoretical Aspects of Computing – ICTAC 2025Buch (Taschenbuch) + weitere
Fr. 105.00
-
Engineering Trustworthy Software Systems
Band 15584
Engineering Trustworthy Software SystemsBuch (Taschenbuch) + weitere
Fr. 72.90
-
Theoretical Aspects of Computing -- ICTAC 2013
Band 8049
Theoretical Aspects of Computing -- ICTAC 2013eBook (PDF) + weitere
Fr. 62.90
-
Unifying Theories of Programming and Formal Engineering Methods
Band 8050
Unifying Theories of Programming and Formal Engineering MethodseBook (PDF) + weitere
Fr. 62.90
-
Formal Aspects of Component Software
Band 8348
Formal Aspects of Component SoftwareBuch (Taschenbuch) + weitere
Fr. 72.90
-
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
Mathematical Frameworks for Component Software: Models for Analysis and SynthesisBuch (Gebundene Ausgabe)
Fr. 187.00
-
Theoretical Aspects of Computing – ICTAC 2022
Band 13572
Theoretical Aspects of Computing – ICTAC 2022Buch (Taschenbuch) + weitere
Fr. 72.90
-
Dependable Software Engineering: Theories, Tools, and Applications
Band 9409
Dependable Software Engineering: Theories, Tools, and ApplicationsBuch (Taschenbuch) + weitere
Fr. 71.90
-
Foundations of Health Informatics Engineering and Systems
Band 7151
Foundations of Health Informatics Engineering and SystemseBook (PDF)
Fr. 65.90
-
Foundations of Health Informatics Engineering and Systems
Band 7151
Foundations of Health Informatics Engineering and SystemsBuch (Taschenbuch)
Fr. 69.90
-
Formal Methods and Software Engineering
Band 4260Zhiming Liu + weitere
Formal Methods and Software EngineeringBuch (Taschenbuch)
Fr. 137.00
-
Theoretical Aspects of Computing - ICTAC 2007
Cliff B. Jones, Zhiming Liu + weitere
Theoretical Aspects of Computing - ICTAC 2007Buch (Taschenbuch)
Fr. 72.90
-
Formal Methods and Hybrid Real-Time Systems
Band 4700Cliff B. Jones, Zhiming Liu + weitere
Formal Methods and Hybrid Real-Time SystemsBuch (Taschenbuch)
Fr. 72.90
-
Domain Modeling and the Duration Calculus
Band 4710Chris George, Zhiming Liu + weitere
Domain Modeling and the Duration CalculusBuch (Taschenbuch)
Fr. 73.90
-
Automated Technology for Verification and Analysis
Band 5799Zhiming Liu + weitere
Automated Technology for Verification and AnalysisBuch (Taschenbuch)
Fr. 72.90
-
Theoretical Aspects of Computing - ICTAC 2004
Band 3407Zhiming Liu + weitere
Theoretical Aspects of Computing - ICTAC 2004Buch (Taschenbuch)
Fr. 137.00
von 17 Treffern werden angezeigt