Ergebnisse filtern
- Fachgebiet
- Medium
-
- 8672
- 1009
- 31
- 13
- Erscheinungsjahr
-
- 1
- 42
- 663
- 632
- 484
- 443
- 423
- 428
- 535
- 313
- 458
- 297
- 429
- 380
- 491
- 244
- 502
- 249
- 253
- 259
- 216
- 259
- 220
- 222
- 181
- 157
- 122
- 110
- 95
- 78
- 81
- 71
- 59
- 67
- 39
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 9
- 3
- 4
- 4
- 10
- 4
- 3
- 6
- 5
- 4
- 8
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 5
- 3
- 3
- 3
- 5
- 4
- 4
- 7
- 6
- 10
- 6
- 3
- 9
- 20
- 3
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 9
- 4
- 4
- 4
- 6
- 3
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 18
- 3
- 4
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 12
- 8
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 9
- 4
- 9
- 3
- 3
- 5
- 17
- 3
- 4
- 4
- 11
- 3
- 3
- 3
- 4
- 6
- 3
- 13
- 3
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 8
- 3
- 4
- 9
- 4
- 3
- 10
- 17
- 4
- 5
- 17
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 11
- 7
- 6
- 4
- 12
- 4
- 3
- 4
- 13
- 7
- 4
- 4
- 4
- 3
- 3
- 7
- 4
- 3
- 3
- 17
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 4
- 4
- 5
- 32
- 4
- 3
- 8
- 3
- 5
- 4
- 3
- 7
- 6
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 6
- 3
- 7
- 3
- 6
- 8
- 6
- 10
- 3
- 3
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 4
- 9
- 5
- 3
- 3
- 8
- 8
- 3
- 3
- 12
- 4
- 3
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 5
- 4
- 3
- 6
- 3
- 3
- 3
- 7
- 7
- 3
- 3
- 3
- 9
- 4
- 3
- 3
- 5
- 5
- 4
- 4
- 4
- 3
- 4
- 8
- 6
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 14
- 4
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 13
- 4
- 6
- 9
- 6
- 3
- 8
- 10
- 6
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 4
- 7
- 4
- 3
- 12
- 3
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 3
- 5
- 8
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 27
- 19
- 3
- 4
- 4
- 4
- 8
- 3
- 4
- 4
- 3
- 6
- 3
- 10
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 3
- 4
- 3
- 16
- 6
- 5
- 5
- 3
- 4
- 18
- 3
- 4
- 5
- 3
- 4
- 4
- 20
- 5
- 11
- 3
- 4
- 4
- 6
- 6
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 6
- 3
- 13
- 3
- 6
- 7
- 4
- 3
- 6
- 24
- 6
- 6
- 3
- 11
- 5
- 3
- 5
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 5
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 5
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 11
- 3
- 7
- 3
- 36
- 3
- 4
- 9
- 5
- 3
- 3
- 8
- 3
- 11
- 3
- 3
- 4
- 3
- 6
- 10
- 4
- 4
- 12
- 5
- 5
- 4
- 3
- 3
- 4
- 5
- 7
- 12
- 6
- 5
- 16
- 4
- 4
- 4
- 8
- 4
- 3
- 10
- 6
- 6
- 8
- 8
- 4
- 3
- 3
- 6
- 3
- 3
- 6
- 6
- 4
- 8
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 9
- 8
- 5
- 3
- 7
- 10
- 3
- 3
- 4
- 3
- 8
- 6
- 3
- 4
- 9
- 3
- 3
- 3
- 4
- 7
- 5
- 4
- 18
- 4
- 4
- 4
- 11
- 5
- 4
- 3
- 5
- 5
- 5
- 6
- 3
- 4
- 4
- 4
- 9
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 3
- 8
- 7
- 8
- 12
- 5
- 10
- 3
- 8
- 6
- 10
- 4
- 8
- 6
- 7
- 4
- 10
- 3
- 3
- 3
- 4
- 11
- 5
- 57
- 3
- 4
- 14
- 4
- 7
- 3
- 5
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 3
- 7
- 7
- 14
- 6
- 14
- 4
- 6
- 3
- 3
- 4
- 24
- 6
- 7
- 4
- 3
- 7
- 3
- 12
- 32
- 4
- 3
- 3
- 4
- 4
- 4
- 7
- 9
- 5
- 4
- 15
- 7
- 4
- 5
- 6
- 4
- 3
- 5
- 5
- 3
- 19
- 26
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 18
- 11
- 6
- 4
- 8
- 3
- 7
- 3
- 7
- 3
- 4
- 14
- 3
- 7
- 12
- 8
- 25
- 3
- 8
- 6
- 3
- 4
- 7
- 5
- 4
- 4
- 5
- 4
- 3
- 6
- 7
- 4
- 12
- 3
- 4
- 6
- 8
- 5
- 5
- 11
- 6
- 4
- 7
- 4
- 6
- 6
- 4
- 9
- 4
- 4
- 7
- 5
- 3
- 3
- 3
- 4
- 18
- 10
- 4
- 4
- 3
- 5
- 6
- 3
- 7
- 6
- 3
- 9
- 3
- 5
- 5
- 5
- 10
- 10
- 4
- 8
- 5
- 5
- 13
- 3
- 7
- 4
- 3
- 11
- 7
- 3
- 9
- 16
- 11
- 5
- 3
- 4
- 9
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 3
- 5
- 7
- 3
- 7
- 8
- 4
- 4
- 3
- 7
- 22
- 6
- 9
- 5
- 4
- 4
- 7
- 3
- 3
- 16
- 5
- 4
- 4
- 4
- 22
- 5
- 3
- 3
- 8
- 4
- 5
- 4
- 5
- 4
- 3
- 7
- 6
- 10
- 9
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 8
- 9
- 5
- 7
- 5
- 4
- 4
- 3
- 3
- 15
- 6
- 4
- 3
- 22
- 31
- 12
- 7
- 9
- 12
- 23
- 6
- 6
- 9
- 17
- 3
- 6
- 3
- 4
- 3
- 5
- 7
- 8
- 7
- 37
- 5
- 4
- 5
- 3
- 4
- 3
- 4
- 4
- 4
- 9
- 20
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 8
- 31
- 4
- 7
- 7
- 4
- 8
- 10
- 4
- 8
- 3
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 6
- 11
- 5
- 8
- 3
- 6
- 10
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 14
- 8
- 9
- 13
- 4
- 7
- 3
- 9
- 7
- 7
- 7
- 4
- 5
- 3
- 5
- 11
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 5
- 13
- 14
- 5
- 9
- 4
- 8
- 19
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 7
- 4
- 9
- 7
- 8
- 18
- 6
- 7
- 4
- 12
- 5
- 7
- 4
- 4
- 11
- 4
- 7
- 4
- 7
- 4
- 4
- 6
- 7
- 9
- 5
- Verlag
-
- 2
- 8
- 5
- 1
- 33
- 11
- 383
- 5
- 1
- 18
- 1
- 6
- 4
- 4
- 106
- 2
- 1
- 1
- 12
- 3
- 3
- 3
- 42
- 1
- 1
- 81
- 58
- 4
- 370
- 727
- 15
- 1
- 7
- 1
- 16
- 95
- 3
- 3
- 5
- 46
- 30
- 5
- 1
- 25
- 1
- 1
- 3
- 3
- 13
- 5
- 43
- 4
- 1
- 1
- 3
- 27
- 1
- 4
- 1
- 27
- 1
- 1
- 1
- 5
- 28
- 2
- 1
- 3
- 3
- 25
- 7
- 3
- 2
- 1
- 2
- 26
- 5
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 6
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 8
- 1
- 4
- 24
- 17
- 22
- 1
- 1
- 1
- 2
- 2
- 15
- 2
- 2070
- 1467
- 12
- 1396
- 5
- 2
- 1
- 125
- 399
- 109
- 1
- 85
- 355
- 22
- 1
- 30
- 1
- 1
- 1
- 236
- 39
- 206
- 259
- 1
- 1
- 3
- 24
- 2
- 1
- 5
- 1
- 86
- 1
- 2
- 1
- 161
- 2
- 11
- 1
- 1
- 21
- 33
- 1
- 1
- 2
- 2
- Preis
-
- 256
- 1428
- 4869
- 3172
- Sprachen
-
- 8872
- 860
- 2
- Verfügbarkeit
-
- 9556
- 169
- Eigenschaften
-
- 6
- Katalog
-
- 9725
- 1582
-
Voronkov / Nieuwenhuis Logic for Programming, Artificial Intelligence, and Reasoning
8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42957-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Desel / Colom Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38696-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mirandola / Hofmeister / Gorton Architectures for Adaptive Software Systems
5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02350-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cousot / Martel Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15768-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt Computer Aided Concurrent Integral Design
Softcover Nachdruck of the original 1. Auflage 1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60480-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ramanujam / Sen FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-30495-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever2010Verlag: SpringerISBN: 978-3-642-11511-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voges Computer Safety, Reliability and Security
20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42607-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mounier / Graf Model Checking Software
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21314-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sunderam / Dongarra / van Albada Computational Science -- ICCS 2005
5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26032-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gross Component-Based Software Testing with UML
2005Verlag: SpringerISBN: 978-3-540-20864-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dovier / Pontelli A 25-Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP2010Verlag: SpringerISBN: 978-3-642-14308-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nord Software Product Lines
Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22918-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Slind / Gopalakrishnan / Bunker Theorem Proving in Higher Order Logics
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23017-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt Relations and Kleene Algebra in Computer Science
9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37873-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Guelfi / Buchs Rapid Integration of Software Engineering Techniques
Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers2007Verlag: SpringerISBN: 978-3-540-71875-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boute / Dean Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23611-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kübler / Kaandorp The Algorithmic Beauty of Seaweeds, Sponges and Corals
1. Auflage. Softcover version of original hardcover Auflage 2001Verlag: SpringerISBN: 978-3-642-08720-2Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kittlaus Software Product Management
The ISPMA®-Compliant Study Guide and Handbook2. Auflage 2022Verlag: SpringerISBN: 978-3-662-65118-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Monostori / Vancza / Ali Engineering of Intelligent Systems
14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings2001Verlag: SpringerISBN: 978-3-540-42219-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grunske / Reussner / Plasil Component-Based Software Engineering
13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-13237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Varró / Cortellessa Fundamental Approaches to Software Engineering
16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-37056-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nivat / Scollo / Rattray Algebraic Methodology and Software Technology (AMAST¿93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21¿25 June 1993Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19852-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Prinz / Reed SDL 2005: Model Driven
12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26612-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bowen / Hinchey / Fett ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65070-6Medium: 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