Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2111
- Erscheinungsjahr
-
- 50
- 149
- 137
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 48
- 42
- 32
- 55
- 41
- 38
- 75
- 57
- 62
- 81
- 73
- 61
- 119
- 105
- 95
- 78
- 59
- 51
- 40
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 10
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 10
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 5
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 4
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 2
- 6
- 3
- 2
- 4
- 3
- 2
- 3
- 3
- 5
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 3
- 3
- 3
- 2
- 3
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 25
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 8
- 4
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 21
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 5
- 2
- 3
- 5
- 3
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 4
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 6
- 5
- 2
- 5
- 4
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 3
- 6
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 6
- 7
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 3
- 12
- 24
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 3
- 6
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 3
- 16
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 6
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 4
- 9
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 22
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 8
- 3
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 9
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 11
- 5
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 4
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 13
- 15
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 34
- 3
- 5
- 4
- 6
- 2
- 2
- 4
- 3
- 3
- 6
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 17
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 11
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 3
- 3
- 4
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 5
- 5
- 6
- 5
- 6
- 4
- 5
- 3
- 4
- 7
- 4
- 17
- 4
- 10
- 4
- 3
- 3
- 5
- Verlag
-
- 2103
- 1
- 7
- Preis
-
- 4
- 89
- 1685
- 333
- Sprachen
-
- 2111
- Verfügbarkeit
-
- 2110
- 1
- Eigenschaften
-
- 3
- Katalog
-
- 2111
- 134
-
Lee / Kang / Slezak Future Generation Information Technology
Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17568-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75782-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Knuth / Neuhold Specification and Design of Software Systems
Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings1983Verlag: SpringerISBN: 978-3-540-12284-5Medium: Buch21,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage21,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Doherty / Blandford Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sharp Higher-Level Hardware Synthesis
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21306-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sledge Software Engineering Education
SEI Conference 1992, San Diego, California, USA, October 5-7, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55963-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boral / Faudemay Database Machines
Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51324-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Esparza / Lakos Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43787-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katsikas / Alcaraz Security and Trust Management
21st International Workshop, STM 2025, Toulouse, France, September 25-26, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06154-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cortesi Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43631-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Woodcock / Zhu Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wiedijk The Seventeen Provers of the World
Foreword by Dana S. Scott1. Auflage 2006Verlag: SpringerISBN: 978-3-540-30704-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics
6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34141-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gollmann Fast Software Encryption
Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-60865-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rios / Posegga Security and Trust Management
19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-47197-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Orejas / Spirakis / Leeuwen Automata, Languages and Programming
28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42287-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62790-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Held On the Computational Geometry of Pocket Machining
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54103-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing
Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-43043-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dumke / Rautenstrauch / Schmietendorf Performance Engineering
State of the Art and Current TrendsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42145-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beckert / Damiani / de Boer Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35886-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Gomes / Liu Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial LecturesErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-964655-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29131-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swierstra / Henriques / Oliveira Advanced Functional Programming
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66241-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort