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 |
|
|
|
|
 |
Clean Architecture Praxisbuch: für saubere Software-Architektur und wartbaren Code. Mit Codebeispielen in Java
|
EDV / Informatik |
52.50 |
|
| Buch |
 ANGEKÜNDIGT (Mai 2024) Sprache:
Deutsch / Autor: Tom Hombergs / Einband: Kartoniert |
|
|
|
|
 |
Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24¿28, 2018, Proceedings
|
EDV / Informatik |
91.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
| Buch |
Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering 3: Domains, Requirements, and Software Design
|
EDV / Informatik |
147.00 |
|
| Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Kartoniert |
|
|
|
|
 |
Enterprise Systems Integration: A Process-Oriented Approach
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Autor: Diogo R. Ferreira / Einband: Gebunden |
|
|
|
|
 |
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 |
|
|
|
|
 |
Applied Cryptography and Network Security: 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings
|
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 |
|
|
|
|
 |
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 |
|
|
|
|
 |
Privacy and Identity Management for Life: 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6 International Summer School, Trento, Italy, September 5-9, 2011, Revis
|
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 |
|
|
|
|
 |
Enterprise Interoperability VII: Enterprise Interoperability in the Digitized and Networked Factory of the Future
|
Naturwissensch., Medizin, Technik |
236.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Jetzt lerne ich CAD - Einstieg in AutoCAD und AutoCAD LT
|
EDV / Informatik |
27.90 |
|
| Buch |
Sprache:
Deutsch / Autor: Werner Sommer / Einband: Kartoniert |
|
|
|
|
 |
Advances in Biometrics: International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007, Proceedings
|
EDV / Informatik |
134.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 |
|
|
|
|
 |
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 |
|
|
|
|
 |
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 |
|
|
|
|
 |
VLSI 2010 Annual Symposium: Selected papers
|
Naturwissensch., Medizin, Technik |
222.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Fundamentals of Algebraic Graph Transformation
|
Schulbücher |
157.00 |
|
| Buch |
Sprache:
Englisch / Autor: Hartmut Ehrig / Einband: Gebunden |
|
|
|
|
| / 69  |
Newsfeed | 
Facebook | 
Twitter
