Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2206
- Erscheinungsjahr
-
- 26
- 123
- 149
- 138
- 107
- 40
- 21
- 22
- 29
- 38
- 24
- 31
- 47
- 41
- 48
- 41
- 28
- 74
- 58
- 73
- 82
- 72
- 73
- 116
- 105
- 95
- 77
- 56
- 51
- 38
- 29
- 34
- 33
- 27
- 32
- 19
- 33
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 3
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 11
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 10
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 3
- 10
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 8
- 6
- 2
- 2
- 3
- 4
- 6
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 10
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 3
- 4
- 3
- 5
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 3
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 2
- 5
- 12
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 17
- 25
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 4
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 23
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 8
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 5
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 7
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 7
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 8
- 3
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 12
- 2
- 2
- 4
- 8
- 2
- 2
- 6
- 2
- 4
- 2
- 3
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 6
- 2
- 4
- 6
- 2
- 3
- 5
- 4
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 5
- 5
- 2
- 10
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 4
- 8
- 2
- 3
- 2
- 10
- 25
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 6
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 6
- 4
- 18
- 2
- 2
- 5
- 4
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 5
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 4
- 22
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 3
- 3
- 5
- 3
- 5
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 2
- 2
- 2
- 10
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 11
- 6
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 13
- 16
- 3
- 9
- 3
- 3
- 6
- 6
- 3
- 36
- 3
- 3
- 6
- 4
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 5
- 6
- 11
- 21
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 11
- 3
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 5
- 3
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 11
- 8
- 6
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 4
- 4
- 7
- 3
- 3
- 7
- 5
- 4
- 6
- 4
- 5
- 6
- 4
- 4
- 16
- 10
- 3
- 3
- 4
- 4
- Verlag
-
- 1
- 2190
- 1
- 7
- 2
- 5
- Preis
-
- 4
- 106
- 1756
- 340
- Sprachen
-
- 2206
- Verfügbarkeit
-
- 2162
- 44
- Katalog
-
- 2206
- 133
-
Kucera / Potapov Reachability Problems
4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15348-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sommerville / Paul Software Engineering - ESEC '93
4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57209-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maler Hybrid and Real-Time Systems
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62600-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mazzara / Bruel / Meyer Software Technology: Methods and Tools
51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-29851-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hammer / Agrawal / Goertzel Artificial General Intelligence
12th International Conference, AGI 2019, Shenzhen, China, August 6-9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-27004-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sudan Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60615-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Lucia / Ferrucci Software Engineering
International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures1. Auflage 2009Verlag: SpringerISBN: 978-3-540-95887-1Medium: Buch45,96 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage45,96 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Wirsing Methods of Programming
Selected Papers on the CIP-ProjectErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54576-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lakhnech / Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23167-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45488-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fukuda / van der Hoeven / Joswig Mathematical Software - ICMS 2010
Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15581-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ohori Programming Languages and Systems
First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20536-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hinchey / Rago / Rash Innovative Concepts for Autonomic and Agent-Based Systems
Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-69265-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antsaklis / Kohn / Nerode Hybrid Systems II
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60472-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17600-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calzarossa / Gelenbe Performance Tools and Applications to Networked Systems
Revised Tutorial Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21945-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carretero / Shende / Garcia-Blas Euro-Par 2024: Parallel Processing
30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-69765-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57235-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz-Herrera Software Engineering Education
7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57461-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weske / Liggesmeyer Object-Oriented and Internet-Based Technologies
5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27-30, 2004 ProceedingsSoftcover Nachdruck of the original 1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23201-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nitzberg / Mumford / Shiota Filtering, Segmentation and Depth
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56484-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov / A.P. Ershov Institute of Informatics Systems Perspectives of System Informatics
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46822-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Albers / Marchetti-Spaccamela / Matias Automata, Languages and Programming
36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part IErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02926-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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