Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2158
- Erscheinungsjahr
-
- 4
- 118
- 150
- 136
- 108
- 40
- 23
- 24
- 33
- 30
- 28
- 48
- 40
- 37
- 49
- 37
- 29
- 71
- 65
- 59
- 76
- 66
- 59
- 118
- 106
- 94
- 78
- 60
- 50
- 39
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 4
- 7
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 3
- 2
- 2
- 6
- 4
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 9
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 3
- 3
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 4
- 2
- 4
- 2
- 5
- 3
- 4
- 5
- 2
- 4
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 3
- 3
- 6
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 16
- 25
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 4
- 4
- 2
- 10
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 3
- 23
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 3
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 3
- 2
- 3
- 6
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 2
- 4
- 7
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 6
- 8
- 5
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 9
- 2
- 12
- 2
- 3
- 3
- 7
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 7
- 7
- 2
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 5
- 2
- 5
- 2
- 12
- 27
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 12
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 3
- 6
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 17
- 2
- 2
- 5
- 4
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 4
- 6
- 2
- 4
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 8
- 2
- 2
- 3
- 3
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 8
- 22
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 14
- 9
- 2
- 2
- 3
- 2
- 3
- 4
- 11
- 6
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 13
- 17
- 2
- 3
- 4
- 9
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 39
- 3
- 2
- 4
- 4
- 2
- 4
- 4
- 3
- 4
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 5
- 3
- 4
- 2
- 10
- 2
- 2
- 2
- 19
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 4
- 3
- 12
- 4
- 4
- 4
- 4
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 8
- 3
- 4
- 3
- 3
- 7
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 4
- 11
- 6
- 3
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 5
- 5
- 3
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 3
- 4
- 19
- 3
- 4
- 10
- 4
- 3
- 3
- 3
- 5
- Verlag
-
- 2
- 2138
- 1
- 10
- 1
- 6
- Preis
-
- 4
- 102
- 1722
- 330
- Sprachen
-
- 2158
- Verfügbarkeit
-
- 2109
- 49
- Katalog
-
- 2158
- 135
-
Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3
Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66483-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Desai / Cirne Job Scheduling Strategies for Parallel Processing
19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-61755-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruel Satellite Events at the MoDELS 2005 Conference
MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31780-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghilardi / Sebastiani Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04221-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cialdea Mayer / Pirri Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40787-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Manandhar / Austin / Desai Applied Computing
Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23659-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rayadurgam / Tkachuk NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baader / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25236-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Nicola / Kühn Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41590-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Long Software Engineering Environments
International Workshop on Environments, Chinon, France, September 18-20, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53452-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yahav Static Analysis
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23701-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller Modular Specification and Verification of Object-Oriented Programs
Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43167-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meyer / Woodcock Verified Software: Theories, Tools, Experiments
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and DiscussionsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69147-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26783-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Czarnecki / Hedin Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36088-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wermelinger / Margaria-Steffen Fundamental Approaches to Software Engineering
7th International Conference, FASE 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-21305-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abrial / Börger / Langmaack Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler ControlErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paul / Robinet International Symposium on Programming
6th Colloquium, Toulouse, April 17-19, 1984. Proceedings1. Auflage 1984Verlag: SpringerISBN: 978-3-540-12925-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Briot / Geib / Yonezawa Object-Based Parallel and Distributed Computation
France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berger / Klös Software Engineering and Advanced Applications
52nd Euromicro Conference, SEAA 2026, Kraków, Poland, September 2–4, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-36589-7Medium: Buch104,85 € (inkl. MwSt.)
vorbestellbar104,85 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. September 2026 -
Perrouin / Berger / Papadopoulos Software and Systems Reuse, Product Lines, and Configuration
First International Conference, VARIABILITY 2026, Limassol, Cyprus, September 29–October 2, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40762-7Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar79,17 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026 -
Bernasconi / Indulska / Ram Conceptual Modeling
45th International Conference, ER 2026, St. John's, NL, Canada, October 5–8, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40794-8Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar79,17 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026 -
Steinholtz / Soelvberg / Bergman Advanced Information Systems Engineering
Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52625-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klusácek / Cirne / Desai Job Scheduling Strategies for Parallel Processing
21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77397-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guerraoui Middleware 2001
IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42800-8Medium: 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