966 Results for : checking
-
K. R.:Model-checking infinite state sys
Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model-checking infinite state systems for information flow security, Autor: K. R., Raghavendra, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 160, Informationen: Paperback, Gewicht: 256 gr, Verkäufer: averdo- Shop: averdo
- Price: 61.39 EUR excl. shipping
-
Midwest Political Association: Checking Executive Power
Erscheinungsdatum: 30.10.2003, Medium: Buch, Einband: Gebunden, Titel: Checking Executive Power, Titelzusatz: Presidential Impeachment in Comparative Perspective, Autor: Midwest Political Association, Redaktion: Baumgartner, Jody C. // Kada, Naoko, Verlag: Praeger, Sprache: Englisch, Schlagworte: LAW // Constitutional, Rubrik: Internationales und ausländ. Recht, Seiten: 208, Informationen: HC gerader Rücken kaschiert, Gewicht: 484 gr, Verkäufer: averdo- Shop: averdo
- Price: 99.19 EUR excl. shipping
-
Handbook of Model Checking
Erscheinungsdatum: 08.06.2018, Medium: Buch, Einband: Gebunden, Titel: Handbook of Model Checking, Redaktion: Bloem, Roderick // Clarke, Edmund M. // Henzinger, Thomas A. // Veith, Helmut, Verlag: Springer-Verlag GmbH // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Fertigungstechnik // Zuverlässigkeit // Computer // PC-Hardware // Aufrüsten // Reparieren // Selbstbau // Mathematik // Informatik // Logik // Betriebssystem // Operating System // Allgemeines // COMPUTERS // Computer Science // Betriebssysteme // Zuverlässigkeitstechnik // Wartung und Reparaturen // IT // Mathematik für Informatiker // Systemanalyse und // design, Rubrik: Informatik, Seiten: 1210, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 2139 gr, Verkäufer: averdo- Shop: averdo
- Price: 106.09 EUR excl. shipping
-
Verification, Model Checking, and Abstr
Erscheinungsdatum: 12.01.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Bouajjani, Ahmed // Monniaux, David, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 580, Informationen: Paperback, Gewicht: 897 gr, Verkäufer: averdo- Shop: averdo
- Price: 76.99 EUR excl. shipping
-
Verification, Model Checking, and Abstract Interpretation
Erscheinungsdatum: 26.12.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification, Model Checking, and Abstract Interpretation, Titelzusatz: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, Auflage: 1. Auflage von 2015 // 1st ed. 2016, Redaktion: Jobstmann, Barbara // Leino, K. Rustan M., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines, Rubrik: Informatik, Seiten: 572, Informationen: Paperback, Gewicht: 855 gr, Verkäufer: averdo- Shop: averdo
- Price: 72.39 EUR excl. shipping
-
Tooth, Lucy: Star the Tooth Fairy Is Checking On You!
Erscheinungsdatum: 13.06.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Star the Tooth Fairy Is Checking On You!, Autor: Tooth, Lucy, Verlag: Lulu.com, Sprache: Englisch, Schlagworte: JUVENILE FICTION // General, Rubrik: Kinder- und Jugendbücher, Seiten: 36, Informationen: Booklet, Gewicht: 127 gr, Verkäufer: averdo- Shop: averdo
- Price: 25.09 EUR excl. shipping
-
Munoz-Gama:Conformance Checking and Dia
Erscheinungsdatum: 07.01.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Conformance Checking and Diagnosis in Process Mining, Titelzusatz: Comparing Observed and Modeled Processes, Auflage: 2016, Autor: Munoz-Gama, Jorge, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Data Mining // EDV // Datenverarbeitung // Anwendungen // Betrieb // Verwaltung // Öffentliche Verwaltung // Wirtschaft // Wirtschaftsmathematik // Wirtschaftsrechnen // Informationstechnologie // IT // Technologie // Expertensystem // Wissensbasiertes System // Knowledge Management // Management // Wissensmanagement // COMPUTERS // Data Processing // Wirtschaftsmathematik und // informatik // IT-Management // Informationstechnik // allgemeine Themen // Unternehmensanwendungen, Rubrik: Anwendungs-Software, Seiten: 202, Abbildungen: Bibliographie, Reihe: Lecture Notes in Business Information Processing (Nr. 270), Informationen: Book, Gewicht: 335 gr, Verkäufer: averdo- Shop: averdo
- Price: 54.49 EUR excl. shipping
-
SunsOut Tom Wood - Checking in on the Competition 1000 Teile Puzzle Sunsout-28564
Tom Wood - Checking in on the Competition 1000 Teile Puzzle SunsOut- Shop: Puzzle
- Price: 13.46 EUR excl. shipping
-
-
Mishra:Xilinx HDLC Supporting IP over S
Erscheinungsdatum: 26.02.2013, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Xilinx HDLC Supporting IP over SONET And Checking 16,32Bit CRC, Titelzusatz: XILINX HDLC and CRC Checking, Autor: Mishra, Neeraj, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Elektronik // Elektrotechnik, Nachrichtentechnik, Seiten: 112, Informationen: Paperback, Gewicht: 185 gr, Verkäufer: averdo- Shop: averdo
- Price: 43.39 EUR excl. shipping