Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2114
- Erscheinungsjahr
-
- 43
- 150
- 141
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 51
- 41
- 30
- 52
- 41
- 41
- 81
- 59
- 64
- 77
- 71
- 61
- 120
- 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
- 6
- 2
- 2
- 4
- 3
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 3
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 8
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 7
- 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
- 4
- 3
- 2
- 8
- 2
- 6
- 2
- 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
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 4
- 6
- 3
- 2
- 4
- 12
- 5
- 4
- 3
- 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
- 2
- 15
- 25
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 7
- 4
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 20
- 2
- 3
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 5
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 4
- 3
- 2
- 3
- 4
- 4
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 6
- 5
- 2
- 4
- 4
- 5
- 2
- 3
- 2
- 2
- 7
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 2
- 2
- 6
- 6
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 6
- 7
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 5
- 2
- 12
- 24
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 9
- 2
- 2
- 4
- 5
- 2
- 5
- 5
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 4
- 15
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 20
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 3
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 9
- 2
- 3
- 2
- 2
- 2
- 4
- 11
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 13
- 14
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 34
- 2
- 3
- 5
- 5
- 6
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 16
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 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
- 4
- 3
- 4
- 11
- 4
- 6
- 3
- 3
- 4
- 8
- 3
- 5
- 5
- 6
- 5
- 6
- 4
- 5
- 3
- 4
- 5
- 4
- 3
- 17
- 4
- 8
- 3
- 3
- 6
- 5
- Verlag
-
- 2106
- 1
- 7
- Preis
-
- 4
- 90
- 1688
- 332
- Sprachen
-
- 2114
- Verfügbarkeit
-
- 2113
- 1
- Eigenschaften
-
- 5
- Katalog
-
- 2114
- 136
-
Pasareanu Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02651-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bourke / Chen / Goharshady Dependable Software Engineering. Theories, Tools, and Applications
10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, ProceedingsErscheinungsjahr 2024Verlag: SpringerISBN: 978-981-960601-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Malyshkin Parallel Computing Technologies
11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23177-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Iida / Meseguer / Ogata Specification, Algebra, and Software
Essays Dedicated to Kokichi FutatsugiErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54623-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cavedon / Rao / Wobcke Intelligent Agent Systems: Theoretical and Practical Issues
Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 19961. Auflage 1997Verlag: SpringerISBN: 978-3-540-62686-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Siegler / Wasser Verification, Induction, Termination Analysis
Festschrift for Christoph Walther on the Occasion of His 60th Birthday1. Auflage 2010Verlag: SpringerISBN: 978-3-642-17171-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grigoras / Nicolau / Toursel Advanced Environments, Tools, and Applications for Cluster Computing
NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43672-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dutle / Humphrey / Titolo NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93705-7Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bistarelli Semirings for Soft Constraint Solving and Programming
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21181-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kutsche / Weber Fundamental Approaches to Software Engineering
5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43353-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Di Giacomo / Lubiw Graph Drawing and Network Visualization
23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27260-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katoen / Stevens Tools and Algorithms for the Construction and Analysis of Systems
8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43419-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voss OpenMP Shared Memory Parallel Programming
International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40435-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thanos Research and Advanced Technology for Digital Libraries
First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63554-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biere / Nahir / Vos Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heidrich / Oivo / Jedlitschka Product-Focused Software Process Improvement
14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39258-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillon / Herrero On the Move to Meaningful Internet Systems, OTM 2010
Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16933-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems III
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28968-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lan / Mei / Jiang Intelligent Robotics and Applications
17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-960773-0Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lakemeyer / Sklar / Sorrenti RoboCup 2006: Robot Soccer World Cup X
Erscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74023-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen Tools and Algorithms for the Construction and Analysis of Systems
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64356-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mouratidis / Rolland Advanced Information Systems Engineering
23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21639-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zeng / Zhang Edge Computing - EDGE 2024
8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-77068-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pérez / Robles Scientific Applications of Grid Computing
First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25810-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Nicola Programming Languages and Systems
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71314-2Medium: 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