Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1850
- 97
- 17
- Erscheinungsjahr
-
- 1
- 74
- 87
- 88
- 105
- 72
- 68
- 107
- 59
- 65
- 38
- 67
- 84
- 155
- 56
- 135
- 24
- 35
- 14
- 23
- 23
- 26
- 22
- 48
- 53
- 43
- 37
- 27
- 33
- 24
- 25
- 21
- 19
- 20
- 10
- 11
- 14
- 5
- 8
- 5
- 11
- 6
- 7
- 2
- 6
- 8
- 2
- 3
- 5
- 3
- 5
- 3
- 9
- 3
- 4
- 8
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 7
- 1
- 1
- 4
- 2
- 1
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 4
- 2
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 8
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 7
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 21
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 12
- 2
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 11
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 3
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 4
- 2
- 4
- 7
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 8
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 9
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 6
- 6
- 3
- 7
- 5
- 2
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 14
- 2
- 2
- Verlag
-
- 5
- 1
- 1
- 1
- 2
- 1
- 2
- 5
- 2
- 18
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 108
- 4
- 1
- 1
- 25
- 143
- 2
- 1
- 2
- 3
- 3
- 9
- 2
- 5
- 5
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 13
- 5
- 7
- 5
- 2
- 12
- 1
- 1
- 2
- 28
- 1
- 1
- 5
- 5
- 1
- 1
- 1
- 1
- 245
- 208
- 4
- 394
- 7
- 2
- 103
- 25
- 243
- 1
- 104
- 8
- 11
- 13
- 10
- 20
- 21
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 2
- 15
- 2
- Preis
-
- 57
- 185
- 636
- 1086
- Sprachen
-
- 1788
- 168
- 27
- Verfügbarkeit
-
- 1937
- 27
- Eigenschaften
-
- 3
- Katalog
-
- 1964
- 129
-
Granström Treatise on Intuitionistic Type Theory
2011Verlag: Springer NetherlandsISBN: 978-94-007-1735-0Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Murawski Recursive Functions and Metamathematics
Problems of Completeness and Decidability, Gödel¿s Theorems1. Auflage. Softcover version of original hardcover Auflage 1999Verlag: Springer NetherlandsISBN: 978-90-481-5298-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van Benthem / Parikh / Gupta Proof, Computation and Agency
Logic at the Crossroads2011Verlag: Springer NetherlandsISBN: 978-94-007-3581-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kechris / Löwe / Steel The Cabal Seminar 4 Volume Hardback Set
Volumes I-IVErscheinungsjahr 2020Verlag: Cambridge University PressISBN: 978-1-108-92022-3Medium: Buch330,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage330,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq¿Art: The Calculus of Inductive Constructions2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20854-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Marek / Truszczynski Nonmonotonic Logic
Context-Dependent Reasoning1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56448-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ury / Gergely First-Order Programming Theories
Softcover Nachdruck of the original 1. Auflage 1991Verlag: SpringerISBN: 978-3-642-63503-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
De Queiroz Logic for Concurrency and Synchronisation
Softcover Nachdruck of the original 1. Auflage 2003Verlag: Springer NetherlandsISBN: 978-94-017-4000-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Junghenn Discrete Mathematics with Coding
1. Auflage 2023Verlag: Taylor & Francis LtdISBN: 978-1-032-39852-5Medium: Buch116,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage116,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bimbó / Bimbo Combinatory Logic
Pure, Applied and Typed1. Auflage 2011Verlag: CRC PressISBN: 978-1-4398-0000-3Medium: Buch186,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage186,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zimring Partial Truths
How Fractions Distort Our Thinking1. Auflage 2022Verlag: De GruyterISBN: 978-0-231-55407-7Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)23,99 € (inkl. MwSt.)
sofort verfügbar23,99 € (inkl. MwSt.)
sofort verfügbar -
Maddox A Transition to Abstract Mathematics
Mathematical Thinking and Writing2. Auflage 2008Verlag: Elsevier Health SciencesISBN: 978-0-12-374480-7Medium: Buch98,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage98,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Givant / Halmos Introduction to Boolean Algebras
2009. Auflage 2008Verlag: Springer Nature SingaporeISBN: 978-0-387-40293-2Medium: Buch45,96 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage45,96 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Shankar / Rijsbergen Metamathematics, Machines and Godel's Proof
Erscheinungsjahr 2002Verlag: Cambridge University PressISBN: 978-0-521-58533-0Medium: Buch56,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage56,90 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cignoli / Mundici / d'Ottaviano Algebraic Foundations of Many-Valued Reasoning
1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: Springer NetherlandsISBN: 978-90-481-5336-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq¿Art: The Calculus of Inductive Constructions1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05880-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zegarelli Grundlagen der Mathematik für Dummies
4. Auflage 2024Verlag: Wiley-VCH GmbHISBN: 978-3-527-72197-9Medium: Buch20,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage20,00 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Czelakowski Protoalgebraic Logics
2001Verlag: Springer NetherlandsISBN: 978-0-7923-6940-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1998Verlag: Springer NetherlandsISBN: 978-0-7923-5130-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1998Verlag: Springer NetherlandsISBN: 978-0-7923-5129-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Klement / Pap / Mesiar Triangular Norms
2000Verlag: Springer NetherlandsISBN: 978-0-7923-6416-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Caferra / Leitsch / Peltier Automated Model Building
2004. Auflage 2004Verlag: Springer Nature SingaporeISBN: 978-1-4020-2652-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harris Fuzzy Logic Applications in Engineering Science
2. 2006 Auflage 2005Verlag: Springer Nature SingaporeISBN: 978-1-4020-4077-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stillwell The Story of Proof
Logic and the History of Mathematics1. Auflage 2022Verlag: De GruyterISBN: 978-0-691-23437-3Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)47,99 € (inkl. MwSt.)
sofort verfügbar47,99 € (inkl. MwSt.)
sofort verfügbar -
Kam / Sangiovanni-Vincentelli / Villa Synthesis of Finite State Machines
Functional OptimizationSoftcover Nachdruck of hardcover 1. Auflage 1997Verlag: Springer USISBN: 978-1-4419-5170-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort