Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel
|
EDV / Informatik |
70.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceeding
|
Schulbücher |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Pro
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Relationale Datenbanken: Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
|
EDV / Informatik |
49.90 |
|
| Buch |
Sprache:
Deutsch / Autor: Thomas Studer / Einband: Kartoniert |
|
|
|
|
 |
Decision Theory and Multi-Agent Planning
|
Schulbücher |
69.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 |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
|
Schulbücher |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2
|
EDV / Informatik |
65.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
|
EDV / Informatik |
70.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 |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Mathematics of Fuzzy Sets and Fuzzy Logic
|
Naturwissensch., Medizin, Technik |
199.00 |
|
| Buch |
Sprache:
Englisch / Autor: Barnabas Bede / Einband: Kartoniert |
|
|
|
|
 |
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceeding
|
Schulbücher |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Adapting Proofs-as-Programs: The Curry--Howard Protocol
|
EDV / Informatik |
189.00 |
|
| Buch |
Sprache:
Englisch / Autor: Martin Wirsing / Einband: Gebunden |
|
|
|
|
 |
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Intelligent Information Processing VII: 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
|
EDV / Informatik |
84.00 |
|
| Buch |
Sprache:
Englisch / Autor: Lawrence C. Paulson / Einband: Kartoniert |
|
|
|
|
 |
SDL 2007: Design for Dependable Systems - 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 40  |
Newsfeed | 
Facebook | 
Twitter
