Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1628
- Erscheinungsjahr
-
- 40
- 105
- 39
- 20
- 20
- 31
- 24
- 27
- 36
- 42
- 36
- 58
- 32
- 8
- 13
- 55
- 66
- 67
- 35
- 70
- 115
- 101
- 89
- 76
- 59
- 44
- 40
- 28
- 35
- 32
- 28
- 32
- 20
- 32
- 15
- 14
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 12
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 6
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 11
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 11
- 16
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 15
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 19
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 11
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 11
- 13
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 11
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 14
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 11
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 8
- 9
- 2
- 3
- 2
- 2
- 3
- 4
- 13
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 19
- 2
- 2
- 9
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 15
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 16
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 192
- 1012
- 260
- 1
- 7
- 133
- 23
- Preis
-
- 4
- 63
- 1330
- 231
- Sprachen
-
- 1628
- Verfügbarkeit
-
- 1624
- 4
- Katalog
-
- 1628
- 123
-
Salaün / Giannakopoulou Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10430-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Amyot / Mussbacher / Fonseca i Casas System Analysis and Modeling: Models and Reusability
8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11742-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Labiche / Barros Search-Based Software Engineering
7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22182-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van der Aalst / Hähnle Fundamental Approaches to Software Engineering
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-16721-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Guttman / Pavlovic / Landwehr Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-19051-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
ter Beek / Oliveira / McIver Formal Methods ¿ The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7¿11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30941-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salaün / Ölveczky Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18¿20, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30445-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Abdelwahed / Bellatreche / Ordonez Model and Data Engineering
8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24¿26, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-00855-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sokolsky / Hung Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19¿23, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59151-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gribaudo / Remke / Jansen Quantitative Evaluation of Systems
17th International Conference, QEST 2020, Vienna, Austria, August 31 ¿ September 3, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-59853-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Philippou / Mousavi Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13¿17, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-08678-6Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Manolopoulos / Bellatreche Model and Data Engineering
5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23780-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Finkbeiner / Zhang / Pu Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24952-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Santana de Almeida / Kapitsaki Software Reuse: Bridging with Social-Awareness
15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-35121-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ahrendt / Beckert / Ulbrich Deductive Software Verification ¿ The KeY Book
From Theory to Practice1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49811-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang / Kordon / Ren Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 ¿ 11, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Madhavji / Gnesi / Pasquale Requirements Engineering: Foundation for Software Quality
26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24¿27, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-44428-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Heisel / Martinelli / Joosen Engineering Secure Future Internet Services and Systems
Current Research2014Verlag: Springer International PublishingISBN: 978-3-319-07451-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bassiliades / Gottlob / Roman Rule Technologies: Foundations, Tools, and Applications
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21541-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rozier / Badger NASA Formal Methods
6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-06199-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baldoni / Zalila-Wenkstern / Müller Engineering Multi-Agent Systems
4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-50982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wijs / Bošnacki / Bošnacki Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-32581-1Medium: Buch53,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tahar / Li Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21¿24, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SingaporeISBN: 978-981-99-7583-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mössenböck Modular Programming Languages
Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Deransart / Lorho / Jourdan Attribute Grammars
Definitions, Systems and Bibliography1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50056-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort