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 |
|
|
|
|
|
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 |
|
|
|
|
|
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
|
|
Build iOS Database Apps with Swift and SQLite
|
EDV / Informatik |
49.50 |
|
Buch |
Sprache:
Englisch / Autor: Kevin Languedoc / Einband: Kartoniert |
|
|
|
|
|
Handbook of Open Source Tools
|
EDV / Informatik |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Sandeep Koranne / Einband: Kartoniert |
|
|
|
|
|
Unfoldings: A Partial-Order Approach to Model Checking
|
EDV / Informatik |
153.00 |
|
Buch |
Sprache:
Englisch / Autor: Javier Esparza / 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 |
|
|
|
|
|
iPhone Advanced Projects
|
EDV / Informatik |
47.90 |
|
Buch |
Sprache:
Englisch / Autor: David Mark / Einband: Kartoniert |
|
|
|
|
|
Middleware 2003: ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Optimization¿Theory and Practice
|
Schulbücher |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Wilhelm Forst / Einband: Kartoniert |
|
|
|
|
|
Abstraction, Refinement and Proof for Probabilistic Systems
|
EDV / Informatik |
203.00 |
|
Buch |
Sprache:
Englisch / Autor: Annabelle McIver / 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 |
|
|
|
|
|
Automatic Quantum Computer Programming: A Genetic Programming Approach
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Autor: Lee Spector / Einband: Kartoniert |
|
|
|
|
|
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys
|
EDV / Informatik |
193.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 |
|
|
|
|
|
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 |
|
|
|
|
|
Recent Advances in Reinforcement Learning: 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Pap
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedin
|
EDV / Informatik |
105.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
The Deductive Spreadsheet
|
EDV / Informatik |
130.00 |
|
Buch |
Sprache:
Englisch / Autor: Iliano Cervesato / Einband: Kartoniert |
|
|
|
| / 47 |