Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
New Software Engineering Paradigm Based on Complexity Science: An Introduction to NSE
|
Naturwissensch., Medizin, Technik |
189.00 |
|
Buch |
Sprache:
Englisch / Autor: Jay Xiong / 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 |
|
|
|
|
|
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 |
|
|
|
|
|
Evolutionary Computation in Scheduling
|
Schulbücher |
145.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Komplexe Strukturen: Entropie und Information
|
Naturwissensch., Medizin, Technik |
78.00 |
|
Buch |
Sprache:
Deutsch / Autor: Frank Schweitzer / Einband: Gebunden |
|
|
|
|
|
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
Buch |
Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
|
A Modular Calculus for the Average Cost of Data Structuring
|
Schulbücher |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Michel Schellekens / 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 |
|
|
|
|
|
Parallel-Vector Equation Solvers for Finite Element Engineering Applications
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Duc Thai Nguyen / Einband: Gebunden |
|
|
|
|
|
Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Symbolic Modeling of Multibody Systems
|
Naturwissensch., Medizin, Technik |
216.00 |
|
Buch |
Sprache:
Englisch / Autor: P. Fisette / Einband: Gebunden |
|
|
|
|
|
Algorithms - ESA 2006: 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings
|
EDV / Informatik |
179.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 |
|
|
|
|
|
Quantum Computation and Quantum Communication: Theory and Experiments
|
Naturwissensch., Medizin, Technik |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Mladen Pavicic / 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 |
|
|
|
|
|
Unfoldings: A Partial-Order Approach to Model Checking
|
EDV / Informatik |
153.00 |
|
Buch |
Sprache:
Englisch / Autor: Javier Esparza / Einband: Kartoniert |
|
|
|
|
|
Agents and Artificial Intelligence: 9th International Conference, ICAART 2017, Porto, Portugal, February 24¿26, 2017, Revised Selected Papers
|
EDV / Informatik |
69.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 |
|
|
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
|
|
Integer Programming and Combinatorial Optimization: 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings
|
EDV / Informatik |
124.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 |
|
|
|
| / 72 |