Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Vincent G. Duffy, Vincen G Duffy, Vincent G Duffy - Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling
Vincent G. Duffy, Vincen G Duffy, Vincent G Duffy Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott - Rebeca for Actor Analysis in Action
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott Rebeca for Actor Analysis in Action Englisch 06.04.2025 Taschenbuch Fr. 92.00 6-7 Wochen
Alessandr Cimatti, Alessandro Cimatti, Sirjani, Sirjani, Marjan Sirjani - Software Engineering and Formal Methods
Alessandr Cimatti, Alessandro Cimatti, Sirjani, Sirjani, Marjan Sirjani Software Engineering and Formal Methods Englisch 30.11.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 Englisch 31.10.2019 Taschenbuch Fr. 110.00 6-7 Wochen
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation Englisch 27.03.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation Englisch 27.03.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Englisch 10.07.2025 Taschenbuch Fr. 56.90 6-7 Wochen
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Englisch 10.07.2025 Taschenbuch Fr. 56.90 6-7 Wochen
Adria Kosowski, Adrian Kosowski, Walukiewicz, Walukiewicz, Igor Walukiewicz - Fundamentals of Computation Theory
Adria Kosowski, Adrian Kosowski, Walukiewicz, Walukiewicz, Igor Walukiewicz Fundamentals of Computation Theory Englisch 30.09.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Pete Paterson, Peter Paterson, Prakas Rashinkar, Prakash Rashinkar, Leena Singh - System-on-a-Chip Verification
Pete Paterson, Peter Paterson, Prakas Rashinkar, Prakash Rashinkar, Leena Singh System-on-a-Chip Verification Englisch 17.10.2013 Taschenbuch Fr. 199.00 6-7 Wochen
Maurizi Proietti, Maurizio Proietti, Seki, Seki, Hirohisa Seki - Logic-Based Program Synthesis and Transformation
Maurizi Proietti, Maurizio Proietti, Seki, Seki, Hirohisa Seki Logic-Based Program Synthesis and Transformation Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Robert B. Jones, Robert B Jones, Robert B. Jones - Symbolic Simulation Methods for Industrial Formal Verification
Robert B. Jones, Robert B Jones, Robert B. Jones Symbolic Simulation Methods for Industrial Formal Verification Englisch 31.05.2013 Taschenbuch Fr. 135.00 6-7 Wochen
F. Balarin, Felic Balarin, Felice Balarin, Harr Hsieh, Harry Hsieh, Alberto L. Sangiovanni-Vincenglishtelli... - Synchronous Equivalence
F. Balarin, Felic Balarin, Felice Balarin, Harr Hsieh, Harry Hsieh, Alberto L. Sangiovanni-Vincenglishtelli... Synchronous Equivalence Englisch 12.03.2013 Taschenbuch Fr. 135.00 6-7 Wochen
Drobiazgiewicz, Drobiazgiewicz, Leszek Drobiazgiewicz, Jerz Soldek, Jerzy Soldek - Artificial Intelligence and Security in Computing Systems
Drobiazgiewicz, Drobiazgiewicz, Leszek Drobiazgiewicz, Jerz Soldek, Jerzy Soldek Artificial Intelligence and Security in Computing Systems Englisch 13.03.2013 Taschenbuch Fr. 189.00 6-7 Wochen
Taghi M. Khoshgoftaar, Tagh M Khoshgoftaar, Taghi M Khoshgoftaar, Taghi M. Khoshgoftaar - Software Engineering with Computational Intelligence
Taghi M. Khoshgoftaar, Tagh M Khoshgoftaar, Taghi M Khoshgoftaar, Taghi M. Khoshgoftaar Software Engineering with Computational Intelligence Englisch 13.03.2013 Taschenbuch Fr. 189.00 6-7 Wochen
Bhattacharya, Bhattacharya, Sourav Bhattacharya, Victo L Winter, Victor L Winter, Victor L. Winter... - High Integrity Software
Bhattacharya, Bhattacharya, Sourav Bhattacharya, Victo L Winter, Victor L Winter, Victor L. Winter... High Integrity Software Englisch 13.03.2013 Taschenbuch Fr. 189.00 6-7 Wochen
Salem Lahlou, Mukund, Madhavan Mukund - Networked Systems
Salem Lahlou, Mukund, Madhavan Mukund Networked Systems Englisch 01.09.2025 Taschenbuch Fr. 189.00 6-7 Wochen
Jeremy Gibbons - Trends in Functional Programming
Jeremy Gibbons Trends in Functional Programming Englisch 26.08.2025 Taschenbuch Fr. 159.00 6-7 Wochen
Anne Remke, Steffen, Bernhard Steffen - Formal Methods for Industrial Critical Systems
Anne Remke, Steffen, Bernhard Steffen Formal Methods for Industrial Critical Systems Englisch 04.09.2025 Taschenbuch Fr. 82.00 6-7 Wochen
Bernhard Steffen - Bridging the Gap Between AI and Reality
Bernhard Steffen Bridging the Gap Between AI and Reality Englisch 20.09.2025 Taschenbuch Fr. 56.90 6-7 Wochen