Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2163
- Erscheinungsjahr
-
- 4
- 121
- 150
- 136
- 109
- 40
- 22
- 24
- 35
- 30
- 28
- 47
- 42
- 37
- 49
- 37
- 29
- 70
- 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
- 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
- 5
- 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
- 7
- 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
- 4
- 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
- 3
- 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
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 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
- 3
- 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
- 8
- 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
- 8
- 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
- 3
- 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
- 8
- 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
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 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
- 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
- 2
- 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
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 14
- 9
- 2
- 2
- 3
- 2
- 3
- 4
- 11
- 6
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 4
- 2
- 3
- 2
- 5
- 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
- 2
- 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
- 7
- 3
- 2
- 2
- 5
- 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
- 2142
- 1
- 11
- 1
- 6
- Preis
-
- 4
- 102
- 1727
- 330
- Sprachen
-
- 2163
- Verfügbarkeit
-
- 2111
- 52
- Katalog
-
- 2163
- 135
-
Choren / Garcia / Lucena Software Engineering for Multi-Agent Systems III
Research Issues and Practical Applications1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24843-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42314-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Donatelli / Thiagarajan Petri Nets and Other Models of Concurrency - ICATPN 2006
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kazman / Port COTS-Based Software Systems
Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21903-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Danvy / Glück / Thiemann Partial Evaluation
International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61580-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bittanti Software Reliability Modelling and Identification
1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50695-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gorm Larsen / Rozier Formal Methods for Industrial Critical Systems
31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-36848-5Medium: Buch70,61 € (inkl. MwSt.)
vorbestellbar70,61 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Oktober 2026 -
Falaschi Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27435-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dastani / Hübner / Logan Programming Multi-Agent Systems
10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38699-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Amyot / Fonseca i Casas / Mussbacher System Analysis and Modeling: Models and Reusability
8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11742-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fratta / Schulzrinne / Takahashi NETWORKING 2009
8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01398-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sannella Programming Languages and Systems - ESOP '94
5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57880-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guo / Yang Parallel and Distributed Processing and Applications
International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40523-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grieskamp / Santen / Stoddart Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41196-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Böhme / Unger Innovative Internet Computing Systems
International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42275-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Petre / Sere Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43703-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hedin Compiler Construction
12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00904-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calinescu / Rumpe Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-22968-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leavens / Chiba / Haupt Transactions on Aspect-Oriented Software Development IX
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35550-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Braspenning / Thuijsman / Weijters Artificial Neural Networks
An Introduction to ANN Theory and Practice1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59488-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wirsing / Banatre / Hölzl Software-Intensive Systems and New Computing Paradigms
Challenges and Visions1. Auflage 2008Verlag: SpringerISBN: 978-3-540-89436-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tari On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops
OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proce1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48273-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nikolaidis / Barbeau / Kranakis Ad-Hoc, Mobile, and Wireless Networks
Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22543-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Murugesan / Deshpande Web Engineering
Managing Diversity and Complexity of Web Application Development1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42130-6Medium: 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