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
-
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kurshan / Clarke Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Melichar / Alblas Attribute Grammars, Applications and Systems
International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54572-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yokomori / Mao DNA Computing
12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49024-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Orejas / Diaz TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51705-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pin Formal Properties of Finite Automata and Applications
LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51631-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Homer / Nerode / Odifreddi Logic and Computer Science
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 19881990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52734-3Medium: Buch26,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage26,70 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mints / Martin-Löf COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bläsius / Rollinger / Hedtstück Sorts and Types in Artificial Intelligence
Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52337-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schröder / Bouyer Foundations of Software Science and Computation Structures
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-99252-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mendelsohn / Fitting First-Order Modal Logic
2. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-40713-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Platzer Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics2010Verlag: SpringerISBN: 978-3-642-14508-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Retore / Moot The Logic of Categorial Grammars
A deductive account of natural language syntax and semantics2012Verlag: SpringerISBN: 978-3-642-31554-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Doberkat Stochastic Coalgebraic Logic
2009Verlag: SpringerISBN: 978-3-642-26147-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Väänänen Generalized Quantifiers and Computation
9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66993-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Saarinen / Peters Processes, Beliefs, and Questions
Essays on Formal Semantics of Natural Language and Natural Language Processing1982Verlag: Springer NetherlandsISBN: 978-90-277-1314-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mitrana / Martín-Vide Where Mathematics, Computer Science, Linguistics and Biology Meet
Essays in honour of Gheorghe P¿unSoftcover Nachdruck of hardcover 1. Auflage 2001Verlag: Springer NetherlandsISBN: 978-90-481-5607-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Carnielli / Pizzi Modalities and Multimodalities
Softcover Nachdruck of hardcover 1. Auflage 2008Verlag: Springer NetherlandsISBN: 978-90-481-7924-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Saarinen / Peters Processes, Beliefs, and Questions
Essays on Formal Semantics of Natural Language and Natural Language Processing1. Auflage. Softcover version of original hardcover Auflage 1982Verlag: Springer NetherlandsISBN: 978-90-481-8366-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brattka / Diener / Spreen Logic, Computation, Hierarchies
1. Auflage 2014Verlag: De GruyterISBN: 978-1-61451-940-9Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)123,95 € (inkl. MwSt.)
sofort verfügbar123,95 € (inkl. MwSt.)
sofort verfügbar -
Tranchini Harmony and Paradox
Intensional Aspects of Proof-Theoretic Semantics2024Verlag: SpringerISBN: 978-3-031-46923-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pedrycz Fuzzy Sets Engineering
1. Auflage 1995Verlag: CRC PressISBN: 978-0-8493-9402-7Medium: Buch217,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage217,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schröder Fundamentals of Mathematics
1. Auflage 2010Verlag: WileyISBN: 978-0-470-55138-7Medium: Buch105,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage105,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chaitin / Doria / da Costa Goedel's Way
Exploits Into an Undecidable World1. Auflage 2011Verlag: Taylor & Francis Ltd (Sales)ISBN: 978-0-415-69085-0Medium: Buch67,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage67,50 € (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