Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2290
- 5
- Erscheinungsjahr
-
- 1
- 3
- 3
- 8
- 1
- 3
- 2
- 5
- 11
- 24
- 8
- 14
- 13
- 174
- 61
- 118
- 209
- 170
- 204
- 178
- 175
- 145
- 118
- 102
- 80
- 73
- 49
- 69
- 50
- 42
- 43
- 21
- 40
- 25
- 18
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 4
- 2
- 4
- 2
- 3
- 8
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 15
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 5
- 2
- 3
- 2
- 6
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 18
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 3
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 5
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 6
- 2
- 3
- 2
- 6
- 3
- 5
- 6
- 2
- 6
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 13
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 5
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 9
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 7
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 9
- 4
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 6
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 3
- 4
- 2
- Verlag
-
- 2
- 94
- 2
- 1
- 2
- 9
- 4
- 1
- 3
- 6
- 3
- 1
- 5
- 4
- 1
- 4
- 4
- 10
- 2
- 1
- 3
- 1
- 3
- 1
- 3
- 1
- 21
- 1
- 1
- 3
- 13
- 1
- 5
- 514
- 1244
- 8
- 1
- 11
- 71
- 3
- 146
- 7
- 21
- 3
- 1
- 2
- 18
- 1
- 19
- 1
- 4
- 1
- 1
- 2
- Preis
-
- 17
- 149
- 1367
- 762
- Sprachen
-
- 2155
- 140
- 1
- Verfügbarkeit
-
- 2279
- 16
- Katalog
-
- 2295
- 274
-
Tison / Reichel STACS 2000
17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67141-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lemoine / Nierstrasz Software Engineering - ESEC/FSE '99
7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66538-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II1999Verlag: SpringerISBN: 978-3-540-66588-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pavelka / Bartosek / Tel SOFSEM'99: Theory and Practice of Informatics
26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66694-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pandu Rangan / Raman / Ramanujam Foundations of Software Technology and Theoretical Computer Science
19th Conference, Chennai, India, December 13-15, 1999 Proceedings1999Verlag: SpringerISBN: 978-3-540-66836-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Valk / van Hee Applications and Theory of Petri Nets
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68745-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maibaum / Cuellar FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Madria / Claypool / Gore Distributed Computing and Internet Technology
Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 20062006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68379-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reed / Gotzhein System Analysis and Modeling: Language Profiles
5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68371-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lanza / Marinescu Object-Oriented Metrics in Practice
Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented SystemsSoftcover Nachdruck of hardcover 1. Auflage 2006Verlag: SpringerISBN: 978-3-642-06374-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu Formal Engineering for Industrial Software Development
Using the SOFL MethodSoftcover Nachdruck of hardcover 1. Auflage 2004Verlag: SpringerISBN: 978-3-642-05827-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Caromel / Henrio A Theory of Distributed Objects
Asynchrony - Mobility - Groups - Components1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-3-642-05884-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Beliakov / Calvo / Pradera Aggregation Functions: A Guide for Practitioners
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: SpringerISBN: 978-3-642-09289-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fokkink Modelling Distributed Systems
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: SpringerISBN: 978-3-642-09321-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Daniels Achieving Safety and Reliability with Computer Systems
1987Verlag: Springer NetherlandsISBN: 978-1-85166-167-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bubak / Dongarra / Albada Computational Science - ICCS 2004
4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22114-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Berghammer / Struth / Möller Relational and Kleene-Algebraic Methods in Computer Science
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22145-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baier / Haverkort / Siegle Validation of Stochastic Systems
A Guide to Current Research2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22265-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boiten / Smith / Derrick Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21377-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gruhn / Beydeda Testing Commercial-off-the-Shelf Components and Systems
2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21871-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Scholz / Fahringer Advanced Symbolic Analysis for Compilers
New Techniques and Algorithms for Symbolic Program Analysis and Optimization2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-01185-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / Baaz Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00010-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardi / Peled Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Swart Relational Methods in Computer Science
6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16¿21, 2001 Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00315-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jürjens Secure Systems Development with UML
2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00701-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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