Suchergebnisse für "Austrian Science Fund / H2020 European Research Council / Japan Science and Technology Agency / Mini"
3 Artikel gefunden
Suchfilter
Cover Interactive Theorem Proving
 
Interactive Theorem Proving
Buch

67,99 €
Cover On-Surface Synthesis II
 
On-Surface Synthesis II
Buch

112,99 €
Cover On-Surface Synthesis II
 
On-Surface Synthesis II
Buch

112,99 €

Ähnliche Artikel

Cover Computer Aided Verification
 
Computer Aided Verification
Buch

38,99 €
Cover Computer Aided Verification
 
Computer Aided Verification
Buch

39,99 €
Cover Verified Software. Theories, Tools, and Experiments
 
Verified Software. Theories, Tools, and …
Buch

38,99 €
Cover Logic-Based Program Synthesis and Transformation
 
Logic-Based Program Synthesis and …
Buch

38,99 €
Cover Formal Methods
 
Formal Methods
Buch

68,99 €
Cover Automated Reasoning
 
Automated Reasoning
Buch

39,99 €
Cover Principles of Security and Trust
 
Principles of Security and Trust
Buch

38,99 €
Cover Integrated Formal Methods
 
Integrated Formal Methods
Buch

38,99 €
Cover Software Engineering and Formal Methods
 
Software Engineering and Formal Methods
Buch

38,99 €
Cover Symposium on Real-Time and Hybrid Systems
 
Symposium on Real-Time and Hybrid Systems
Buch

38,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter