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 |
|
|
|
|
|
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 |
|
|
|
|
|
Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - Augus
|
EDV / Informatik |
169.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
|
EDV / Informatik |
130.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
|
EDV / Informatik |
116.00 |
|
Buch |
Sprache:
Englisch / Autor: Daoqi Yang / Einband: Gebunden |
|
|
|
|
|
Fast Track UML 2.0
|
EDV / Informatik |
32.50 |
|
Buch |
Sprache:
Englisch / Autor: Kendall Scott / Einband: Kartoniert |
|
|
|
|
|
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 |
|
|
|
|
|
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Kre
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
|
EDV / Informatik |
113.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
|
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 |
|
|
|
|
|
UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools - 5th International Conference, Dresden, Germany, September 30 Octobe
|
EDV / Informatik |
130.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Languages and Compilers for Parallel Computing: 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Software Visualization: From Theory to Practice
|
EDV / Informatik |
207.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 |
|
|
|
|
|
Fundamentals of X Programming: Graphical User Interfaces and Beyond
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Theo Pavlidis / Einband: Gebunden |
|
|
|
|
|
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
|
EDV / Informatik |
120.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany,
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 21 |