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 |
|
|
|
|
|
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 |
|
|
|
|
|
Open Source Systems: Long-Term Sustainability - 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceed
|
EDV / Informatik |
142.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 |
|
|
|
|
|
Privacy and Identity Management for Life: 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2
|
EDV / Informatik |
126.00 |
|
Buch |
Sprache:
Englisch / 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 |
|
|
|
|
|
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 |
|
|
|
|
|
Emotional Cognitive Neural Algorithms with Engineering Applications: Dynamic Logic: From Vague to Crisp
|
Naturwissensch., Medizin, Technik |
188.00 |
|
Buch |
Sprache:
Englisch / Autor: Leonid Perlovsky / Einband: Kartoniert |
|
|
|
|
|
Tools for High Performance Computing 2016: Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 20
|
EDV / Informatik |
134.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 |
|
|
|
|
|
Coders: Who They Are, What They Think and How They Are Changing Our World
|
EDV / Informatik |
36.50 |
|
Buch |
Sprache:
Englisch / Autor: Clive Thompson / Einband: Gebunden |
|
|
|
|
|
Optimization¿Theory and Practice
|
Schulbücher |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Wilhelm Forst / Einband: Kartoniert |
|
|
|
|
|
Developments in Language Theory: 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
|
EDV / Informatik |
120.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 |
|
|
|
|
|
Open Source Systems: Grounding Research - 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings
|
EDV / Informatik |
142.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
iPhone Advanced Projects
|
EDV / Informatik |
47.90 |
|
Buch |
Sprache:
Englisch / Autor: David Mark / Einband: Kartoniert |
|
|
|
|
|
Pro iOS Table Views and Collection Views
|
EDV / Informatik |
58.50 |
|
Buch |
Sprache:
Englisch / Autor: Tim Duckett / Einband: Kartoniert |
|
|
|
|
|
Fundamentals of Algebraic Graph Transformation
|
Schulbücher |
157.00 |
|
Buch |
Sprache:
Englisch / Autor: Hartmut Ehrig / Einband: Gebunden |
|
|
|
|
|
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 |
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceed
|
EDV / Informatik |
142.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 47 |