Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
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 |
|
|
|
|
|
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Extreme Programming and Agile Processes in Software Engineering: 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Fast Track UML 2.0
|
EDV / Informatik |
32.50 |
|
Buch |
Sprache:
Englisch / Autor: Kendall Scott / Einband: Kartoniert |
|
|
|
|
|
Advances in Cryptology – EUROCRYPT 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8,
|
EDV / Informatik |
158.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 |
|
|
|
|
|
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
|
EDV / Informatik |
142.00 |
|
Buch |
Sprache:
Englisch / Autor: Jörg Kienzle / Einband: Gebunden |
|
|
|
|
|
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
|
EDV / Informatik |
158.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 |
|
|
|
|
|
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 |
|
|
|
|
|
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
|
EDV / Informatik |
120.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Agent-Oriented Software Engineering IV: 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers
|
EDV / Informatik |
97.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
|
EDV / Informatik |
117.00 |
|
Buch |
Sprache:
Englisch / Autor: Daoqi Yang / Einband: Gebunden |
|
|
|
|
|
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 |
|
|
|
|
|
Einführung in JavaFX/OpenJFX: Moderne GUIs für RIAs und Java-Applikationen
|
EDV / Informatik |
66.00 |
|
Buch |
Sprache:
Deutsch / Autor: Ralph Steyer / Einband: Kartoniert |
|
|
|
|
|
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Rev
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Advanced Topics in Exception Handling Techniques
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
C als erste Programmiersprache: Mit den Konzepten von C11
|
EDV / Informatik |
40.50 |
|
Buch |
Sprache:
Deutsch / Autor: Joachim Goll / Einband: Kartoniert |
|
|
|
|
|
Autonomous Dynamic Reconfiguration in Multi-Agent Systems: Improving the Quality and Efficiency of Collaborative Problem Solving
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Markus Hannebauer / Einband: Kartoniert |
|
|
|
| / 21 |