Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1420
- 43
- 7
- Erscheinungsjahr
-
- 2
- 4
- 14
- 19
- 26
- 18
- 35
- 55
- 35
- 27
- 22
- 28
- 51
- 126
- 19
- 172
- 17
- 43
- 24
- 28
- 30
- 28
- 29
- 45
- 55
- 49
- 46
- 44
- 37
- 41
- 32
- 30
- 40
- 23
- 17
- 15
- 13
- 5
- 12
- 8
- 3
- 7
- 12
- 1
- 8
- 3
- 3
- 1
- 5
- 2
- 3
- 5
- 7
- 2
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- Autoren
-
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 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
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 7
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 6
- 7
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 5
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 3
- 2
- 2
- 3
- 20
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 6
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 2
- 1
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 9
- 6
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 5
- 2
- 5
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 14
- Verlag
-
- 7
- 1
- 5
- 2
- 32
- 1
- 1
- 73
- 8
- 4
- 21
- 64
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 3
- 3
- 1
- 1
- 14
- 1
- 2
- 4
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 15
- 3
- 1
- 10
- 5
- 5
- 1
- 7
- 1
- 14
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 216
- 179
- 1
- 39
- 4
- 1
- 83
- 326
- 1
- 132
- 6
- 9
- 1
- 1
- 1
- 7
- 17
- 7
- 9
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 14
- 9
- 1
- 1
- 2
- 1
- 4
- 1
- Preis
-
- 74
- 157
- 409
- 830
- Sprachen
-
- 1275
- 182
- 25
- Verfügbarkeit
-
- 1447
- 23
- Eigenschaften
-
- 3
- Katalog
-
- 1470
- 127
-
Epstein Word Processing in Groups
1. Auflage 1992Verlag: CRC PressISBN: 978-0-86720-244-1Medium: Buch250,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage250,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boschini / Hansen / Wolf Discrete Mathematics
1. Auflage 2022Verlag: vdf HochschulverlagISBN: 978-3-7281-4109-5Medium: Buch36,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage36,00 € (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 -
Gordon / Kutateladze / Kusraev Infinitesimal Analysis
2002Verlag: Springer NetherlandsISBN: 978-1-4020-0738-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Boer Trends in Continuum Mechanics of Porous Media
2005. Auflage 2005Verlag: Springer Nature SingaporeISBN: 978-1-4020-3143-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Norman / Sylvan Directions in Relevant Logic
1989. Auflage 1989Verlag: Palgrave MacMillan UKISBN: 978-0-7923-0386-2Medium: Buch103,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage103,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Klir / Wang Generalized Measure Theory
1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: Springer USISBN: 978-1-4419-4576-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kechris / Löwe / Steel Large Cardinals, Determinacy and Other Topics
The Cabal Seminar, Volume IVErscheinungsjahr 2020Verlag: Cambridge University PressISBN: 978-1-107-18299-8Medium: Buch139,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wu Mechanical Theorem Proving in Geometries
Basic PrinciplesSoftcover Nachdruck of the original 1. Auflage 1994Verlag: Springer ViennaISBN: 978-3-211-82506-8Medium: 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 -
Wagner / Pearce Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Habel Hyperedge Replacement: Grammars and Languages
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56005-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 -
Bouquet / Serafini / Castellani Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,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 -
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 -
Padmanabhan / McCune Automated Deduction in Equational Logic and Cubic Curves
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61398-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmitt / Jantke Nonmonotonic and Inductive Logic
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54564-4Medium: 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 -
Baumgartner / Posegga / Hähnle Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59338-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bettini / Wang / Jajodia Time Granularities in Databases, Data Mining, and Temporal Reasoning
Softcover Nachdruck of the original 1. Auflage 2000Verlag: SpringerISBN: 978-3-642-08634-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jech Set Theory
The Third Millennium Edition, revised and expanded3rd rev. Auflage Corr. 4th printing. Softcover version of original hardcover Auflage 2003Verlag: SpringerISBN: 978-3-642-07899-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (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