Ergebnisse filtern
- Fachgebiet
- Medium
-
- 8050
- 898
- 27
- 13
- Erscheinungsjahr
-
- 1
- 19
- 508
- 603
- 464
- 430
- 406
- 418
- 539
- 313
- 451
- 296
- 427
- 382
- 462
- 156
- 367
- 231
- 241
- 229
- 150
- 232
- 208
- 214
- 175
- 149
- 115
- 102
- 95
- 75
- 79
- 68
- 59
- 67
- 39
- 55
- 34
- 23
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 11
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 7
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 5
- 3
- 2
- 3
- 3
- 4
- 2
- 3
- 4
- 3
- 5
- 2
- 3
- 4
- 5
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 10
- 2
- 5
- 3
- 2
- 3
- 9
- 19
- 3
- 4
- 5
- 6
- 4
- 3
- 3
- 4
- 5
- 7
- 4
- 3
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 18
- 3
- 4
- 4
- 7
- 6
- 3
- 3
- 3
- 3
- 12
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 8
- 3
- 4
- 16
- 3
- 4
- 4
- 10
- 3
- 3
- 3
- 4
- 6
- 3
- 13
- 3
- 11
- 6
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 9
- 3
- 3
- 16
- 4
- 3
- 16
- 4
- 3
- 3
- 3
- 3
- 6
- 5
- 3
- 3
- 3
- 3
- 4
- 4
- 12
- 7
- 3
- 3
- 3
- 8
- 5
- 6
- 3
- 11
- 4
- 3
- 4
- 13
- 7
- 4
- 3
- 3
- 7
- 4
- 3
- 3
- 17
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 4
- 4
- 5
- 32
- 3
- 8
- 3
- 5
- 4
- 3
- 7
- 5
- 3
- 5
- 3
- 4
- 7
- 3
- 5
- 3
- 7
- 3
- 6
- 8
- 5
- 7
- 3
- 3
- 12
- 3
- 3
- 7
- 5
- 4
- 4
- 3
- 4
- 6
- 5
- 3
- 8
- 7
- 3
- 3
- 6
- 4
- 6
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 3
- 4
- 4
- 9
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 6
- 3
- 3
- 3
- 6
- 6
- 9
- 4
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 4
- 6
- 6
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 5
- 14
- 4
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 11
- 3
- 3
- 6
- 3
- 4
- 10
- 5
- 3
- 6
- 3
- 4
- 9
- 3
- 3
- 4
- 6
- 3
- 3
- 12
- 3
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 8
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 8
- 3
- 3
- 4
- 3
- 20
- 17
- 3
- 4
- 4
- 4
- 6
- 4
- 4
- 3
- 4
- 3
- 10
- 3
- 4
- 3
- 9
- 4
- 13
- 5
- 3
- 3
- 4
- 3
- 16
- 5
- 5
- 4
- 18
- 4
- 3
- 4
- 3
- 4
- 4
- 20
- 5
- 6
- 4
- 6
- 5
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 6
- 3
- 12
- 3
- 5
- 6
- 3
- 3
- 3
- 4
- 24
- 5
- 5
- 3
- 10
- 4
- 3
- 4
- 4
- 4
- 4
- 5
- 4
- 3
- 5
- 6
- 7
- 3
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 6
- 4
- 5
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 32
- 3
- 3
- 4
- 9
- 4
- 3
- 3
- 6
- 3
- 14
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 4
- 9
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 11
- 5
- 7
- 3
- 4
- 4
- 5
- 3
- 3
- 6
- 3
- 4
- 7
- 3
- 3
- 5
- 3
- 13
- 4
- 3
- 3
- 3
- 3
- 4
- 6
- 4
- 16
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 6
- 4
- 11
- 5
- 5
- 3
- 7
- 6
- 3
- 5
- 3
- 3
- 6
- 7
- 3
- 4
- 6
- 4
- 4
- 7
- 8
- 4
- 3
- 7
- 9
- 3
- 3
- 4
- 3
- 8
- 6
- 3
- 4
- 9
- 3
- 3
- 3
- 4
- 6
- 5
- 4
- 18
- 4
- 11
- 5
- 4
- 3
- 5
- 5
- 5
- 4
- 4
- 4
- 7
- 4
- 4
- 4
- 4
- 3
- 4
- 3
- 7
- 6
- 12
- 5
- 10
- 3
- 8
- 5
- 4
- 5
- 6
- 5
- 4
- 10
- 3
- 3
- 3
- 4
- 8
- 4
- 5
- 52
- 3
- 4
- 14
- 4
- 7
- 3
- 5
- 8
- 3
- 9
- 3
- 3
- 4
- 3
- 7
- 7
- 12
- 6
- 13
- 4
- 6
- 3
- 3
- 24
- 5
- 7
- 4
- 3
- 7
- 3
- 12
- 26
- 4
- 3
- 4
- 4
- 7
- 9
- 5
- 4
- 15
- 7
- 3
- 5
- 3
- 3
- 5
- 3
- 11
- 22
- 5
- 4
- 4
- 3
- 3
- 18
- 10
- 6
- 7
- 3
- 7
- 3
- 7
- 3
- 4
- 13
- 4
- 11
- 8
- 24
- 3
- 9
- 3
- 5
- 4
- 4
- 5
- 4
- 7
- 4
- 11
- 3
- 4
- 5
- 8
- 4
- 5
- 11
- 6
- 4
- 7
- 4
- 5
- 4
- 4
- 8
- 4
- 4
- 3
- 4
- 17
- 10
- 4
- 4
- 3
- 5
- 5
- 3
- 5
- 5
- 3
- 9
- 3
- 3
- 4
- 5
- 9
- 9
- 4
- 8
- 5
- 13
- 3
- 6
- 4
- 11
- 7
- 4
- 3
- 9
- 15
- 11
- 4
- 3
- 4
- 4
- 5
- 8
- 7
- 4
- 6
- 7
- 3
- 5
- 5
- 7
- 8
- 4
- 4
- 3
- 5
- 19
- 6
- 9
- 5
- 4
- 4
- 3
- 3
- 16
- 4
- 4
- 4
- 21
- 3
- 3
- 3
- 6
- 5
- 4
- 5
- 4
- 3
- 7
- 6
- 10
- 9
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 8
- 7
- 4
- 3
- 4
- 4
- 3
- 3
- 15
- 6
- 4
- 3
- 21
- 30
- 10
- 7
- 7
- 3
- 23
- 6
- 9
- 17
- 3
- 4
- 4
- 3
- 7
- 8
- 6
- 29
- 5
- 4
- 5
- 3
- 4
- 4
- 4
- 4
- 9
- 19
- 3
- 3
- 5
- 3
- 3
- 6
- 29
- 3
- 7
- 4
- 8
- 10
- 4
- 5
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 6
- 10
- 5
- 7
- 3
- 6
- 3
- 10
- 3
- 4
- 6
- 4
- 14
- 8
- 8
- 13
- 4
- 7
- 9
- 5
- 7
- 4
- 5
- 3
- 5
- 9
- 3
- 4
- 4
- 3
- 5
- 5
- 13
- 4
- 14
- 6
- 8
- 4
- 8
- 19
- 3
- 4
- 4
- 9
- 17
- 5
- 6
- 6
- 3
- 7
- 4
- 9
- 7
- 8
- 3
- 18
- 3
- 4
- 7
- 3
- 11
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 4
- 7
- 9
- 5
- Verlag
-
- 1
- 8
- 5
- 1
- 22
- 28
- 365
- 5
- 4
- 10
- 1
- 6
- 4
- 25
- 2
- 1
- 2
- 1
- 12
- 5
- 3
- 1
- 3
- 42
- 1
- 1
- 80
- 5
- 4
- 472
- 621
- 15
- 1
- 5
- 1
- 16
- 96
- 1
- 3
- 6
- 4
- 5
- 37
- 27
- 5
- 1
- 25
- 1
- 3
- 13
- 4
- 1
- 50
- 3
- 1
- 1
- 26
- 1
- 4
- 1
- 27
- 1
- 1
- 1
- 30
- 2
- 1
- 2
- 3
- 25
- 1
- 9
- 6
- 3
- 1
- 2
- 25
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 5
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 22
- 8
- 5
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 13
- 2
- 1529
- 1468
- 12
- 1379
- 5
- 2
- 1
- 285
- 313
- 109
- 1
- 2
- 357
- 22
- 2
- 31
- 1
- 1
- 1
- 1
- 241
- 42
- 377
- 99
- 6
- 1
- 1
- 24
- 1
- 1
- 2
- 1
- 6
- 1
- 86
- 1
- 2
- 1
- 1
- 157
- 3
- 13
- 1
- 1
- 22
- 23
- 1
- 1
- 2
- 2
- Preis
-
- 178
- 1429
- 4424
- 2957
- Sprachen
-
- 8149
- 845
- 3
- Verfügbarkeit
-
- 8749
- 239
- Eigenschaften
-
- 7
- Katalog
-
- 8988
- 1499
-
Peña / Gupta Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-14124-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Martí-Oliet / Braga Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-15074-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pelliccione / Fantechi Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23128-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Virvou / Oikonomou / Kumeno Knowledge-Based Software Engineering: 2018
Proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-319-97678-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Larrucea / Messnarz / Santamaria Systems, Software and Services Process Improvement
25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-97924-3Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lohstroh / Sirjani / Derler Principles of Modeling
Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-95245-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zuck / Mukhopadhyay / Attie Verification, Model Checking, and Abstract Interpretation
4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00348-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Manolopoulos / Kakas / Evripidou Advances in Informatics
8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-07544-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Trinder / Cano Euro-Par 2022: Parallel Processing
28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22¿26, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-12596-6Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Marrone / De Sanctis / Kocsis Dependable Computing ¿ EDCC 2022 Workshops
SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-16244-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Combemale / Vinju / Pearce Software Language Engineering
7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11244-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yoong / Kuo / Roop Model-Driven Design Using IEC 61499
A Synchronous Approach for Embedded and Automation Systems2015Verlag: Springer International PublishingISBN: 978-3-319-10520-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pang / Merz Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Idani / Canal Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15200-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Madelaine / Lanese Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15316-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Piessens / Bielova / Caballero Engineering Secure Software and Systems
7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-15617-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gebali Analysis of Computer Networks
2. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-15656-9Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cockton / Cajander / Lárusdóttir Integrating User-Centred Design in Agile Development
1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-32163-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Haverkort / Remke Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-31558-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Butler / Biro / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hildebrandt / Weidlich / Ravara Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wyrzykowski / Karczewski / Dongarra Parallel Processing and Applied Mathematics
12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-78023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wyrzykowski / Karczewski / Dongarra Parallel Processing and Applied Mathematics
12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-78053-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rehman / Henkel / Shafique Reliable Software for Unreliable Hardware
A Cross Layer PerspectiveSoftcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-79838-7Medium: 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