Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2097
- Erscheinungsjahr
-
- 50
- 147
- 136
- 111
- 39
- 17
- 26
- 31
- 30
- 26
- 48
- 42
- 33
- 54
- 38
- 37
- 76
- 63
- 59
- 76
- 70
- 61
- 119
- 105
- 93
- 79
- 59
- 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
- 5
- 2
- 2
- 4
- 3
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 10
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 10
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 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
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 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
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 3
- 3
- 3
- 2
- 5
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 17
- 25
- 2
- 2
- 3
- 2
- 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
- 3
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 8
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 22
- 3
- 3
- 3
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 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
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 6
- 5
- 2
- 4
- 4
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 3
- 7
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 6
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 5
- 10
- 24
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 8
- 3
- 4
- 5
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 6
- 2
- 2
- 5
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 3
- 16
- 2
- 2
- 4
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 5
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 4
- 7
- 2
- 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
- 4
- 5
- 2
- 3
- 2
- 2
- 3
- 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
- 2
- 4
- 2
- 4
- 2
- 2
- 8
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 12
- 9
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 11
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 13
- 17
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 34
- 3
- 2
- 5
- 4
- 6
- 2
- 4
- 3
- 3
- 6
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 10
- 2
- 2
- 2
- 18
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 11
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 5
- 5
- 5
- 5
- 6
- 4
- 4
- 3
- 4
- 6
- 4
- 17
- 4
- 10
- 4
- 3
- 3
- 5
- Verlag
-
- 2089
- 2
- 6
- Preis
-
- 4
- 91
- 1669
- 333
- Sprachen
-
- 2097
- Verfügbarkeit
-
- 2096
- 1
- Eigenschaften
-
- 2
- Katalog
-
- 2097
- 133
-
Stoelinga / Pinger Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32468-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot / Falaschi / File Static Analysis
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57264-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krall Software and Compilers for Embedded Systems
7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20145-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Böszörményi / Schojer Modular Programming Languages
Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40796-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dong / Woodcock Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20461-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Oliva / Panzieri / Hämmerli Critical Information Infrastructures Security
19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84259-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leong / Lee / Li Mobile Data Access
First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66878-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21182-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
Fritzson Compiler Construction
5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57877-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Huang / Liu / He Web Information Systems Engineering - WISE 2013 Workshops
WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54369-2Medium: 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 -
Comyn-Wattiau / Tanaka / Song Conceptual Modeling
35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46396-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Olivetti Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73098-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deshmukh / Havelund / Pinto NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-28078-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertogna / Pinho / Quiñones Reliable Software Technologies - Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39082-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
6th International Conference San Francisco, CA, USA, October 20-24, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-20243-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finance Fundamental Approaches to Software Engineering
Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65718-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40325-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Haverkort / Hermanns Validation of Stochastic Systems
A Guide to Current Research1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22265-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alagar / Nivat Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60043-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Herman Self-Stabilizing Systems
6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40453-8Medium: 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