Languages
Subject
Format
Availabity
Authors

Search result

Nicola Olivetti - Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Jef Gray, Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo - Theory and Practice of Model Transformations
Jef Gray, Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo Theory and Practice of Model Transformations English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Fran Dignum, Frank Dignum - Advances in Agent Communication
Fran Dignum, Frank Dignum Advances in Agent Communication English 06.07.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Ron Morrison, Flavio Oquendo, Brian Warboys - Software Architecture
Ron Morrison, Flavio Oquendo, Brian Warboys Software Architecture English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Hartmut König - Protocol Engineering
Hartmut König Protocol Engineering English 09.11.2014 Paperback / Softback Fr. 110.00 6-7 weeks
Mike Hinchey, Steffen, Bernhard Steffen - The Combined Power of Research, Education, and Dissemination
Mike Hinchey, Steffen, Bernhard Steffen The Combined Power of Research, Education, and Dissemination English 01.02.2025 Paperback / Softback Fr. 92.00 6-7 weeks
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 English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
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 English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 189.00 6-7 weeks
Giovanna Broccia, Cerone, Antonio Cerone - From Data to Models and Back
Giovanna Broccia, Cerone, Antonio Cerone From Data to Models and Back English 16.04.2025 Paperback / Softback Fr. 147.00 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Sidney C Nogueira, Sidney C. Nogueira, Teodorov, Ciprian Teodorov - Formal Methods: Foundations and Applications
Sidney C Nogueira, Sidney C. Nogueira, Teodorov, Ciprian Teodorov Formal Methods: Foundations and Applications English 26.12.2024 Paperback / Softback Fr. 82.00 6-7 weeks
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such English 05.10.2024 Paperback / Softback Fr. 70.00 6-7 weeks
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English Paperback / Softback Fr. 168.00 Will be released 06.08.2025
Elvio Amparore, Mikulski, Łukasz Mikulski - Application and Theory of Petri Nets and Concurrency
Elvio Amparore, Mikulski, Łukasz Mikulski Application and Theory of Petri Nets and Concurrency English, German Paperback / Softback Fr. 102.00 Will be released 03.07.2025