Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1367
- Erscheinungsjahr
-
- 2
- 10
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 3
- 7
- 1
- 1
- 32
- 55
- 136
- 126
- 64
- 52
- 71
- 42
- 77
- 64
- 61
- 54
- 58
- 60
- 62
- 52
- 45
- 35
- 51
- 26
- 31
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 5
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 7
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 4
- 2
- 2
- 5
- 4
- 2
- 4
- 17
- 2
- 11
- 2
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 8
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- Verlag
-
- 1355
- 1
- 2
- 9
- Preis
-
- 7
- 1110
- 250
- Sprachen
-
- 1367
- 3
- Verfügbarkeit
-
- 1365
- 2
- Katalog
-
- 1367
- 55
-
Flener Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65765-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gramlich Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29051-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66499-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katwijk Ada: Moving Towards 2000
11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55585-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing
20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85260-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Makedon / Mehlhorn / Papatheodorou VLSI Algorithms and Architectures
Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16766-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pernul / Tjoa Entity-Relationship Approach - ER '92
11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56023-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kloks Treewidth
Computations and Approximations1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58356-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rus Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67530-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Quinonero-Candela / Dagan / Magnini Machine Learning Challenges
Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33427-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hooman Specification and Compositional Verification of Real-Time Systems
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jähne / Mester / Barth Complex Motion
First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69864-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ausiello / Atzeni ICDT'86
International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-17187-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barnes Ada 95 Rationale
The Language - The Standard LibrariesErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63143-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaudhuri / Das / Paul Distributed Computing and Networking
8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68139-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ng / Raghavan / Balasubramanian Algorithms and Computation
4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57568-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70588-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barker-Plummer / Cox / Swoboda Diagrammatic Representation and Inference
4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35623-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Perrouin / Moha / Seriai Reuse and Software Quality
20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15-17, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-08128-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (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