Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10642
- 2705
- Erscheinungsjahr
-
- 160
- 1009
- 1064
- 796
- 665
- 388
- 408
- 429
- 440
- 431
- 445
- 420
- 391
- 438
- 443
- 405
- 409
- 267
- 250
- 279
- 281
- 226
- 474
- 583
- 264
- 258
- 181
- 178
- 144
- 142
- 138
- 120
- 111
- 100
- 73
- 86
- 60
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 7
- 7
- 8
- 10
- 9
- 12
- 10
- 10
- 6
- 14
- 9
- 17
- 7
- 26
- 12
- 7
- 9
- 11
- 7
- 8
- 6
- 13
- 38
- 52
- 8
- 63
- 8
- 10
- 16
- 19
- 12
- 7
- 50
- 8
- 7
- 6
- 7
- 6
- 9
- 6
- 17
- 7
- 8
- 7
- 7
- 7
- 7
- 8
- 6
- 12
- 6
- 22
- 8
- 21
- 9
- 9
- 9
- 6
- 28
- 9
- 9
- 7
- 58
- 8
- 19
- 18
- 9
- 16
- 10
- 7
- 7
- 6
- 8
- 6
- 9
- 12
- 7
- 8
- 12
- 6
- 15
- 19
- 10
- 21
- 9
- 7
- 8
- 50
- 14
- 7
- 11
- 7
- 9
- 19
- 6
- 6
- 14
- 18
- 6
- 6
- 18
- 13
- 10
- 27
- 18
- 7
- 11
- 14
- 6
- 6
- 12
- 8
- 17
- 8
- 49
- 13
- 58
- 10
- 10
- 22
- 19
- 7
- 14
- 8
- 6
- 24
- 12
- 46
- 11
- 15
- 10
- 6
- 6
- 6
- 7
- 17
- 9
- 16
- 6
- 10
- 7
- 50
- 11
- 12
- 9
- 19
- 6
- 6
- 6
- 8
- 17
- 13
- 7
- 8
- 10
- 22
- 12
- 12
- 18
- 10
- 8
- 6
- 11
- 9
- 11
- 22
- 28
- 10
- 10
- 7
- 13
- 7
- 12
- 18
- 6
- 27
- 9
- 6
- 7
- 6
- 6
- 6
- 14
- 6
- 10
- 8
- 7
- 7
- 12
- 6
- 21
- 14
- 10
- 12
- 7
- 46
- 54
- 9
- 31
- 8
- 6
- 15
- 31
- 13
- 7
- 10
- 10
- 21
- 8
- 8
- 9
- 6
- 9
- 6
- 8
- 6
- 36
- 6
- 19
- 59
- 15
- 8
- 6
- 6
- 21
- 8
- 8
- 10
- 9
- 18
- 20
- 7
- 6
- 6
- 12
- 9
- 6
- 11
- 19
- 13
- 6
- 12
- 8
- 13
- 18
- 10
- 12
- 7
- 7
- 11
- 16
- 6
- 7
- 19
- 78
- 6
- 7
- 34
- 9
- 8
- 31
- 7
- 20
- 33
- 10
- 128
- 6
- 8
- 14
- 9
- 8
- 19
- 11
- 6
- 7
- 22
- 15
- 6
- 8
- 6
- 6
- 13
- 7
- 8
- 16
- 10
- 11
- 7
- 6
- 7
- 14
- 6
- 52
- 6
- 7
- 8
- 7
- 6
- 8
- 26
- 13
- 9
- 12
- 26
- 50
- 11
- 10
- 18
- 8
- 13
- 7
- 6
- 7
- 8
- 10
- 7
- 16
- 17
- 8
- 6
- 7
- 14
- 6
- 80
- 8
- 10
- 9
- 10
- 8
- 6
- 9
- 8
- 17
- 6
- 14
- 7
- 10
- 13
- 34
- 6
- 6
- 17
- 7
- 10
- 6
- 6
- 6
- 19
- 7
- 19
- 12
- 6
- 6
- 13
- 10
- 7
- 15
- 6
- 10
- 7
- 13
- 6
- 18
- 7
- 6
- 11
- 8
- 6
- 10
- 8
- 18
- 6
- 8
- 11
- 9
- 7
- 6
- 39
- 8
- 9
- 8
- 6
- 7
- 27
- 8
- 9
- 6
- 22
- 47
- 6
- 7
- 13
- 16
- 17
- 6
- 7
- 10
- 40
- 6
- 6
- 13
- 6
- 7
- 8
- 6
- 10
- 10
- 21
- 6
- 10
- 19
- 7
- 22
- 42
- 20
- 15
- 7
- 25
- 7
- 9
- 8
- 19
- 10
- 9
- 37
- 16
- 40
- 50
- 7
- 7
- 7
- 6
- 8
- 7
- 21
- 6
- 8
- 17
- 6
- 12
- 8
- 7
- 9
- 10
- 7
- 11
- 7
- 17
- 6
- 90
- 30
- 30
- 19
- 6
- 6
- 21
- 7
- 7
- 7
- 11
- 20
- 9
- 9
- 7
- 13
- 19
- 18
- 6
- 6
- 7
- 8
- 13
- 16
- 18
- 8
- 24
- 6
- 21
- 9
- 6
- 24
- 10
- 83
- 13
- 7
- 22
- 8
- 6
- 8
- 19
- 25
- 7
- 7
- 8
- 6
- 15
- 7
- 7
- 7
- 9
- 6
- 15
- 10
- 7
- 9
- 31
- 10
- 6
- 7
- 13
- 14
- 15
- 21
- 14
- 16
- 15
- 25
- 7
- 6
- 8
- 11
- 6
- 16
- 11
- 6
- 11
- 38
- 11
- 11
- 41
- 32
- 7
- 6
- 6
- 9
- 6
- 11
- 11
- 11
- 28
- 10
- 8
- 6
- 13
- 7
- 7
- 6
- 6
- 6
- 9
- 20
- 11
- 6
- 8
- 12
- 11
- 9
- 11
- 9
- 8
- 16
- 7
- 6
- 10
- 7
- 53
- 8
- 10
- 8
- 8
- 7
- 10
- 6
- 10
- 25
- 7
- 7
- 7
- 11
- 10
- 10
- 6
- 8
- 8
- 10
- 119
- 7
- 14
- 6
- 7
- 6
- 18
- 8
- 13
- 12
- 6
- 6
- 12
- 58
- 21
- 20
- 9
- 8
- 11
- 6
- 10
- 11
- 7
- 10
- 10
- 6
- 8
- 7
- 8
- 15
- 8
- 7
- 7
- 11
- 7
- 6
- 13
- 60
- 11
- 8
- 8
- 18
- 9
- 8
- 6
- 23
- 6
- 10
- 8
- 13
- 18
- 22
- 17
- 8
- 19
- 10
- 6
- 11
- 7
- 36
- 14
- 11
- 7
- 13
- 11
- 8
- 21
- 19
- 10
- 17
- 8
- 11
- 6
- 14
- 6
- 11
- 21
- 8
- 15
- 8
- 9
- 6
- 19
- 6
- 9
- 27
- 10
- 12
- 12
- 9
- 8
- 10
- 17
- 11
- 6
- 12
- 7
- 11
- 22
- 10
- 13
- 10
- 7
- 10
- 15
- 33
- 16
- 9
- 6
- 9
- 10
- 23
- 7
- 8
- 11
- 13
- 7
- 7
- 120
- 7
- 9
- 11
- 8
- 35
- 13
- 14
- 7
- 20
- 13
- 9
- 8
- 10
- 14
- 24
- 7
- 6
- 122
- 6
- 55
- 13
- 11
- 10
- 6
- 117
- 27
- 7
- 19
- 16
- 7
- 16
- 11
- 15
- 16
- 10
- 7
- 7
- 10
- 6
- 6
- 11
- 117
- 7
- 6
- 8
- 12
- 25
- 6
- 13
- 18
- 6
- 11
- 21
- 18
- 6
- 13
- 10
- 6
- 8
- 7
- 14
- 13
- 12
- 32
- 17
- 9
- 7
- 17
- 6
- 9
- 6
- 19
- 11
- 6
- 33
- 7
- 6
- 7
- 7
- 7
- 15
- 11
- 11
- 10
- 10
- 6
- 15
- 10
- 18
- 50
- 13
- 9
- 9
- 10
- 21
- 12
- 8
- 14
- 10
- 6
- 16
- 14
- 8
- 8
- 8
- 6
- 10
- 13
- 6
- 50
- 8
- 50
- 7
- 16
- 8
- 11
- 8
- 15
- 15
- 6
- 9
- 7
- 22
- 6
- 7
- 7
- 9
- 18
- 10
- 18
- 18
- 31
- 7
- 6
- 6
- 18
- 26
- 14
- 15
- 32
- 81
- 14
- 19
- 29
- 11
- 11
- 8
- 7
- 9
- 19
- 24
- 20
- 6
- 7
- 12
- 77
- 27
- 17
- 6
- 8
- 12
- 16
- 20
- 16
- 9
- 17
- 12
- 17
- 7
- 6
- 16
- 10
- 8
- 16
- 15
- 10
- 12
- 13
- 7
- 117
- 6
- 12
- 6
- 13
- 17
- 9
- 6
- 6
- 9
- 6
- 9
- 19
- 18
- 9
- 8
- 42
- 8
- 11
- 6
- 7
- 17
- 15
- 6
- 9
- 15
- 23
- 11
- 12
- 25
- 12
- 7
- 9
- 20
- 7
- 18
- 6
- 14
- 11
- 8
- 9
- 7
- 6
- 6
- 11
- 6
- 10
- 26
- 11
- 18
- 8
- 14
- 6
- 6
- 10
- 9
- 7
- 11
- 7
- 11
- 12
- 10
- 24
- 7
- 8
- 12
- 21
- 9
- 8
- 7
- 8
- 34
- 13
- 7
- 19
- 26
- 15
- 9
- 9
- 16
- 9
- 10
- 24
- 10
- 9
- 60
- 15
- 7
- 8
- 37
- 7
- 10
- 9
- 52
- 20
- 82
- 25
- 7
- 9
- 7
- 7
- 41
- 7
- 11
- 25
- 23
- 21
- 13
- 11
- 11
- 17
- 7
- 19
- 9
- 8
- 28
- Verlag
-
- 2
- 11570
- 40
- 1553
- 1
- 16
- 4
- 2
- 114
- 1
- 1
- 43
- Preis
-
- 47
- 481
- 10560
- 2259
- Sprachen
-
- 13339
- 20
- 15
- Verfügbarkeit
-
- 13315
- 32
- Eigenschaften
-
- 7
- Katalog
-
- 13347
- 570
-
Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König-Ries / Makki / Pissinou Developing an Infrastructure for Mobile and Wireless Systems
NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00289-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liskov / Atkinson / Bloom CLU
Reference Manual1. Auflage 1981Verlag: SpringerISBN: 978-3-540-10836-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kozen Logics of Programs
Workshop, Yorktown Heights, NY, USA1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11212-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yao / Kunii Data Base Design Techniques II
Physical Structures and Applications. Proceedings, Tokyo, November 19791. Auflage 1982Verlag: SpringerISBN: 978-3-540-11215-0Medium: Buch21,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage21,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Milner A Calculus of Communicating Systems
1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10235-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thayse Boolean Calculus of Differences
1. Auflage 1981Verlag: SpringerISBN: 978-3-540-10286-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Harel First-Order Dynamic Logic
1. Auflage 1979Verlag: SpringerISBN: 978-3-540-09237-7Medium: Buch10,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage10,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blum / Paul / Takasu Mathematical Studies of Information Processing
Proceedings of the International Conference, Kyoto, Japan, August 23-26, 19781. Auflage 1979Verlag: SpringerISBN: 978-3-540-09541-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ershov / Koster Methods of Algorithmic Language Implementation
1. Auflage 1977Verlag: SpringerISBN: 978-3-540-08065-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Westfechtel / van der Hoek Software Configuration Management
ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-14036-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alford / Ansart / Paul Distributed Systems
Methods and Tools for Specification. An Advanced Course1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15216-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barringer A Survey of Verification Techniques for Parallel Programs
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15239-2Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Händler / Haupt / Jelitsch CONPAR 86
Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16811-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robert / Parashar / Badrinath High Performance Computing - HiPC 2006
13th International Conference Bangalore, India, December 18-21, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68039-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palamidessi CONCUR 2000 - Concurrency Theory
11th International Conference, University Park, PA, USA, August 22-25, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67897-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuellar / Maibaum FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robshaw / Billet New Stream Cipher Designs
The eSTREAM Finalists1. Auflage 2008Verlag: SpringerISBN: 978-3-540-68350-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gotzhein / Reed System Analysis and Modeling: Language Profiles
5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68371-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dalkilic / Kim / Yang Data Mining and Bioinformatics
First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68970-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fossorier / Hoeholdt / Poli Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40111-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40325-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aalst / Best Applications and Theory of Petri Nets 2003
24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40334-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Herman Self-Stabilizing Systems
6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40453-8Medium: 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