Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1311
- 30
- Erscheinungsjahr
-
- 3
- 10
- 4
- 1
- 6
- 13
- 6
- 6
- 6
- 10
- 16
- 19
- 13
- 19
- 15
- 64
- 27
- 41
- 85
- 72
- 99
- 118
- 81
- 62
- 74
- 56
- 58
- 29
- 32
- 42
- 37
- 37
- 26
- 20
- 39
- 21
- 22
- 12
- 9
- 6
- 5
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 9
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 6
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 10
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 3
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 4
- 3
- 2
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 6
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 6
- 3
- 5
- 2
- 3
- Verlag
-
- 135
- 1
- 13
- 1
- 1
- 4
- 49
- 4
- 2
- 6
- 1
- 7
- 6
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 6
- 1
- 1
- 1
- 906
- 18
- 2
- 1
- 18
- 34
- 33
- 5
- 1
- 6
- 2
- 4
- 1
- 1
- 1
- 4
- 34
- 1
- 1
- 1
- 4
- 1
- 2
- Preis
-
- 12
- 195
- 805
- 329
- Sprachen
-
- 1181
- 158
- 2
- Verfügbarkeit
-
- 1336
- 5
- Eigenschaften
-
- 1
- Katalog
-
- 1341
- 51
-
Coquand / Dybjer / Nordström Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected PapersErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Frühwirth / Abdennadher Essentials of Constraint Programming
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-67623-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yellin Attribute Grammar Inversion and Source-to-source Translation
1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19072-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thanos Research and Advanced Technology for Digital Libraries
First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63554-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Walukiewicz Foundations of Software Science and Computation Structures
7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21298-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Muxworthy Programming for Software Sharing
1983. Auflage 1983Verlag: SpringerISBN: 978-90-277-1591-3Medium: Buch96,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen96,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Sands Programming Languages and Systems
10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41862-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giacobazzi Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22791-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. LeinoErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-68977-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pirotte / Delobel / Gottlob Advances in Database Technology - EDBT '92
3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55270-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ito / Halstead Parallel Lisp: Languages and Systems
US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52782-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aho / Sethi / Ullman Compilerbau
Teil 22., durchgesehene Auflage. Nachdruck 2016Verlag: De GruyterISBN: 978-3-486-25266-8Medium: Buch109,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage109,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43928-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cluet / Hull Database Programming Languages
6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64823-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schepers Software and Compilers for Embedded Systems
8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23035-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen The Electronic Design Automation Handbook
2003Verlag: Springer USISBN: 978-1-4020-7502-5Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ravn / Rischel Formal Techniques in Real-Time and Fault-Tolerant Systems
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65003-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Zamulin Perspectives of Systems Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20813-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brim / Haverkort / Leucker Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, ReviErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermenegildo / Swierstra Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60359-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seebach Beginning Portable Shell Scripting
From Novice to Professional1. Auflage 2008Verlag: ApressISBN: 978-1-4302-1043-6Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Nicola Programming Languages and Systems
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71314-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giorgini / Müller / Odell Agent-Oriented Software Engineering IV
4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20826-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yiu The Definitive Guide to ARM Cortex-M3 and Cortex-M4 Processors
3rd AuflageVerlag: Elsevier ScienceISBN: 978-0-12-408082-9Medium: Buch60,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen60,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Oostrom Rewriting Techniques and Applications
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22153-1Medium: 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