Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10644
- 2703
- Erscheinungsjahr
-
- 161
- 1010
- 1054
- 802
- 668
- 400
- 400
- 425
- 407
- 429
- 437
- 444
- 400
- 446
- 451
- 402
- 416
- 270
- 249
- 271
- 303
- 220
- 475
- 587
- 263
- 254
- 182
- 178
- 133
- 136
- 137
- 119
- 112
- 98
- 75
- 84
- 57
- 60
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 5
- 5
- 7
- 5
- 7
- 5
- 6
- 10
- 9
- 5
- 12
- 11
- 9
- 6
- 5
- 8
- 14
- 10
- 5
- 17
- 7
- 28
- 5
- 12
- 6
- 5
- 9
- 11
- 7
- 8
- 6
- 13
- 36
- 52
- 7
- 61
- 9
- 9
- 6
- 6
- 20
- 20
- 12
- 7
- 51
- 6
- 5
- 7
- 5
- 7
- 6
- 8
- 6
- 7
- 16
- 9
- 7
- 6
- 10
- 6
- 7
- 7
- 8
- 7
- 14
- 6
- 24
- 20
- 10
- 9
- 24
- 9
- 11
- 7
- 58
- 8
- 19
- 15
- 8
- 15
- 12
- 10
- 7
- 7
- 12
- 6
- 7
- 12
- 7
- 8
- 17
- 6
- 14
- 22
- 9
- 21
- 7
- 7
- 8
- 51
- 13
- 8
- 9
- 7
- 7
- 19
- 8
- 8
- 15
- 15
- 7
- 18
- 13
- 9
- 27
- 6
- 17
- 6
- 13
- 13
- 6
- 12
- 6
- 17
- 10
- 49
- 14
- 58
- 10
- 10
- 24
- 18
- 7
- 11
- 7
- 10
- 24
- 8
- 48
- 12
- 15
- 9
- 6
- 7
- 6
- 8
- 17
- 12
- 17
- 6
- 10
- 9
- 51
- 11
- 12
- 13
- 20
- 6
- 6
- 7
- 9
- 7
- 16
- 13
- 6
- 8
- 8
- 21
- 12
- 11
- 17
- 9
- 8
- 8
- 6
- 14
- 7
- 22
- 27
- 8
- 11
- 7
- 13
- 6
- 7
- 18
- 27
- 9
- 8
- 6
- 6
- 8
- 14
- 7
- 9
- 7
- 13
- 21
- 14
- 6
- 9
- 13
- 7
- 49
- 55
- 10
- 32
- 6
- 7
- 6
- 20
- 8
- 31
- 16
- 7
- 8
- 9
- 22
- 6
- 8
- 7
- 7
- 6
- 9
- 6
- 36
- 6
- 20
- 60
- 15
- 8
- 6
- 20
- 8
- 7
- 11
- 9
- 15
- 21
- 6
- 12
- 9
- 6
- 7
- 6
- 11
- 18
- 13
- 11
- 8
- 9
- 7
- 17
- 9
- 8
- 6
- 11
- 15
- 6
- 6
- 19
- 77
- 8
- 6
- 36
- 6
- 8
- 36
- 10
- 20
- 35
- 7
- 126
- 6
- 9
- 14
- 9
- 10
- 18
- 10
- 7
- 21
- 17
- 6
- 8
- 12
- 11
- 6
- 11
- 18
- 9
- 8
- 7
- 6
- 7
- 14
- 58
- 6
- 7
- 7
- 9
- 7
- 7
- 8
- 26
- 14
- 9
- 12
- 26
- 51
- 12
- 8
- 10
- 18
- 8
- 13
- 8
- 7
- 8
- 7
- 6
- 9
- 6
- 15
- 17
- 7
- 6
- 7
- 10
- 13
- 79
- 8
- 10
- 12
- 9
- 6
- 10
- 6
- 17
- 7
- 14
- 7
- 13
- 9
- 31
- 9
- 14
- 6
- 10
- 6
- 7
- 11
- 6
- 6
- 21
- 7
- 20
- 10
- 6
- 13
- 8
- 6
- 15
- 9
- 9
- 12
- 6
- 17
- 7
- 6
- 6
- 6
- 10
- 6
- 10
- 17
- 9
- 11
- 9
- 9
- 40
- 6
- 11
- 6
- 8
- 6
- 10
- 30
- 8
- 10
- 24
- 46
- 6
- 6
- 9
- 13
- 16
- 17
- 7
- 10
- 39
- 6
- 14
- 6
- 7
- 10
- 6
- 6
- 7
- 7
- 10
- 20
- 6
- 8
- 22
- 6
- 25
- 42
- 6
- 22
- 13
- 8
- 29
- 6
- 6
- 8
- 14
- 10
- 6
- 38
- 16
- 43
- 51
- 6
- 7
- 10
- 6
- 7
- 6
- 10
- 8
- 21
- 11
- 8
- 7
- 17
- 6
- 12
- 7
- 8
- 6
- 11
- 10
- 6
- 8
- 17
- 6
- 7
- 90
- 30
- 30
- 19
- 6
- 6
- 21
- 7
- 7
- 12
- 21
- 9
- 9
- 7
- 10
- 16
- 18
- 6
- 9
- 7
- 11
- 14
- 19
- 7
- 24
- 6
- 21
- 9
- 25
- 7
- 14
- 84
- 12
- 8
- 24
- 8
- 6
- 16
- 26
- 7
- 11
- 8
- 14
- 7
- 8
- 6
- 18
- 10
- 6
- 8
- 31
- 10
- 7
- 16
- 13
- 15
- 6
- 22
- 19
- 17
- 15
- 25
- 6
- 7
- 11
- 9
- 7
- 7
- 15
- 11
- 12
- 36
- 8
- 11
- 41
- 35
- 8
- 6
- 9
- 7
- 11
- 9
- 9
- 29
- 10
- 7
- 7
- 7
- 7
- 12
- 9
- 6
- 8
- 9
- 13
- 7
- 24
- 9
- 6
- 7
- 6
- 10
- 12
- 8
- 12
- 8
- 8
- 16
- 6
- 6
- 13
- 7
- 51
- 8
- 12
- 7
- 7
- 13
- 7
- 7
- 24
- 8
- 7
- 7
- 6
- 11
- 9
- 7
- 7
- 10
- 8
- 118
- 15
- 7
- 7
- 9
- 17
- 8
- 10
- 13
- 6
- 9
- 12
- 58
- 27
- 21
- 8
- 8
- 10
- 10
- 7
- 7
- 8
- 10
- 6
- 9
- 8
- 8
- 14
- 8
- 7
- 10
- 6
- 6
- 8
- 6
- 12
- 61
- 10
- 8
- 6
- 19
- 10
- 12
- 6
- 22
- 14
- 7
- 13
- 7
- 19
- 21
- 17
- 10
- 22
- 11
- 6
- 11
- 10
- 35
- 16
- 11
- 7
- 17
- 9
- 6
- 8
- 21
- 16
- 8
- 15
- 14
- 7
- 10
- 10
- 12
- 17
- 8
- 17
- 8
- 8
- 18
- 6
- 9
- 27
- 9
- 8
- 12
- 6
- 15
- 7
- 8
- 13
- 17
- 13
- 6
- 11
- 7
- 7
- 11
- 23
- 8
- 12
- 11
- 6
- 7
- 10
- 15
- 32
- 15
- 8
- 9
- 10
- 25
- 7
- 8
- 11
- 13
- 7
- 120
- 7
- 9
- 6
- 10
- 9
- 34
- 14
- 14
- 7
- 24
- 10
- 9
- 11
- 14
- 14
- 26
- 8
- 121
- 6
- 61
- 13
- 12
- 11
- 117
- 29
- 7
- 19
- 6
- 16
- 7
- 17
- 11
- 20
- 14
- 10
- 6
- 7
- 10
- 6
- 6
- 10
- 117
- 7
- 6
- 8
- 15
- 27
- 6
- 9
- 18
- 7
- 11
- 23
- 17
- 13
- 9
- 9
- 8
- 7
- 15
- 7
- 13
- 32
- 15
- 7
- 7
- 15
- 6
- 7
- 6
- 7
- 19
- 10
- 33
- 6
- 6
- 6
- 8
- 11
- 15
- 11
- 8
- 10
- 11
- 6
- 12
- 9
- 17
- 50
- 14
- 9
- 9
- 11
- 23
- 12
- 6
- 15
- 8
- 16
- 15
- 9
- 6
- 8
- 12
- 14
- 7
- 51
- 8
- 47
- 7
- 14
- 8
- 12
- 9
- 13
- 15
- 6
- 9
- 7
- 23
- 9
- 8
- 7
- 6
- 9
- 17
- 10
- 15
- 19
- 34
- 7
- 6
- 6
- 18
- 30
- 14
- 17
- 32
- 80
- 14
- 21
- 25
- 11
- 11
- 8
- 11
- 20
- 24
- 21
- 7
- 9
- 11
- 77
- 27
- 17
- 6
- 9
- 10
- 17
- 19
- 15
- 6
- 17
- 9
- 17
- 7
- 6
- 14
- 10
- 7
- 6
- 16
- 16
- 10
- 13
- 14
- 117
- 6
- 12
- 13
- 6
- 17
- 7
- 7
- 6
- 9
- 15
- 16
- 9
- 9
- 46
- 8
- 11
- 6
- 13
- 8
- 16
- 6
- 9
- 15
- 21
- 11
- 12
- 24
- 12
- 7
- 7
- 21
- 7
- 23
- 8
- 14
- 8
- 8
- 9
- 9
- 7
- 7
- 10
- 8
- 9
- 30
- 10
- 17
- 8
- 14
- 7
- 10
- 9
- 7
- 14
- 7
- 14
- 6
- 15
- 10
- 24
- 7
- 7
- 14
- 19
- 9
- 6
- 33
- 12
- 7
- 19
- 7
- 28
- 15
- 8
- 7
- 15
- 10
- 9
- 24
- 7
- 7
- 9
- 6
- 63
- 15
- 7
- 7
- 6
- 31
- 10
- 53
- 19
- 6
- 84
- 22
- 6
- 6
- 10
- 9
- 40
- 11
- 6
- 24
- 25
- 21
- 11
- 13
- 14
- 6
- 18
- 17
- 6
- 7
- 6
- 29
- Verlag
-
- 2
- 11571
- 40
- 1552
- 16
- 4
- 3
- 114
- 1
- 1
- 43
- Preis
-
- 47
- 487
- 10536
- 2277
- Sprachen
-
- 13339
- 20
- 15
- Verfügbarkeit
-
- 13315
- 32
- Eigenschaften
-
- 7
- Katalog
-
- 13347
- 559
-
Zhu / Li / Castiglione Algorithms and Architectures for Parallel Processing
24th International Conference, ICA3PP 2024, Macau, China, October 29–31, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: Springer SingaporeISBN: 978-981-961528-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar -
Gramlich Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29051-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Veanes / Vigano Tests and Proofs
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38915-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-08165-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services
20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-81225-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Presutti / Blomqvist / Troncy The Semantic Web: ESWC 2014 Satellite Events
ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11954-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salem / Shaalan / Oroumchian Information Retrieval Technology
7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25630-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Ludwig / Toumani Service-Oriented Computing
10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34320-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Anderson / Stajano / Christianson Security Protocols XXVII
27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57042-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66499-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giorgini / Weber Advanced Information Systems Engineering
31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-21289-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21299-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katwijk Ada: Moving Towards 2000
11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55585-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhao / Yang / Wang Web Information Systems and Applications
19th International Conference, WISA 2022, Dalian, China, September 16-18, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-20308-4Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nieuwenhuis Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sakallah / Simon Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21580-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peltier / Sofronie-Stokkermans Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-51053-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-981-99-8663-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akiyama / Kano / Urabe Discrete and Computational Geometry
Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67181-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Groote / Nederhof Formal Grammar
15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 20111. Auflage 2012Verlag: SpringerISBN: 978-3-642-32023-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gilroy / Harrison Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34145-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Günther Mobile Communications - Advanced Systems and Components
1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57856-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing
20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85260-5Medium: 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