Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1530
- 100
- 7
- 2
- Erscheinungsjahr
-
- 2
- 43
- 16
- 13
- 24
- 31
- 28
- 41
- 55
- 37
- 32
- 25
- 30
- 57
- 127
- 33
- 175
- 16
- 41
- 27
- 30
- 39
- 30
- 30
- 47
- 60
- 49
- 48
- 50
- 40
- 41
- 34
- 31
- 43
- 28
- 19
- 13
- 13
- 9
- 13
- 9
- 3
- 7
- 11
- 2
- 8
- 4
- 3
- 1
- 5
- 2
- 3
- 5
- 6
- 2
- 4
- 3
- 3
- 2
- 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
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 5
- 2
- 2
- 1
- 2
- 2
- 1
- 4
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 2
- 4
- 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
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 7
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 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
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 7
- 5
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 3
- 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
- 2
- 3
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 22
- 2
- 2
- 2
- 2
- 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
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 4
- 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
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 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
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 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
- 2
- 4
- 5
- 2
- 5
- 6
- 2
- 2
- 4
- 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
- 4
- 2
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 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
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 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
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- Verlag
-
- 20
- 1
- 5
- 27
- 1
- 6
- 21
- 1
- 1
- 100
- 6
- 9
- 1
- 23
- 86
- 1
- 1
- 3
- 12
- 1
- 1
- 2
- 1
- 2
- 5
- 1
- 1
- 1
- 14
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 36
- 1
- 3
- 29
- 1
- 1
- 1
- 1
- 1
- 3
- 12
- 2
- 1
- 10
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 650
- 28
- 2
- 24
- 3
- 1
- 1
- 7
- 3
- 197
- 21
- 94
- 2
- 4
- 2
- 1
- 1
- 33
- 14
- 6
- 3
- 1
- 3
- 1
- 1
- 14
- 1
- 1
- 3
- 1
- 13
- 1
- 1
- 2
- 3
- 2
- 1
- Preis
-
- 79
- 171
- 485
- 904
- Sprachen
-
- 1435
- 194
- 12
- 6
- 3
- 2
- 1
- Verfügbarkeit
-
- 1615
- 24
- Eigenschaften
-
- 1
- Katalog
-
- 1639
- 124
-
Bacchus / Walsh Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Prehofer Solving Higher-Order Equations
From Logic to ProgrammingErscheinungsjahr 2012Verlag: BirkhäuserISBN: 978-1-4612-7278-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nauck / Borgelt / Klawonn Neuro-Fuzzy-Systeme
Von den Grundlagen künstlicher Neuronaler Netze zur Kopplung mit Fuzzy-Systemen3. Auflage 2003Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-25265-6Medium: Buch39,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage39,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Wilde / Jain Practical Applications of Computational Intelligence Techniques
2001Verlag: Springer NetherlandsISBN: 978-0-7923-7320-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tieszen Mathematical Intuition
Phenomenology and Mathematical KnowledgeErscheinungsjahr 2014Verlag: SpringerISBN: 978-94-010-7529-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bel-Enguix / Jiménez-López / Martin-Vide New Developments in Formal Languages and Applications
1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: SpringerISBN: 978-3-642-09696-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moerdijk / MacLane Sheaves in Geometry and Logic
A First Introduction to Topos Theory1992Verlag: SpringerISBN: 978-0-387-97710-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage80,24 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 ProceedingsErscheinungsjahr 1988Verlag: SpringerISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weber Basiswissen Mathematik auf Arabisch und Deutsch
1. Auflage 2018Verlag: SpringerISBN: 978-3-662-58070-7Medium: Buch22,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage22,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kant Das mengentheoretische Unabhängigkeitsphänomen
Eine Welt jenseits der mathematischen BeweiskraftErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-662-71096-8Medium: Buch14,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage14,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Doshita / Furukawa / Jantke Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kreinovich / Ogura Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables
2002Verlag: Springer NetherlandsISBN: 978-1-4020-0918-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Makinson / Wansing / Malinowski Towards Mathematical Philosophy
Papers from the Studia Logica conference Trends in Logic IV1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: Springer NetherlandsISBN: 978-90-481-8065-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cooper / Sorbi / Löwe New Computational Paradigms
Changing Conceptions of What is Computable1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: SpringerISBN: 978-1-4419-2263-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barringer / Gough / Fisher Advances in Temporal Logic
2000Verlag: Springer NetherlandsISBN: 978-0-7923-6149-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Di Nola / Sessa / Pedrycz Fuzzy Relation Equations and Their Applications to Knowledge Engineering
1. Auflage. Softcover version of original hardcover Auflage 1989Verlag: SpringerISBN: 978-90-481-4050-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tichy The Foundations of Frege's Logic
Nachdruck 2012Verlag: De GruyterISBN: 978-3-11-011668-7Medium: Buch139,95 € (inkl. MwSt.)
RRP
Lieferzeit ca. 10 Werktage139,95 € (inkl. MwSt.)
RRP
Lieferfrist: bis zu 10 Werktage -
Poizat A Course in Model Theory
An Introduction to Contemporary Mathematical LogicSoftcover Nachdruck of the original 1. Auflage 2000Verlag: SpringerISBN: 978-1-4612-6446-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shelah Proper and Improper Forcing
2. Revised Auflage 2017Verlag: Cambridge University PressISBN: 978-1-107-16836-7Medium: Buch209,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage209,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Detlefsen Hilbert's Program
An Essay on Mathematical InstrumentalismErscheinungsjahr 1986Verlag: SpringerISBN: 978-90-277-2151-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parker-Rhodes The Theory of Indistinguishables
A Search for Explanatory Principles Below the Level of Physics1. Auflage 1981Verlag: SpringerISBN: 978-90-277-1214-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort