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 |
|
|
|
|
 |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Kartoniert |
|
|
|
|
 |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
| Buch |
 Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Gebunden |
|
|
|
|
 |
Abstract Computing Machines: A Lambda Calculus Perspective
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Autor: Werner Kluge / Einband: Kartoniert |
|
|
|
|
 |
Abstract State Machines 2003: Advances in Theory and Practice - 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004
|
EDV / Informatik |
69.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 |
|
|
|
|
 |
Abstraction, Reformulation and Approximation: 6th International Symposium, Sara 2005, AIRTH Castle, Scotland, UK, July 26-29, 2005, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Adapting Proofs-as-Programs: The Curry--Howard Protocol
|
EDV / Informatik |
203.00 |
|
| Buch |
Sprache:
Englisch / Autor: Martin Wirsing / Einband: Gebunden |
|
|
|
|
 |
Adapting Proofs-as-Programs: The Curry--Howard Protocol
|
EDV / Informatik |
188.00 |
|
| Buch |
Sprache:
Englisch / Autor: Martin Wirsing / Einband: Kartoniert |
|
|
|
|
 |
Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
|
EDV / Informatik |
97.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advanced Topics in Term Rewriting
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: Enno Ohlebusch / Einband: Gebunden |
|
|
|
|
 |
Advanced Topics in Term Rewriting
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: Enno Ohlebusch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Agent Communication: International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006: 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI
|
EDV / Informatik |
153.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 20
|
EDV / Informatik |
104.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedin
|
EDV / Informatik |
97.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India,
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 26  |
Newsfeed | 
Facebook | 
Twitter
