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
-
Jain / Groppe / Bhargava Semantic Intelligence
Select Proceedings of ISIC 20222023Verlag: Springer Nature SingaporeISBN: 978-981-19-7128-0Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage235,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems
13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5¿6, 2023, Proceedings2024Verlag: Springer Nature SingaporeISBN: 978-981-97-1416-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Boca / Butler Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87602-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
He / Pacuit / Horty Logic, Rationality, and Interaction
Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04892-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Palm / Hellendoorn / Driankov Model Based Fuzzy Control
Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61471-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raymond / Yu / Wood Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gabbay / Ohlbach / Kruse Qualitative and Quantitative Practical Reasoning
First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63095-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yakovlev / Kleijn Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harju / Lepistö / Karhumäki Developments in Language Theory
11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73207-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhao / Kleine Büning Theory and Applications of Satisfiability Testing ¿ SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Borowik / Bolc Many-Valued Logics 1
Theoretical Foundations1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55926-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov Logic Programming
First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55460-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dehornoy Complexité et Décidabilité
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56899-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Matiyasevich / Nerode Logical Foundations of Computer Science
Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58140-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Callaghan / Pollack / Luo Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jürgensen / Boldt Automata Implementation
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42812-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Richter / Kleine Büning CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
El Yacoubi / Bandini / Chopard Cellular Automata
7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40929-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rozenberg / Condon DNA Computing
6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42076-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schlechta Nonmonotonic Logics
Basic Concepts, Results, and Techniques1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62482-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hindley / Groote Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62688-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Platzer Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics2010Verlag: SpringerISBN: 978-3-642-44474-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Regan / Lipton People, Problems, and Proofs
Essays from Gödel's Lost Letter: 20102013Verlag: SpringerISBN: 978-3-642-41421-3Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (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