Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning
|
Geschichte / Politik / Kultur |
40.90 |
|
| Buch |
  Sprache:
Englisch / Autor: George Boole / Einband: Gebunden |
|
|
|
|
 |
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Parallel-Vector Equation Solvers for Finite Element Engineering Applications
|
EDV / Informatik |
203.00 |
|
| Buch |
Sprache:
Englisch / Autor: Duc Thai Nguyen / Einband: Gebunden |
|
|
|
|
 |
Developments in Language Theory: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
|
EDV / Informatik |
113.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
|
Naturwissensch., Medizin, Technik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Algorithms for Computational Biology: 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28¿30, 2019, Proceedings
|
EDV / Informatik |
81.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic: a Brief Course
|
Schulbücher |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: Daniele Mundici / Einband: Kartoniert |
|
|
|
|
 |
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
|
Philosophie |
124.00 |
|
| Buch |
Sprache:
Englisch / Autor: Thomas Macaulay Ferguson / Einband: Gebunden |
|
|
|
|
 |
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning
|
Geschichte / Politik / Kultur |
23.50 |
|
| Buch |
Sprache:
Englisch / Autor: George Boole / Einband: Kartoniert |
|
|
|
|
 |
Event-Triggered and Time-Triggered Control Paradigms
|
EDV / Informatik |
169.00 |
|
| Buch |
Sprache:
Englisch / Autor: Roman Obermaisser / 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 |
|
|
|
|
 |
Computing and Combinatorics: 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations: 17th International Conference, IPMU 2018, Cád
|
EDV / Informatik |
147.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 -
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations: 17th International Conference, IPMU 2018, Cád
|
EDV / Informatik |
147.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Techniques of Constructive Analysis
|
Schulbücher |
89.00 |
|
| Buch |
Sprache:
Englisch / Autor: Douglas S. Bridges / Einband: Kartoniert |
|
|
|
|
 |
Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Database Theory - ICDT 2001: 8th International Conference London, UK, January 4-6, 2001 Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 13  |
Newsfeed | 
Facebook | 
Twitter
