Mit Bücher.World findest Du Bücher Du in hunderten Online-Shops - von Romanen bis zur Fachliteratur.
Bücher.World ist eine Suchmaschine speziell für Bücher.
Mit Bücher.World kannst Du ganz einfach nach Romanen, Fachliteratur, Sachbüchern, Lexika und mehr im Internet suchen - wir zeigen Dir die besten Angebote, die wir in mehreren hundert Online-Buchfachgeschäften finden konnten. Mit einem Klick gelangst Du auf die Seite des Online-Shops, in dem Du das Buch kaufen kannst.
Kategorien
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

58,82 €
Einband: Taschenbuch
Seitenzahl: 240 Seiten
Erscheinungsdatum: 01.01.1970
Verlag: Springer
gefunden bei Amazon
Zum Shop

Beschreibung

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) von Nipkow, Tobias im Online-Buchhandel:

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
von Nipkow, Tobias
58,82 €
gefunden bei Amazon Marketplace
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283...
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Einband: Taschenbuch, Seitenzahl: 240 Seiten
Zur Online-Buchhandlung von
Amazon Marketplace
Bewerte das Buch
Absenden
  • Habe ich gelesen
  • Möchte ich noch lesen
  • Lieblingsbücher
  • Wunschliste

Aktuelle Bestseller im Genre Sprachen & Tools

Learn C++ for Game Development von Apress
Learn C++ for Game Development
Taschenbuch
gefunden bei Amazon
69,54 €
Zum Shop
Learning to Program von Addison Wesley
Learning to Program
Taschenbuch
gefunden bei Amazon
25,07 €
Zum Shop
Grammar for Teachers von oxpecker
Grammar for Teachers
Taschenbuch
gefunden bei Amazon
13,90 €
Zum Shop
Numerical Recipes in Fortran 90: Volume 2, Volume 2 of FORTRAN Numerical Recipes: The Art of Parallel Scientific Computing (Fortran Numerical Recipes , Vol 2) von Cambridge University Press
Numerical Recipes in Fortran 90: Volume 2, Volume 2 of FORTRAN Numerical Recipes: The Art of Parallel Scientific Computing (Fortran Numerical Recipes , Vol 2)
Gebundene Ausgabe
gefunden bei Amazon
67,43 €
Zum Shop
First Steps in Latex
First Steps in Latex
Taschenbuch
gefunden bei Amazon Marketplace
30,35 €
Zum Shop
Algorithms in C, Parts 1-4: Fundamentals, Data Structures, Sorting, Searching: 4 Bde.
Algorithms in C, Parts 1-4: Fundamentals, Data Structures, Sorting, Searching: 4 Bde.
gefunden bei medimops
46,49 €
Zum Shop
Hadoop Application Architectures: Designing Real-World Big Data Applications von O'Reilly Media
Hadoop Application Architectures: Designing Real-World Big Data Applications
Taschenbuch
gefunden bei Amazon
44,93 €
Zum Shop
Java 7 Pocket Guide: Instant Help for Java Programmers von O'Reilly Media
Java 7 Pocket Guide: Instant Help for Java Programmers
Taschenbuch
gefunden bei Amazon
12,00 €
Zum Shop
Dynamic Documents with R and knitr, Second Edition (Chapman & Hall / CRC the R Series) von CRC Press
Dynamic Documents with R and knitr, Second Edition (Chapman & Hall / CRC the R Series)
Taschenbuch
gefunden bei Amazon
87,30 €
Zum Shop
Head First Design Patterns
Head First Design Patterns
gefunden bei medimops
21,99 €
Zum Shop

Aktuelle Bestseller des Verlags Springer

Fehlzeiten-Report 2014: Erfolgreiche Unternehmen von morgen - gesunde Zukunft heute gestalten von Springer
Fehlzeiten-Report 2014: Erfolgreiche Unternehmen von morgen - gesunde Zukunft heute gestalten
Taschenbuch
gefunden bei Amazon
69,99 €
Zum Shop
Der Pilz, Der John F. Kennedy Zum Präsidenten Machte: Und Andere Geschichten Aus Der Welt Der Mikroorganismen (German Edition)
Der Pilz, Der John F. Kennedy Zum Präsidenten Machte: Und Andere Geschichten Aus Der Welt Der Mikroorganismen (German Edition)
gefunden bei medimops
5,49 €
Zum Shop
Das C++ Tutorial: Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler von Springer
Das C++ Tutorial: Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler
Taschenbuch
gefunden bei Amazon
27,99 €
Zum Shop
Understanding Artificial Intelligence: Fundamentals, Use Cases and Methods for a Corporate AI Journey (Management for Professionals) von Springer
Understanding Artificial Intelligence: Fundamentals, Use Cases and Methods for a Corporate AI Journey (Management for Professionals)
Gebundene Ausgabe
gefunden bei Amazon
46,70 €
Zum Shop
Stress und Stressbewältigung bei Operationen von Springer
Stress und Stressbewältigung bei Operationen
Taschenbuch
gefunden bei Amazon
44,99 €
Zum Shop
Customer Insights mit Archetypen: Wie Sie mit archetypischen Metaphern Zielgruppen besser definieren und verstehen können (essentials)
Customer Insights mit Archetypen: Wie Sie mit archetypischen Metaphern Zielgruppen besser definieren und verstehen können (essentials)
Taschenbuch
gefunden bei Amazon Marketplace
14,99 €
Zum Shop
Sjögren’s Syndrome in Clinical Practice von Springer
Sjögren’s Syndrome in Clinical Practice
Taschenbuch
gefunden bei Amazon
54,62 €
Zum Shop
Cutaneous Adnexal Neoplasms von Springer
Cutaneous Adnexal Neoplasms
Gebundene Ausgabe
gefunden bei Amazon
314,91 €
Zum Shop
Basiswissen Neurologie (Springer-Lehrbuch)
Basiswissen Neurologie (Springer-Lehrbuch)
gefunden bei medimops
36,11 €
Zum Shop
Analyse Von Tabellen Und Kategorialen Daten: Log-lineare Modelle, latente Klassenanalyse, logistische Regression und GSK-Ansatz (Springer-Lehrbuch) (German Edition) von Springer
Analyse Von Tabellen Und Kategorialen Daten: Log-lineare Modelle, latente Klassenanalyse, logistische Regression und GSK-Ansatz (Springer-Lehrbuch) (German Edition)
Taschenbuch
gefunden bei Amazon
37,44 €
Zum Shop