Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
A Modular Calculus for the Average Cost of Data Structuring
|
Schulbücher |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Michel Schellekens / 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 |
|
|
|
|
|
Handbook of Open Source Tools
|
EDV / Informatik |
179.00 |
|
Buch |
Sprache:
Englisch / Autor: Sandeep Koranne / Einband: Kartoniert |
|
|
|
|
|
Build iOS Database Apps with Swift and SQLite
|
EDV / Informatik |
49.50 |
|
Buch |
Sprache:
Englisch / Autor: Kevin Languedoc / 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 |
|
|
|
|
|
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
|
EDV / Informatik |
143.00 |
|
Buch |
Sprache:
Englisch / Autor: Jörg Kienzle / Einband: Gebunden |
|
|
|
|
|
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 |
|
|
|
|
|
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 |
|
|
|
|
|
Mutation Testing for the New Century
|
EDV / Informatik |
207.00 |
|
Buch |
Sprache:
Englisch / 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 |
|
|
|
|
|
Applied ASP.Net 4 in Context
|
EDV / Informatik |
72.00 |
|
Buch |
Sprache:
Englisch / Autor: Adam Freeman / Einband: Kartoniert |
|
|
|
|
|
Brave New Words: How AI Will Revolutionize Education (and Why That’s a Good Thing)
|
Psychologie / Pädagogik |
43.50 |
|
Buch |
Sprache:
Englisch / Autor: Salman Khan / Einband: Gebunden |
|
|
|
|
|
Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
|
Philosophie |
169.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Beginning Game Development with Amazon Lumberyard: Create 3D Games Using Amazon Lumberyard and Lua
|
EDV / Informatik |
52.90 |
|
Buch |
Sprache:
Englisch / Autor: Jaken Chandler Herman / Einband: Kartoniert |
|
|
|
|
|
Software Engineering 3: Domains, Requirements, and Software Design
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Kartoniert |
|
|
|
|
|
Fundamentals of Algebraic Graph Transformation
|
Schulbücher |
157.00 |
|
Buch |
Sprache:
Englisch / Autor: Hartmut Ehrig / Einband: Gebunden |
|
|
|
|
|
Reinforcement Learning: With Open AI, TensorFlow and Keras Using Python
|
EDV / Informatik |
50.50 |
|
Buch |
Sprache:
Englisch / Autor: Abhishek Nandy / Einband: Kartoniert |
|
|
|
|
|
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
|
EDV / Informatik |
117.00 |
|
Buch |
Sprache:
Englisch / Autor: Daoqi Yang / Einband: Gebunden |
|
|
|
|
|
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 29 |