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 |
|
|
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
|
|
Komplexe Strukturen: Entropie und Information
|
Naturwissensch., Medizin, Technik |
78.00 |
|
Buch |
Sprache:
Deutsch / Autor: Frank Schweitzer / 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 |
|
|
|
|
|
Partizipatives organisationales Lernen: Ein prozessbasierter Ansatz
|
EDV / Informatik |
119.00 |
|
Buch |
Sprache:
Deutsch / Autor: Christian Stary / Einband: Set (Buch und div.) |
|
|
|
|
|
A Modular Calculus for the Average Cost of Data Structuring
|
Schulbücher |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Michel Schellekens / Einband: Kartoniert |
|
|
|
|
|
Unfoldings: A Partial-Order Approach to Model Checking
|
EDV / Informatik |
153.00 |
|
Buch |
Sprache:
Englisch / Autor: Javier Esparza / Einband: Kartoniert |
|
|
|
|
|
Privacy and Identity Management for Life: 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6 International Summer School, Trento, Italy, September 5-9, 2011, Revis
|
EDV / Informatik |
126.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 |
|
|
|
|
|
Optimization Techniques in Computer Vision: Ill-Posed Problems and Regularization
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Mongi A. Abidi / Einband: Kartoniert |
|
|
|
|
|
Computing and Combinatorics: 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, 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 |
|
|
|
|
|
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 |
|
|
|
|
|
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
|
EDV / Informatik |
135.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 |
|
|
|
|
|
Privacy and Identity Management for Life: 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6
|
EDV / Informatik |
126.00 |
|
Buch |
Sprache:
Englisch / 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 |
|
|
|
|
|
Parallel-Vector Equation Solvers for Finite Element Engineering Applications
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Duc Thai Nguyen / Einband: Kartoniert |
|
|
|
|
|
Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 86 |