Es wurden 457 Produkte zu dem Suchbegriff verification in 1 Shops gefunden:
-
- Verification and Validation in Scientific Computing
Anbieter: MEDIMOPS Preis: 20,39 €Brand : Cambridge University Press, Binding : Gebundene Ausgabe, Edition : Illustrated, Label : Cambridge University Press, Publisher : Cambridge University Press, NumberOfItems : 1, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, publicationDate : 2010-11-22, releaseDate : 2010-11-22, ISBN : 0521113601
-
Sylvain Tesson - GEBRAUCHT Vérification de la porte opposée - Preis vom 21.10.2024 04:58:51 h
Anbieter: MEDIMOPS Preis: 7,82 € (+1,99 €)Binding : Taschenbuch, Label : Editions Phébus, Publisher : Editions Phébus, medium : Taschenbuch, publicationDate : 2010-03-18, authors : Sylvain Tesson, languages : french, ISBN : 2752904479
-
Peet James - Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages
Anbieter: MEDIMOPS Preis: 171,19 €Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 251, publicationDate : 2003-10-31, authors : Peet James, ISBN : 1402076193
-
Chris Köcher - Verification of Automata with Storage Mechanisms
Anbieter: MEDIMOPS Preis: 18,00 € (+1,99 €)Binding : Taschenbuch, Label : TU Ilmenau Universitätsbibliothek, Publisher : TU Ilmenau Universitätsbibliothek, medium : Taschenbuch, numberOfPages : 260, publicationDate : 2022-12-08, releaseDate : 2022-12-08, authors : Chris Köcher, ISBN : 386360265X
-
Safouen Selmi - Vérification d’un FPGA dans le système de contrôle de freinage d'Avion: Conception d'un environnement de Test pour un FPGA selon la Norme DO-254 DAL A (Omn.Univ.Europ.)
Anbieter: MEDIMOPS Preis: 35,89 €Brand : Omniscriptum, Binding : Taschenbuch, Label : Éditions universitaires européennes, Publisher : Éditions universitaires européennes, medium : Taschenbuch, numberOfPages : 88, publicationDate : 2014-04-14, releaseDate : 2014-04-14, authors : Safouen Selmi, ISBN : 384179937X
-
Kamel Barkaoui - Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings (Lecture Notes in Computer Science)
Anbieter: MEDIMOPS Preis: 52,71 €Brand : RIDDLEDWITHSTYLE, Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 224, publicationDate : 2017-09-21, releaseDate : 2017-09-21, publishers : Kamel Barkaoui, languages : english, ISBN : 3319661752
-
Pierre Ganty - Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, ... Notes in Computer Science, Band 11847)
Anbieter: MEDIMOPS Preis: 53,49 €Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 128, publicationDate : 2019-11-10, releaseDate : 2019-11-10, publishers : Pierre Ganty, Mohamed Kaâniche, ISBN : 3030350916
-
Bernhard Beckert - Verification of Object-Oriented Software: The KeY Approach (Lecture Notes in Computer Science)
Anbieter: MEDIMOPS Preis: 106,24 €Binding : Taschenbuch, Edition : 2007, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 692, publicationDate : 2008-10-10, publishers : Bernhard Beckert, languages : english, ISBN : 354068977X
-
Anton Karputkin - Verification and Error Correction on High-Level Decision Diagrams
Anbieter: MEDIMOPS Preis: 55,34 €Brand : LAP Lambert Academic Publishing, Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 124, publicationDate : 2013-03-22, releaseDate : 2013-03-22, authors : Anton Karputkin, ISBN : 3659355704
-
Janick Bergeron - GEBRAUCHT Verification Methodology Manual for SystemVerilog: Introduction to the Theory of Hyperfine Structure - Preis vom 21.10.2024 04:58:51 h
Anbieter: MEDIMOPS Preis: 18,99 € (+1,99 €)Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2006, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 1, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 520, publicationDate : 2005-09-28, releaseDate : 2005-08-01, authors : Janick Bergeron, Eduard Cerny, Alan Hunter, Andy Nightingale, ISBN : 0387255389
-
Chiranjeevi Aradhya - Vérification des logiciels critiques pour la sécurité de l'avionique
Anbieter: MEDIMOPS Preis: 39,34 €Binding : Taschenbuch, Label : Editions Notre Savoir, Publisher : Editions Notre Savoir, medium : Taschenbuch, numberOfPages : 60, publicationDate : 2020-12-03, releaseDate : 2020-12-03, authors : Chiranjeevi Aradhya, ISBN : 6203079332
-
Jürgen Altmann - Verification of Arms Reductions: Nuclear, Conventional and Chemical
Anbieter: MEDIMOPS Preis: 106,24 €Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1989, Label : Springer-Verlag, Publisher : Springer-Verlag, medium : Taschenbuch, numberOfPages : 248, publicationDate : 1989-01-01, publishers : Jürgen Altmann, ISBN : 3642466869
-
Krzysztof Apt - Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: MEDIMOPS Preis: 98,74 €Binding : Gebundene Ausgabe, Edition : 3rd ed. 2009, Corr. 3rd printing 2010, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 502, publicationDate : 2010-10-14, authors : Krzysztof Apt, de Boer, Frank S., Ernst-Rüdiger Olderog, languages : english, ISBN : 184882744X
-
Florent Pled - Vérification des calculs par éléments finis en ingénierie mécanique: Application aux problèmes d'élasticité linéaire en quasi-statique (Omn.Pres.Franc.)
Anbieter: MEDIMOPS Preis: 98,14 €Brand : Omniscriptum, Binding : Taschenbuch, Edition : Illustrated, Label : Presses Académiques Francophones, Publisher : Presses Académiques Francophones, Format : Illustriert, medium : Taschenbuch, numberOfPages : 308, publicationDate : 2013-06-30, releaseDate : 2013-06-30, authors : Florent Pled, ISBN : 384162040X
-
Arkady Serkov - Verification of M Faraday`s hypothesis on the gravitational power line: Faraday`s power lines in space
Anbieter: MEDIMOPS Preis: 3,29 €Brand : LAP Lambert Academic Publishing, Binding : Taschenbuch, Label : LAP LAMBERT Academic Publishing, Publisher : LAP LAMBERT Academic Publishing, medium : Taschenbuch, numberOfPages : 96, publicationDate : 2015-05-08, authors : Arkady Serkov, Alex Serkov, ISBN : 3659688886
-
Klaus Schneider - Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Anbieter: MEDIMOPS Preis: 52,94 €Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2004, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, medium : Taschenbuch, numberOfPages : 620, publicationDate : 2010-02-19, authors : Klaus Schneider, ISBN : 3642055559
-
Mohammed Lachkar - Vérification du support démarreur équipant le turboréacteur CFM 56
Anbieter: MEDIMOPS Preis: 64,34 €Brand : UNIV EUROPEENNE, Binding : Taschenbuch, Label : Éditions universitaires européennes, Publisher : Éditions universitaires européennes, medium : Taschenbuch, numberOfPages : 176, publicationDate : 2016-12-13, releaseDate : 2016-12-13, authors : Mohammed Lachkar, Omar Aznag, ISBN : 3841786286
-
Jürgen Altmann - GEBRAUCHT Verification of Arms Reductions: Nuclear, Conventional and Chemical - Preis vom 21.10.2024 04:58:51 h
Anbieter: MEDIMOPS Preis: 4,99 € (+1,99 €)Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 8, medium : Gebundene Ausgabe, numberOfPages : 242, publicationDate : 1989-10-19, releaseDate : 1989-10-19, publishers : Jürgen Altmann, Joseph Rotblat, ISBN : 3540515968
-
Paulo Tabuada - Verification and Control of Hybrid Systems: A Symbolic Approach
Anbieter: MEDIMOPS Preis: 139,09 €Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2010-11-05, releaseDate : 2010-11-05, authors : Paulo Tabuada, ISBN : 1441954988
-
Alessandro Gianola - Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing, 470, Band 470)
Anbieter: MEDIMOPS Preis: 70,04 €Binding : Taschenbuch, Edition : 1st ed. 2023, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 345, publicationDate : 2023-10-30, releaseDate : 2023-10-30, authors : Alessandro Gianola, ISBN : 3031427459
457 Ergebnisse in 0.221 Sekunden
Ähnliche Suchbegriffe
© Copyright 2024 shopping.eu