Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
ELEMENTS OF MATHEMATICS: From euclid to Gödel
|
Schulbücher |
35.50 |
|
| Buch |
  Sprache:
Englisch / Autor: STILLWELL JOHN / Einband: Kartoniert |
|
|
|
|
 |
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Stochastic Algorithms: Foundations and Applications - International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings
|
Schulbücher |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Foundations and Practice of Security: 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Networked Systems: 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verification of Sequential and Concurrent Programs
|
EDV / Informatik |
134.00 |
|
| Buch |
Sprache:
Englisch / Autor: Krzysztof R. Apt / Einband: Gebunden |
|
|
|
|
 |
Foundations of Family Resource Management
|
Wirtschaft / Recht |
156.00 |
|
| Buch |
Sprache:
Englisch / Autor: Goldsmith Elizabeth B. / Einband: Gebunden |
|
|
|
|
 |
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
The Best Writing on Mathematics 2017
|
Schulbücher |
36.50 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Freedom and Enforcement in Action: A Study in Formal Action Theory
|
Philosophie |
70.00 |
|
| Buch |
Sprache:
Englisch / Autor: Janusz Czelakowski / Einband: Kartoniert |
|
|
|
|
 |
A General Theory of Entropy: Fuzzy Rational Foundations of Information-Knowledge Certainty
|
Naturwissensch., Medizin, Technik |
179.00 |
|
| Buch |
Sprache:
Englisch / Autor: Kofi Kissi Dompere / Einband: Gebunden |
|
|
|
|
 |
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
|
Schulbücher |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
The P=NP Question and Gödel’s Lost Letter
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Autor: Richard J. Lipton / Einband: Gebunden |
|
|
|
|
 |
The Wiley Handbook of Problem-Based Learning
|
Psychologie / Pädagogik |
270.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
An Introduction to Benford's Law
|
Schulbücher |
140.00 |
|
| Buch |
Sprache:
Englisch / Autor: Berger Arno / Einband: Gebunden |
|
|
|
|
 |
Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 24  |
Newsfeed | 
Facebook | 
Twitter
