Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
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 |
|
|
|
|
 |
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
|
EDV / Informatik |
110.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 |
|
|
|
|
 |
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Abstraction, Refinement and Proof for Probabilistic Systems
|
EDV / Informatik |
203.00 |
|
| Buch |
Sprache:
Englisch / Autor: Annabelle McIver / 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 |
|
|
|
|
 |
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedi
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Specification and Verification of Multi-agent Systems
|
EDV / Informatik |
193.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
|
Philosophie |
124.00 |
|
| Buch |
Sprache:
Englisch / Autor: Enrico Martino / 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 |
|
|
|
|
 |
Fundamentals of Algebraic Graph Transformation
|
Schulbücher |
157.00 |
|
| Buch |
Sprache:
Englisch / Autor: Hartmut Ehrig / Einband: Gebunden |
|
|
|
|
 |
AI*IA 2003: Advances in Artificial Intelligence - 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
MICAI 2002: Advances in Artificial Intelligence - Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22
|
EDV / Informatik |
142.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 |
|
|
|
|
 |
MICAI 2007: Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Graham Priest on Dialetheism and Paraconsistency
|
Philosophie |
179.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Database Theory - ICDT 2003: 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Case-Based Reasoning: 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings
|
EDV / Informatik |
158.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, Novemb
|
EDV / Informatik |
105.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
|
Naturwissensch., Medizin, Technik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 31  |
Newsfeed | 
Facebook | 
Twitter
