Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2067
- Erscheinungsjahr
-
- 11
- 156
- 129
- 105
- 39
- 16
- 24
- 33
- 38
- 28
- 33
- 47
- 31
- 51
- 51
- 31
- 68
- 63
- 60
- 92
- 74
- 62
- 120
- 108
- 96
- 77
- 59
- 51
- 36
- 27
- 34
- 33
- 27
- 31
- 19
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 3
- 5
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 12
- 2
- 2
- 4
- 3
- 4
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 4
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 7
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 5
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 5
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 12
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 13
- 23
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 5
- 3
- 2
- 7
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 20
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 3
- 3
- 5
- 2
- 4
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 6
- 2
- 2
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 5
- 2
- 4
- 2
- 3
- 6
- 2
- 4
- 2
- 4
- 2
- 7
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 6
- 3
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 4
- 3
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 7
- 3
- 2
- 2
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 5
- 10
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 10
- 19
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 4
- 8
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 18
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 7
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 3
- 2
- 12
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 12
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 23
- 4
- 2
- 3
- 5
- 9
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 32
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 6
- 5
- 17
- 3
- 4
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 3
- 9
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 7
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 11
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 5
- 3
- 7
- 3
- 5
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- Verlag
-
- 2058
- 1
- 8
- Preis
-
- 4
- 85
- 1673
- 305
- Sprachen
-
- 2067
- Verfügbarkeit
-
- 2066
- 1
- Katalog
-
- 2067
- 130
-
Batory / Consel / Taha Generative Programming and Component Engineering
ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44284-4Medium: 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. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling
14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60672-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kosmatov / Kovács Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-76553-7Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brogi / Zimmermann / Kritikos Service-Oriented and Cloud Computing
8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-44768-7Medium: Buch57,78 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage57,78 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benzmüller / Heule / Schmidt Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-63497-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-75379-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jacobsen Middleware 2004
ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23428-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowles / Broccia / Nanni From Data to Models and Back
9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-70649-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Pappas Hybrid Systems: Computation and Control
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21259-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Indulska / Raymond Distributed Applications and Interoperable Systems
7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, ProccedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72881-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yasuda Active Networks
Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16-18, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41179-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salinesi / van de Weerd Requirements Engineering: Foundation for Software Quality
20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05842-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moreira / Reis Implementation and Application of Automata
17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31605-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Czekster / Milazzo From Data to Models and Back
12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-87907-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertossi / Hunter / Schaub Inconsistency Tolerance
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24260-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
America ECOOP '91 European Conference on Object-Oriented Programming
Geneva, Switzerland, July 15-19, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54262-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dörr Efficient Graph Rewriting and Its Implementation
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe / Livshits / Scandariato Engineering Secure Software and Systems
4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28165-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parker / Wolf Quantitative Evaluation of Systems
16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30280-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aalst / Best Applications and Theory of Petri Nets 2003
24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40334-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Santoro / Schmidt / Matera End-User Development
10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-95451-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nierstrasz / Lemoine Software Engineering - ESEC/FSE '99
7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66538-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