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 |
|
|
|
|
 |
Computational Science - ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV
|
EDV / Informatik |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering 3: Domains, Requirements, and Software Design
|
EDV / Informatik |
147.00 |
|
| Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Kartoniert |
|
|
|
|
 |
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
| Buch |
 Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
 |
Parallel-Vector Equation Solvers for Finite Element Engineering Applications
|
EDV / Informatik |
203.00 |
|
| Buch |
Sprache:
Englisch / Autor: Duc Thai Nguyen / Einband: Gebunden |
|
|
|
|
 |
A Modular Calculus for the Average Cost of Data Structuring
|
Schulbücher |
179.00 |
|
| Buch |
Sprache:
Englisch / Autor: Michel Schellekens / Einband: Kartoniert |
|
|
|
|
 |
Computational Science - ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III
|
EDV / Informatik |
189.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Computational Science - ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
|
EDV / Informatik |
199.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Quantum Physics: An Introduction Based on Photons
|
Naturwissensch., Medizin, Technik |
89.00 |
|
| Buch |
Sprache:
Englisch / Autor: A. I Lvovsky / Einband: Kartoniert |
|
|
|
|
 |
Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / 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 |
|
|
|
|
 |
Algorithms - ESA 2006: 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings
|
EDV / Informatik |
179.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
SOFSEM 2005: Theory and Practice of Computer Science - 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Sl
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Hybrid Metaheuristics: Powerful Tools for Optimization
|
EDV / Informatik |
147.00 |
|
| Buch |
Sprache:
Englisch / Autor: Günther R. Raidl / Einband: Kartoniert |
|
|
|
|
 |
Symbolic Modeling of Multibody Systems
|
Naturwissensch., Medizin, Technik |
216.00 |
|
| Buch |
Sprache:
Englisch / Autor: P. Fisette / Einband: Gebunden |
|
|
|
|
 |
Alan Turing: Life and Legacy of a Great Thinker
|
EDV / Informatik |
169.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
|
Schulbücher |
97.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Nonlinear Optimization with Financial Applications
|
Schulbücher |
158.00 |
|
| Buch |
Sprache:
Englisch / Autor: Michael Bartholomew-Biggs / Einband: Gebunden |
|
|
|
|
 |
Algorithms ¿- ESA 2012: 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
|
Schulbücher |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Vorkurs Informatik: Der Einstieg ins Informatikstudium
|
EDV / Informatik |
43.90 |
|
| Buch |
 Sprache:
Deutsch / Autor: Heinrich Müller / 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: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 97  |
Newsfeed | 
Facebook | 
Twitter
