Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4835
- 22
- 9
- Erscheinungsjahr
-
- 12
- 31
- 64
- 54
- 51
- 68
- 117
- 135
- 98
- 135
- 90
- 141
- 105
- 144
- 106
- 248
- 92
- 172
- 338
- 310
- 319
- 238
- 244
- 226
- 198
- 142
- 119
- 109
- 102
- 87
- 91
- 81
- 58
- 58
- 64
- 39
- 48
- 28
- 18
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 16
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 3
- 6
- 6
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 13
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 9
- 3
- 2
- 2
- 3
- 3
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 3
- 5
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 2
- 8
- 2
- 2
- 6
- 2
- 4
- 10
- 3
- 5
- 8
- 8
- 6
- 4
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 5
- 31
- 11
- 3
- 3
- 4
- 3
- 3
- 19
- 5
- 3
- 2
- 9
- 8
- 6
- 4
- 3
- 3
- 16
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 8
- 4
- 3
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 17
- 4
- 6
- 3
- 5
- 3
- 7
- 3
- 6
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 3
- 4
- 4
- 6
- 5
- 6
- 6
- 5
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 8
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 9
- 5
- 5
- 3
- 3
- 4
- 6
- 5
- 3
- 4
- 4
- 4
- 5
- 3
- 6
- 14
- 7
- 4
- 8
- 5
- 5
- 3
- 5
- 3
- 5
- 7
- 3
- 5
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 6
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 3
- 5
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 3
- 5
- 6
- 5
- 5
- 5
- 3
- 5
- 10
- 3
- 4
- 4
- 8
- 7
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 4
- 3
- 3
- 11
- 5
- 9
- 5
- 4
- 4
- 3
- 8
- 5
- 5
- 10
- 9
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 7
- 3
- 6
- 5
- 9
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 5
- 4
- 12
- 3
- 11
- 5
- 3
- 4
- 3
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 8
- 4
- 4
- 3
- 3
- 5
- 4
- 6
- 3
- 7
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 6
- 3
- 7
- 3
- 15
- 7
- 7
- 3
- 3
- 3
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 5
- 6
- 4
- 8
- 3
- 3
- 11
- 4
- 8
- 4
- 3
- 5
- 3
- 5
- 7
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 12
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 18
- 5
- 3
- 3
- 7
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 12
- 3
- 3
- 3
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 7
- 4
- 7
- 3
- 6
- 9
- 4
- 3
- 6
- 11
- 3
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 3
- 9
- 3
- 3
- 8
- 3
- 9
- 4
- 6
- 7
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 51
- 11
- 3
- 3
- 5
- 5
- 7
- 3
- 19
- 4
- 3
- 7
- 5
- 5
- 7
- 4
- 7
- 4
- 3
- 4
- 9
- 15
- 7
- 4
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 4
- 10
- 3
- 6
- 8
- 6
- 3
- 3
- 10
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 25
- 6
- 5
- 6
- 3
- 16
- 8
- 3
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 6
- 4
- 3
- 4
- 9
- 5
- 4
- 5
- 8
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 6
- 3
- 2
- 9
- 5
- 4
- 5
- 11
- 1
- 1
- 2
- 24
- 4
- 1
- 3
- 7
- 40
- 6
- 3
- 2
- 3
- 8
- 7
- 1
- 2
- 2
- 6
- 2
- 1
- 2
- 9
- 1
- 2
- 1
- 7
- 1
- 3
- 2
- 2
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 9
- 2
- 1174
- 2156
- 1
- 614
- 1
- 6
- 3
- 52
- 101
- 117
- 77
- 208
- 6
- 37
- 3
- 2
- 1
- 1
- 7
- 3
- 36
- 2
- 27
- 1
- 1
- 3
- Preis
-
- 16
- 202
- 3004
- 1644
- Sprachen
-
- 4725
- 136
- 9
- 3
- 1
- Verfügbarkeit
-
- 4852
- 14
- Katalog
-
- 4866
- 213
-
Gössel Angewandte Automatentheorie I
2., berichtigte Auflage, Nachdruck 2021Verlag: De GruyterISBN: 978-3-11-256773-9Medium: Buch109,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage109,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bollig Formal Models of Communicating Systems
Languages, Automata, and Monadic Second-Order LogicSoftcover Nachdruck of hardcover 1. Auflage 2006Verlag: SpringerISBN: 978-3-642-06947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ben-Ari Mathematical Logic for Computer Science
3rd Auflage 2012Verlag: SpringerISBN: 978-1-4471-4128-0Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
D'Avila Garcez / Gabbay / Lamb Neural-Symbolic Cognitive Reasoning
1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: SpringerISBN: 978-3-642-09229-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Coello Coello / van Veldhuizen / Lamont Evolutionary Algorithms for Solving Multi-Objective Problems
2. Auflage 2007Verlag: Springer USISBN: 978-0-387-33254-3Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Chekanov Numeric Computation and Statistical Data Analysis on the Java Platform
Softcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-80371-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ognjanovic / Ognjanovic / Markovic Probability Logics
Probability-Based Formalization of Uncertain ReasoningSoftcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-83637-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Henson / Bjørner Logics of Specification Languages
2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74106-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bekki / McCready / Mineshima Logic and Engineering of Natural Language Semantics
19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43976-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kafle / Glück Logic-Based Program Synthesis and Transformation
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-45783-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Weyers / Bowen / Dix The Handbook of Formal Methods in Human-Computer Interaction
1. Auflage 2017Verlag: Springer-Verlag GmbHISBN: 978-3-319-51837-4Medium: Buch353,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage353,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kovalyov SDMA for Multipath Wireless Channels
Limiting Characteristics and Stochastic Models1. Auflage 2004Verlag: SpringerISBN: 978-3-540-40225-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Merelo / Adamidis / Beyer Parallel Problem Solving from Nature - PPSN VII
7th International Conference, Granada, Spain, September 7-11, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44139-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Wu Mechanical Theorem Proving in Geometries
Basic Principles1. Auflage 1994Verlag: SpringerISBN: 978-3-211-82506-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
?u?u / Fiadeiro Recent Trends in Algebraic Development Techniques
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers1. Auflage 2019Verlag: Springer Nature SwitzerlandISBN: 978-3-030-23219-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Papa / Shenoi Critical Infrastructure Protection II
2008. Auflage 2008Verlag: Springer UsISBN: 978-0-387-88522-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Cybenko / Rissanen / O'Leary The Mathematics of Information Coding, Extraction and Distribution
1999Verlag: SpringerISBN: 978-0-387-98665-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Krynicki / Szczerba / Mostowski Quantifiers: Logics, Models and Computation
Volume Two: Contributions1995Verlag: Springer NetherlandsISBN: 978-0-7923-3449-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Lawry Modelling and Reasoning with Vague Concepts
2006Verlag: Springer USISBN: 978-1-4899-8605-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Amsaleg / Houle / Schubert Similarity Search and Applications
9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46758-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Droste / Vogler / Kuich Handbook of Weighted Automata
2009Verlag: SpringerISBN: 978-3-642-01491-8Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage246,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ehrig / Taentzer / Prange Fundamentals of Algebraic Graph Transformation
1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-3-642-06831-7Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ury / Gergely First-Order Programming Theories
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54277-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Donnellan / Helfert Design Science: Perspectives from Europe
European Design Science Symposium EDSS 2012, Leixlip, Ireland, December 6, 2012Revised Selected Papers2013Verlag: Springer International PublishingISBN: 978-3-319-04089-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Ölveczky / Artho Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29509-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,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
