Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Unfoldings: A Partial-Order Approach to Model Checking
|
EDV / Informatik |
153.00 |
|
| Buch |
  Sprache:
Englisch / Autor: Javier Esparza / Einband: Kartoniert |
|
|
|
|
 |
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
| Buch |
 Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
 |
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceed
|
EDV / Informatik |
142.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
|
EDV / Informatik |
113.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
|
EDV / Informatik |
113.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Implementation and Application of Automata: 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Foundations of Algebraic Specification and Formal Software Development
|
EDV / Informatik |
109.00 |
|
| Buch |
Sprache:
Englisch / Autor: Donald Sannella / Einband: Kartoniert |
|
|
|
|
| / 19  |
Newsfeed | 
Facebook | 
Twitter
