Ergebnisse filtern
- Fachgebiet
- Medium
-
- 11385
- 2633
- Erscheinungsjahr
-
- 111
- 977
- 1019
- 1057
- 785
- 654
- 394
- 421
- 438
- 418
- 401
- 432
- 445
- 417
- 459
- 413
- 413
- 365
- 244
- 233
- 257
- 267
- 247
- 433
- 483
- 255
- 259
- 179
- 180
- 145
- 143
- 138
- 123
- 114
- 95
- 74
- 86
- 56
- 58
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 4
- Autoren
-
- 6
- 9
- 7
- 10
- 31
- 13
- 11
- 6
- 6
- 10
- 7
- 23
- 8
- 26
- 7
- 7
- 6
- 9
- 8
- 8
- 6
- 15
- 6
- 40
- 44
- 58
- 7
- 6
- 8
- 6
- 20
- 8
- 25
- 14
- 7
- 7
- 8
- 58
- 17
- 6
- 6
- 6
- 6
- 7
- 6
- 6
- 15
- 8
- 49
- 6
- 10
- 32
- 10
- 12
- 11
- 11
- 8
- 6
- 13
- 7
- 10
- 27
- 6
- 8
- 22
- 10
- 11
- 10
- 31
- 17
- 10
- 6
- 48
- 9
- 27
- 22
- 7
- 10
- 13
- 9
- 8
- 10
- 6
- 8
- 8
- 7
- 11
- 18
- 12
- 15
- 11
- 8
- 15
- 6
- 7
- 11
- 58
- 25
- 7
- 6
- 6
- 8
- 6
- 19
- 12
- 8
- 7
- 16
- 10
- 9
- 15
- 10
- 9
- 8
- 31
- 6
- 18
- 6
- 10
- 10
- 6
- 6
- 17
- 9
- 6
- 8
- 7
- 16
- 6
- 7
- 41
- 18
- 48
- 15
- 11
- 20
- 24
- 15
- 53
- 15
- 46
- 10
- 17
- 8
- 6
- 7
- 8
- 6
- 13
- 12
- 6
- 16
- 7
- 16
- 6
- 58
- 6
- 10
- 13
- 16
- 12
- 10
- 6
- 9
- 7
- 11
- 16
- 15
- 6
- 7
- 6
- 7
- 9
- 21
- 8
- 8
- 20
- 8
- 10
- 9
- 10
- 7
- 32
- 30
- 19
- 32
- 9
- 13
- 7
- 10
- 9
- 6
- 10
- 6
- 24
- 12
- 31
- 7
- 7
- 8
- 7
- 6
- 10
- 6
- 6
- 12
- 6
- 11
- 8
- 8
- 7
- 6
- 11
- 28
- 15
- 7
- 14
- 12
- 8
- 10
- 46
- 48
- 9
- 53
- 12
- 13
- 12
- 10
- 8
- 43
- 17
- 6
- 7
- 12
- 6
- 6
- 6
- 6
- 7
- 19
- 6
- 6
- 13
- 6
- 10
- 7
- 12
- 29
- 19
- 62
- 97
- 13
- 7
- 6
- 21
- 10
- 13
- 8
- 8
- 16
- 6
- 18
- 6
- 11
- 13
- 9
- 7
- 11
- 8
- 7
- 11
- 10
- 27
- 24
- 8
- 7
- 9
- 12
- 6
- 19
- 14
- 6
- 19
- 23
- 77
- 49
- 10
- 11
- 26
- 13
- 25
- 34
- 131
- 6
- 16
- 11
- 6
- 11
- 22
- 7
- 15
- 13
- 7
- 6
- 24
- 14
- 6
- 6
- 14
- 7
- 7
- 11
- 22
- 6
- 11
- 6
- 7
- 6
- 6
- 7
- 8
- 13
- 6
- 7
- 52
- 6
- 16
- 11
- 7
- 9
- 10
- 20
- 7
- 12
- 10
- 29
- 58
- 9
- 9
- 7
- 14
- 21
- 6
- 11
- 11
- 6
- 8
- 6
- 11
- 21
- 14
- 9
- 22
- 7
- 7
- 7
- 8
- 6
- 12
- 10
- 124
- 6
- 6
- 11
- 8
- 19
- 6
- 6
- 9
- 6
- 7
- 6
- 9
- 22
- 7
- 14
- 6
- 15
- 7
- 25
- 13
- 13
- 12
- 8
- 7
- 14
- 26
- 8
- 17
- 10
- 8
- 12
- 15
- 8
- 6
- 7
- 14
- 6
- 9
- 8
- 6
- 16
- 7
- 6
- 10
- 7
- 6
- 7
- 18
- 6
- 10
- 17
- 7
- 21
- 9
- 8
- 14
- 9
- 45
- 11
- 7
- 11
- 9
- 30
- 7
- 6
- 7
- 22
- 53
- 8
- 7
- 8
- 17
- 22
- 6
- 15
- 40
- 12
- 9
- 11
- 7
- 6
- 7
- 21
- 7
- 7
- 15
- 6
- 22
- 48
- 7
- 20
- 7
- 8
- 19
- 9
- 7
- 6
- 21
- 9
- 7
- 27
- 6
- 97
- 6
- 15
- 30
- 62
- 13
- 6
- 8
- 7
- 7
- 11
- 7
- 9
- 7
- 13
- 6
- 13
- 11
- 8
- 7
- 12
- 14
- 7
- 9
- 7
- 21
- 7
- 116
- 6
- 19
- 8
- 7
- 56
- 8
- 8
- 8
- 16
- 13
- 15
- 8
- 7
- 12
- 19
- 15
- 13
- 9
- 7
- 36
- 7
- 14
- 16
- 23
- 6
- 25
- 6
- 6
- 35
- 8
- 7
- 6
- 10
- 6
- 95
- 14
- 22
- 9
- 7
- 17
- 28
- 10
- 13
- 12
- 9
- 6
- 7
- 12
- 40
- 12
- 12
- 7
- 33
- 7
- 8
- 13
- 16
- 8
- 14
- 10
- 21
- 22
- 19
- 20
- 30
- 10
- 97
- 13
- 13
- 13
- 8
- 35
- 13
- 10
- 11
- 38
- 42
- 6
- 9
- 9
- 15
- 7
- 31
- 6
- 11
- 7
- 9
- 8
- 6
- 8
- 12
- 6
- 15
- 29
- 13
- 14
- 14
- 14
- 13
- 9
- 11
- 17
- 6
- 9
- 8
- 52
- 6
- 16
- 12
- 7
- 7
- 10
- 8
- 7
- 8
- 7
- 10
- 23
- 7
- 13
- 9
- 6
- 7
- 6
- 9
- 8
- 121
- 6
- 7
- 10
- 6
- 7
- 7
- 13
- 19
- 13
- 8
- 7
- 13
- 13
- 7
- 6
- 56
- 12
- 26
- 11
- 13
- 7
- 6
- 20
- 6
- 26
- 7
- 31
- 19
- 6
- 6
- 7
- 12
- 9
- 6
- 7
- 7
- 7
- 18
- 6
- 8
- 12
- 6
- 12
- 6
- 10
- 11
- 57
- 7
- 6
- 22
- 10
- 6
- 49
- 16
- 6
- 6
- 11
- 11
- 15
- 24
- 6
- 21
- 23
- 22
- 9
- 15
- 6
- 7
- 10
- 9
- 32
- 14
- 7
- 15
- 7
- 6
- 8
- 6
- 26
- 7
- 12
- 6
- 20
- 15
- 9
- 7
- 15
- 8
- 17
- 8
- 17
- 10
- 22
- 7
- 11
- 31
- 10
- 11
- 7
- 12
- 10
- 8
- 8
- 48
- 16
- 11
- 8
- 6
- 10
- 6
- 19
- 13
- 9
- 8
- 8
- 9
- 12
- 14
- 37
- 9
- 15
- 10
- 9
- 46
- 7
- 7
- 11
- 10
- 12
- 11
- 7
- 114
- 10
- 6
- 6
- 10
- 7
- 39
- 22
- 6
- 7
- 97
- 8
- 30
- 10
- 9
- 7
- 9
- 17
- 25
- 23
- 7
- 10
- 116
- 53
- 13
- 11
- 16
- 113
- 25
- 7
- 7
- 23
- 11
- 7
- 12
- 7
- 7
- 13
- 18
- 23
- 8
- 7
- 8
- 9
- 7
- 7
- 14
- 114
- 9
- 8
- 24
- 7
- 12
- 15
- 7
- 100
- 13
- 19
- 21
- 7
- 16
- 12
- 7
- 14
- 17
- 9
- 9
- 22
- 21
- 9
- 10
- 13
- 15
- 10
- 19
- 10
- 33
- 9
- 10
- 8
- 12
- 8
- 17
- 13
- 13
- 7
- 19
- 7
- 16
- 25
- 33
- 7
- 8
- 8
- 12
- 25
- 16
- 7
- 10
- 17
- 9
- 7
- 44
- 19
- 8
- 9
- 8
- 10
- 7
- 19
- 10
- 54
- 9
- 63
- 10
- 9
- 14
- 10
- 13
- 13
- 8
- 16
- 30
- 7
- 7
- 7
- 23
- 17
- 19
- 23
- 25
- 12
- 8
- 14
- 30
- 19
- 33
- 83
- 15
- 22
- 28
- 9
- 13
- 8
- 27
- 7
- 22
- 19
- 7
- 11
- 9
- 10
- 25
- 15
- 81
- 101
- 7
- 31
- 17
- 11
- 8
- 16
- 18
- 11
- 13
- 20
- 7
- 10
- 7
- 18
- 20
- 19
- 12
- 9
- 113
- 13
- 7
- 24
- 11
- 23
- 13
- 7
- 11
- 10
- 12
- 10
- 36
- 11
- 7
- 12
- 7
- 12
- 27
- 9
- 10
- 45
- 9
- 18
- 7
- 21
- 18
- 12
- 8
- 13
- 28
- 14
- 15
- 12
- 12
- 9
- 13
- 10
- 9
- 23
- 15
- 8
- 14
- 10
- 21
- 32
- 12
- 15
- 27
- 23
- 10
- 18
- 12
- 23
- 8
- 60
- 11
- 36
- 30
- 53
- 49
- 80
- 57
- 15
- 8
- 9
- 25
- 39
- 7
- 33
- 24
- 28
- 11
- 9
- 11
- 11
- 22
- Verlag
-
- 7
- 12079
- 23
- 1651
- 2
- 10
- 4
- 35
- 5
- 153
- 1
- 1
- 13
- 34
- Preis
-
- 47
- 519
- 10943
- 2509
- Sprachen
-
- 14010
- 20
- 15
- 1
- Verfügbarkeit
-
- 13717
- 301
- Eigenschaften
-
- 41
- Katalog
-
- 14018
- 593
-
Ait Ameur / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43651-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ito / Halstead / Queinnec Parallel Symbolic Languages and Systems
International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61143-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Železný / Lavrac Inductive Logic Programming
18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85927-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Narendran / Rusinowitch Rewriting Techniques and Applications
10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66201-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bosnacki / Edelkamp Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73369-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Riano Knowledge Management for Health Care Procedures
From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78623-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76648-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Vygen Integer Programming and Combinatorial Optimization
17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07556-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Goodrich / McGeoch Algorithm Engineering and Experimentation
International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66227-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Ramos Formalization of Programming Concepts
International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings1. Auflage 1981Verlag: SpringerISBN: 978-3-540-10699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe Programming Languages and Systems
20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19717-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dehne / Rau-Chaplin / Sack Algorithms and Data Structures
5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63307-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marík / Vrba / Leitão Holonic and Multi-Agent Systems for Manufacturing
5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23180-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Markopoulos / IJsselsteijn / Rowland Fun and Games
Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88321-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arge / Hoffmann / Welzl Algorithms - ESA 2007
15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75519-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ulrich Formal Approaches to Software Testing
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 20031. Auflage 2004Verlag: SpringerISBN: 978-3-540-20894-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Silva Weber / Camargo Jr. Dependable Computing
First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20224-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77418-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geist / Tronci Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20363-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bell / Hong Flexible and Efficient Information Handling
23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35969-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Burgess / Denazis Modelling Autonomic Communications Environments
Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87354-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Holzer / Kutrib / Pighizzini Descriptional Complexity of Formal Systems
13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22599-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hsu / Shi / Salapura Network and Parallel Computing
11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44916-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 20041. Auflage 2004Verlag: SpringerISBN: 978-3-540-23169-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Piloty / Barbacci / Borrione CONLAN Report
1. Auflage 1983Verlag: SpringerISBN: 978-3-540-12275-3Medium: 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