Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
Buch |
Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
|
Instruction Selection: Principles, Methods, and Applications
|
EDV / Informatik |
55.50 |
|
Buch |
Sprache:
Englisch / Autor: Gabriel Hjort Blindell / Einband: Kartoniert |
|
|
|
|
|
Practical Distributed Processing
|
EDV / Informatik |
55.50 |
|
Buch |
Sprache:
Englisch / Autor: Richard F. Paige / Einband: Kartoniert |
|
|
|
|
|
Multiple Access Communications: 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings
|
EDV / Informatik |
55.90 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
|
EDV / Informatik |
55.90 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
|
EDV / Informatik |
58.50 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Computergrafik und Geometrisches Modellieren
|
EDV / Informatik |
59.50 |
|
Buch |
Sprache:
Deutsch / Autor: Andreas Meier / Einband: Kartoniert |
|
|
|
|
|
Relaxation Methods in Engineering Science - A Treatise on Approximate Computation
|
Naturwissensch., Medizin, Technik |
59.50 |
|
Buch |
Sprache:
Englisch / Autor: R. V. Southwell / Einband: Gebunden |
|
|
|
|
|
People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010
|
EDV / Informatik |
63.00 |
|
Buch |
Sprache:
Englisch / Autor: Richard J. Lipton / Einband: Kartoniert |
|
|
|
|
|
Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Job Scheduling Strategies for Parallel Processing: 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Multiple Access Communications: 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, Proceedings
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Research in Cryptology: 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Theory and Practice of Natural Computing: Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings
|
Schulbücher |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014
|
EDV / Informatik |
67.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
|
EDV / Informatik |
67.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Gebunden |
|
|
|
|
|
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Kartoniert |
|
|
|
| / 72 |