89 Results for : verifying
-
Verifying multicore software : A case study
Verifying multicore software : A case study ab 39.99 € als Taschenbuch: . Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 39.99 EUR excl. shipping
-
Algorithms for Verifying Deep Neural Networks
Algorithms for Verifying Deep Neural Networks ab 148.49 € als Taschenbuch: . Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,- Shop: hugendubel
- Price: 148.49 EUR excl. shipping
-
Verifying Treaty Compliance
Verifying Treaty Compliance ab 192.49 € als Taschenbuch: Limiting Weapons of Mass Destruction and Monitoring Kyoto Protocol Provisions. Softcover reprint of hardcover 1st ed. 2006. Aus dem Bereich: Bücher, Taschenbücher, Wirtschaft & Soziales,- Shop: hugendubel
- Price: 192.49 EUR excl. shipping
-
Verifying Temporal Properties of Systems
Verifying Temporal Properties of Systems ab 82.49 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,- Shop: hugendubel
- Price: 82.49 EUR excl. shipping
-
Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems ab 59.49 € als epub eBook: A Path to Safe Autonomy. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 59.49 EUR excl. shipping
-
Verifying Concurrent Processes Using Temporal Logic
Verifying Concurrent Processes Using Temporal Logic ab 74.99 € als Taschenbuch: Auflage 1982. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 74.99 EUR excl. shipping
-
Verifying Temporal Properties of Systems
Verifying Temporal Properties of Systems ab 85.49 € als Taschenbuch: Softcover reprint of the original 1st ed. 1992. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,- Shop: hugendubel
- Price: 85.49 EUR excl. shipping
-
Verifying Calculations - Forty Years On
Verifying Calculations - Forty Years On ab 58.99 € als Taschenbuch: An Overview of Classical Verification Techniques for FEM Simulations. 1st ed. 2016. Aus dem Bereich: Bücher, Wissenschaft, Mathematik,- Shop: hugendubel
- Price: 58.99 EUR excl. shipping
-
Verifying Calculations - Forty Years On
Verifying Calculations - Forty Years On ab 58.99 € als pdf eBook: An Overview of Classical Verification Techniques for FEM Simulations. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 58.99 EUR excl. shipping
-
Strategies for Selecting and Verifying Hearing Aid Fittings
Strategies for Selecting and Verifying Hearing Aid Fittings ab 90.49 € als epub eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Medizin,- Shop: hugendubel
- Price: 90.49 EUR excl. shipping