Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1454
- 93
- 7
- Erscheinungsjahr
-
- 29
- 16
- 12
- 21
- 31
- 25
- 39
- 52
- 36
- 30
- 24
- 30
- 58
- 126
- 31
- 173
- 15
- 41
- 27
- 29
- 32
- 26
- 28
- 45
- 55
- 47
- 48
- 45
- 37
- 41
- 32
- 30
- 40
- 26
- 18
- 13
- 13
- 5
- 13
- 9
- 3
- 7
- 11
- 2
- 8
- 4
- 3
- 1
- 5
- 2
- 3
- 5
- 6
- 2
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- Autoren
-
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 7
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 7
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 3
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 7
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 6
- 9
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 4
- 2
- 2
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 20
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 6
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 9
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 4
- 5
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- Verlag
-
- 20
- 1
- 17
- 2
- 6
- 23
- 1
- 98
- 6
- 8
- 23
- 72
- 1
- 1
- 3
- 12
- 1
- 1
- 2
- 1
- 2
- 5
- 1
- 1
- 1
- 14
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 15
- 1
- 10
- 13
- 1
- 1
- 1
- 2
- 13
- 2
- 1
- 9
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 380
- 175
- 2
- 39
- 3
- 1
- 11
- 20
- 269
- 21
- 104
- 4
- 4
- 2
- 1
- 1
- 23
- 13
- 6
- 1
- 3
- 1
- 3
- 1
- 14
- 1
- 1
- 13
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- Preis
-
- 67
- 167
- 477
- 843
- Sprachen
-
- 1365
- 176
- 12
- 6
- 3
- Verfügbarkeit
-
- 1541
- 13
- Katalog
-
- 1554
- 124
-
Skou / Larsen Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Taitslin / Nerode Logical Foundations of Computer Science - Tver '92
Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55707-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58450-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rosolini / Moggi Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63455-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Newborn Automated Theorem Proving
Theory and PracticeSoftcover Nachdruck of the original 1. Auflage 2001Verlag: SpringerISBN: 978-1-4612-6519-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mints A Short Introduction to Intuitionistic Logic
2000Verlag: Springer USISBN: 978-1-4757-7319-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Götz Sammlung von Lehrsätzen, Formeln und Aufgaben aus der Arithmetik, Algebra und allgemeinen Größenlehre
Nachdruck 2021Verlag: De GruyterISBN: 978-3-11-243657-8Medium: Buch109,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage109,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gerstein Introduction to Mathematical Structures and Proofs
Softcover Nachdruck of the original 2. Auflage 2012Verlag: SpringerISBN: 978-1-4939-5146-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Crossley / Sweedler / Remmel Logical Methods
In Honor of Anil Nerode's Sixtieth Birthday1993Verlag: Birkhäuser BostonISBN: 978-1-4612-6708-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weil Number Theory
An approach through history From Hammurapi to Legendre1. Auflage 1984., 4th printing, 2007Verlag: Birkhäuser BostonISBN: 978-0-8176-4565-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Suarez / Driessen Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God
1997Verlag: Springer NetherlandsISBN: 978-0-7923-4306-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lemmon Beginning Logic
1. Auflage 1971Verlag: Taylor & Francis LtdISBN: 978-0-412-38090-7Medium: Buch100,50 € (inkl. MwSt.)
Kurzfristig nicht lieferbar100,50 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Roytvarf Thinking in Problems
How Mathematicians Find Creative Solutions2013Verlag: Birkhäuser BostonISBN: 978-0-8176-8405-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zelëny / Anderson Logic, Meaning and Computation
Essays in Memory of Alonzo Church2001Verlag: Springer NetherlandsISBN: 978-94-010-3891-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kahle / Stärk / Schroeder-Heister Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42752-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maddy Naturalism in Mathematics
Erscheinungsjahr 2000Verlag: OUP OxfordISBN: 978-0-19-825075-3Medium: Buch59,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ershov Constructive Models
2000Verlag: Springer USISBN: 978-0-306-11066-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mac Lane Categories for the Working Mathematician
2. Auflage 1978Verlag: SpringerISBN: 978-0-387-98403-2Medium: Buch59,87 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,87 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Di Nola / Sanchez / Sessa Fuzzy Relation Equations and Their Applications to Knowledge Engineering
1989Verlag: Springer NetherlandsISBN: 978-0-7923-0307-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pedrycz / Bargiela Granular Computing
An Introduction2003Verlag: Springer USISBN: 978-1-4020-7273-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Trnková / Adámek Automata and Algebras in Categories
1989Verlag: Springer NetherlandsISBN: 978-0-7923-0010-6Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Poizat A Course in Model Theory
An Introduction to Contemporary Mathematical Logic2000Verlag: SpringerISBN: 978-0-387-98655-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Halmos Naive Set Theory
1974Verlag: SpringerISBN: 978-0-387-90092-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Aiswarya / Srivastava / Sen Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-89609-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (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