Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2102
- Erscheinungsjahr
-
- 50
- 149
- 137
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 48
- 42
- 32
- 53
- 35
- 38
- 75
- 59
- 61
- 79
- 74
- 59
- 119
- 105
- 95
- 78
- 59
- 51
- 40
- 29
- 36
- 34
- 27
- 31
- 19
- 32
- 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
- 2
- 4
- 4
- 2
- 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
- 4
- 10
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 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
- 3
- 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
- 6
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 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
- 3
- 2
- 2
- 3
- 6
- 3
- 3
- 3
- 2
- 4
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 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
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 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
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 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
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 3
- 8
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 4
- 6
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 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
- 6
- 6
- 7
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 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
- 4
- 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
- 5
- 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
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 5
- 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
- 3
- 4
- 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
- 12
- 9
- 2
- 2
- 2
- 3
- 2
- 4
- 11
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 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
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 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
- 6
- 3
- 3
- 4
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 4
- 4
- 3
- 4
- 7
- 4
- 17
- 4
- 10
- 4
- 3
- 3
- 5
- Verlag
-
- 2094
- 1
- 7
- Preis
-
- 4
- 89
- 1678
- 331
- Sprachen
-
- 2102
- Verfügbarkeit
-
- 2101
- 1
- Eigenschaften
-
- 3
- Katalog
-
- 2102
- 133
-
Gurfinkel / Seshia Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29612-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Braccini / DeFloriani / Vernazza Image Analysis and Processing
8th International Conference, ICIAP '95, San Remo, Italy, September 13 - 15, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60298-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lewerentz / Lindner Formal Development of Reactive Systems
Case Study Production CellErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-58867-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pan / Chen / Guo Parallel and Distributed Processing and Applications
Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29769-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jürjens / Livshits / Scandariato Engineering Secure Software and Systems
5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36562-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78708-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Rutten It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90088-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghezzi / McDermid ESEC '89
2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51635-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Proença / Fervari / Martins Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94747-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Malyshkin Parallel Computing Technologies
17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-41672-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sokolsky / Tasiran Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77394-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duke / Herman / Marshall PREMO: A Framework for Multimedia Middleware
Specification, Rationale, and Java BindingErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66720-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Zhang Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-981-97-5662-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giunchiglia / Odell / Weiß Agent-Oriented Software Engineering III
Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00713-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aleti / Panichella Search-Based Software Engineering
12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59761-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bae / Ölveczky Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02145-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nishio / Yonezawa Object Technologies for Advanced Software
First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57342-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78749-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deransart / Jourdan / Lorho Attribute Grammars
Definitions, Systems and Bibliography1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50056-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schrepp Design, User Experience, and Usability
14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93235-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sahni / Prasanna / Shukla High Performance Computing - HiPC 2002
9th International Conference Bangalore, India, December 18-21, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00303-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rau Cross-Cultural Design
18th International Conference, CCD 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-29899-7Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nichols / Simpson ESEC '87
1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18712-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bird / Morgan / Woodcock Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56625-0Medium: 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