Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2013
- Erscheinungsjahr
-
- 9
- 28
- 22
- 7
- 20
- 26
- 24
- 30
- 42
- 35
- 33
- 38
- 28
- 3
- 26
- 49
- 120
- 75
- 120
- 154
- 147
- 130
- 117
- 86
- 67
- 68
- 63
- 62
- 65
- 60
- 40
- 40
- 48
- 25
- 34
- 18
- 12
- 14
- 9
- 3
- 1
- 3
- 8
- 4
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 10
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 7
- 3
- 6
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 9
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 3
- 6
- 3
- 21
- 9
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 14
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 7
- 2
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 5
- 5
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 7
- 7
- 2
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 7
- 2
- 4
- 2
- 2
- 3
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 4
- 2
- 6
- 2
- 2
- 5
- 4
- 34
- 10
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 4
- Verlag
-
- 138
- 1595
- 204
- 36
- 40
- Preis
-
- 34
- 1606
- 373
- Sprachen
-
- 2013
- 3
- 1
- Verfügbarkeit
-
- 2011
- 2
- Katalog
-
- 2013
- 78
-
Coquand / Smith / Dybjer Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Panigrahi / Satapathy / Suganthan Swarm, Evolutionary, and Memetic Computing
6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-48958-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Giachino / Bonsangue / Hähnle Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures2013Verlag: SpringerISBN: 978-3-642-40614-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Diehl Software Visualization
International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43323-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peyton Jones / Jeuring Advanced Functional Programming
4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40132-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gibbons / Backhouse Generic Programming
Advanced Lectures2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20194-6Medium: Buch48,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,10 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gorrieri / Focardi Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial Lectures2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20955-3Medium: 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 -
Caires / Italiano / Yung Automata, Languages and Programming
32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27580-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brandenburg Graph Drawing
Symposium on Graph Drawing, GD'95; Passau, Germany, September 20-22, 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60723-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sankoff / Giancarlo Combinatorial Pattern Matching
11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67633-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Antsaklis / Kohn / Sastry Hybrid Systems V
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65643-2Medium: 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 -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64304-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Shimada / Kim Geometric Modeling and Processing - GMP 2006
4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-36711-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Morales / Hermenegildo Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22¿24, 2023, Proceedings2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-44244-5Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dragoi / Dragoi / Namjoshi Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17¿19, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88805-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jin / Rana / Pan Algorithms and Architectures for Parallel Processing
7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings2007Verlag: Springer-Verlag GmbHISBN: 978-3-540-72904-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Paulson Isabelle
A Generic Theorem Prover1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ahrendt / Johnsen / Beckert The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-08165-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Jin Fuzzy Systems and Knowledge Discovery 1
Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-28312-6Medium: Buch123,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage123,05 € (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 -
Grädel / Wilke / Thomas Automata, Logics, and Infinite Games
A Guide to Current Research2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00388-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Parikh Logics of Programs
Brooklyn, June 17-19, 19851985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15648-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Klein Concrete and Abstract Voronoi Diagrams
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52055-9Medium: 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