Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic, Language, and Computation: 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18–22, 2023, Revised Selected Papers
|
EDV / Informatik |
169.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
|
EDV / Informatik |
66.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
The Art of R Programming
|
EDV / Informatik |
79.00 |
|
| Buch |
Sprache:
Englisch / Autor: Matloff Norman / Einband: Kartoniert |
|
|
|
|
 |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2,
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceeding
|
Schulbücher |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Pro
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Relationale Datenbanken: Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
|
EDV / Informatik |
49.90 |
|
| Buch |
Sprache:
Deutsch / Autor: Thomas Studer / Einband: Kartoniert |
|
|
|
|
 |
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity: International Conferences, ASEA and DRBC 2012, Held in Con
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Web Programming for Business: PHP Object-Oriented Programming with Oracle
|
EDV / Informatik |
330.00 |
|
| Buch |
Sprache:
Englisch / Autor: Paper David / Einband: Gebunden |
|
|
|
|
 |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 200
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2
|
EDV / Informatik |
65.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Argumentation in Multi-Agent Systems: 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceeding
|
Schulbücher |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
The Book of Ruby
|
EDV / Informatik |
67.00 |
|
| Buch |
Sprache:
Englisch / Autor: Collingbourne Huw / Einband: Kartoniert |
|
|
|
|
 |
A Gamer's Introduction to Programming in C#: Welcome Brave Adventurer!
|
Architektur, Archäologie, Kunst |
89.00 |
|
| Buch |
Sprache:
Englisch / Autor: Aaron Langille / Einband: Kartoniert |
|
|
|
|
| / 72  |
Newsfeed | 
Facebook | 
Twitter
