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
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75777-8Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (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 IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75774-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grass / Sick / Waldschmidt Architecture of Computing Systems - ARCS 2006
19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32765-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Zhang Secure Transaction Protocol Analysis
Models and ApplicationsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85073-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonfanti / Papadopoulos Testing Software and Systems
37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17-19, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-05187-5Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sekerinski / Ribeiro Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71378-1Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage40,65 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ramamoorthy / Lee Software Engineering Research and Applications
First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21975-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Volkert Parallel Computation
Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57314-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sloman / Lobo / Lupu Policies for Distributed Systems and Networks
International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41610-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bove / Barbosa / Pardo Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03152-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nagel / Walter / Lehner Euro-Par 2006 Parallel Processing
12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, ProceedingsErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-37783-2Medium: Buch135,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage135,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bidoit / Dauchet TAPSOFT'97: Theory and Practice of Software Development
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62781-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morisio / Torchiano / Jedlitschka Product-Focused Software Process Improvement
21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64147-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Shen / Wu Advanced Parallel Processing Technologies
15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-981-99-7871-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertino / Urban Object-Oriented Methodologies and Systems
International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58451-3Medium: 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 2009-2011, Salerno, Italy, Revised Tutorial Lectures1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36053-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36749-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nanya / Maruyama / Pataricza Service Availability
5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68128-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gulliksen / Harning / Palanque Engineering Interactive Systems
EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92697-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sadananada Agent Computing and Multi-Agent Systems
9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36707-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dikaiakos Grid Computing
Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22888-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leue / Merino Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79706-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Joyce / Seger Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57826-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermanns Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64304-3Medium: 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