Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9489
- 1446
- 29
- 12
- Erscheinungsjahr
-
- 4
- 171
- 993
- 1229
- 569
- 413
- 351
- 392
- 368
- 425
- 310
- 433
- 290
- 429
- 393
- 504
- 245
- 511
- 231
- 251
- 260
- 222
- 255
- 224
- 220
- 180
- 162
- 120
- 109
- 97
- 79
- 81
- 71
- 59
- 68
- 38
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 6
- 4
- 4
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 3
- 4
- 10
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 8
- 3
- 5
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 7
- 8
- 6
- 10
- 3
- 7
- 3
- 3
- 4
- 3
- 5
- 3
- 9
- 23
- 3
- 15
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 4
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 21
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 3
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 20
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 15
- 3
- 4
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 9
- 4
- 3
- 10
- 18
- 4
- 7
- 16
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 4
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 18
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 5
- 3
- 4
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 12
- 3
- 9
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 9
- 3
- 4
- 10
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 4
- 4
- 3
- 5
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 9
- 5
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 4
- 8
- 6
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 13
- 5
- 7
- 3
- 10
- 6
- 3
- 3
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 3
- 9
- 3
- 3
- 5
- 7
- 14
- 4
- 3
- 16
- 3
- 5
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 3
- 4
- 4
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 10
- 3
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 5
- 4
- 3
- 3
- 18
- 3
- 3
- 4
- 6
- 5
- 4
- 3
- 17
- 5
- 4
- 3
- 3
- 16
- 6
- 11
- 3
- 6
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 12
- 3
- 6
- 6
- 4
- 5
- 25
- 7
- 5
- 9
- 3
- 3
- 4
- 6
- 4
- 3
- 7
- 4
- 3
- 9
- 6
- 8
- 8
- 4
- 38
- 4
- 6
- 10
- 7
- 13
- 4
- 5
- 4
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 5
- 4
- 4
- 5
- 7
- 14
- 5
- 6
- 5
- 18
- 4
- 4
- 4
- 8
- 4
- 10
- 6
- 6
- 8
- 8
- 5
- 6
- 5
- 6
- 8
- 8
- 8
- 4
- 6
- 4
- 5
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 9
- 5
- 5
- 4
- 7
- 4
- 4
- 19
- 5
- 4
- 4
- 4
- 11
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 4
- 9
- 4
- 7
- 4
- 4
- 7
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 7
- 11
- 5
- 4
- 11
- 9
- 7
- 62
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 9
- 5
- 6
- 6
- 12
- 12
- 18
- 6
- 16
- 4
- 6
- 11
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 4
- 4
- 4
- 4
- 4
- 6
- 9
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 5
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 5
- 7
- 7
- 4
- 13
- 7
- 12
- 11
- 4
- 28
- 9
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 17
- 4
- 6
- 8
- 5
- 5
- 13
- 6
- 7
- 4
- 7
- 4
- 6
- 7
- 6
- 4
- 9
- 4
- 4
- 6
- 7
- 4
- 5
- 4
- 21
- 17
- 4
- 4
- 8
- 5
- 7
- 7
- 6
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 7
- 5
- 7
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 20
- 13
- 5
- 4
- 9
- 5
- 5
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 4
- 5
- 7
- 4
- 8
- 5
- 4
- 9
- 8
- 4
- 4
- 7
- 5
- 23
- 6
- 9
- 5
- 4
- 4
- 7
- 15
- 5
- 4
- 4
- 4
- 24
- 5
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 4
- 4
- 5
- 5
- 4
- 8
- 10
- 5
- 7
- 5
- 4
- 4
- 6
- 16
- 6
- 6
- 35
- 44
- 12
- 14
- 9
- 12
- 27
- 6
- 8
- 4
- 9
- 9
- 13
- 6
- 4
- 4
- 5
- 6
- 12
- 7
- 42
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 7
- 6
- 33
- 4
- 6
- 5
- 8
- 10
- 4
- 9
- 10
- 10
- 6
- 12
- 4
- 8
- 5
- 4
- 6
- 11
- 6
- 8
- 6
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 10
- 13
- 4
- 7
- 9
- 8
- 6
- 12
- 4
- 7
- 4
- 5
- 6
- 11
- 4
- 4
- 4
- 4
- 5
- 5
- 15
- 14
- 5
- 11
- 4
- 8
- 19
- 4
- 6
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 9
- 7
- Verlag
-
- 2
- 3
- 8
- 5
- 1
- 3
- 1
- 51
- 6
- 456
- 1
- 3
- 18
- 3
- 8
- 3
- 284
- 2
- 1
- 14
- 4
- 1
- 3
- 3
- 3
- 41
- 1
- 83
- 219
- 4
- 473
- 1143
- 15
- 1
- 1
- 51
- 95
- 1
- 3
- 1
- 4
- 58
- 33
- 1
- 5
- 25
- 1
- 4
- 3
- 14
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 2
- 25
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 1
- 8
- 12
- 2
- 5
- 3
- 26
- 2
- 6
- 1
- 1
- 17
- 2
- 1
- 12
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 20
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 3
- 2
- 15
- 1
- 5
- 28
- 22
- 37
- 1
- 1
- 1
- 2
- 16
- 1
- 5746
- 149
- 2
- 197
- 1
- 2
- 1
- 40
- 9
- 45
- 1
- 127
- 143
- 12
- 23
- 1
- 1
- 1
- 307
- 34
- 116
- 7
- 1
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 1
- 196
- 2
- 11
- 1
- 23
- 37
- 1
- 1
- 2
- 2
- Preis
-
- 352
- 1860
- 5261
- 3503
- Sprachen
-
- 10056
- 931
- 2
- Verfügbarkeit
-
- 10841
- 135
- Eigenschaften
-
- 8
- 4
- Katalog
-
- 10976
- 1732
-
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
-
Blieberger / Strohmeier Reliable Software Technologies - Ada-Europe 2002
7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43784-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mössenböck Modular Programming Languages
Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Nivat Foundations of Software Science and Computation Structures
First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64300-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen / Rückert Services and Visualization: Towards User-Friendly Design
ACos'98, VISUAL'98, AIN'97, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64367-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Billington / Diaz / Rozenberg Application of Petri Nets to Communication Networks
Advances in Petri Nets1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65870-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Katoen Formal Methods for Real-Time and Probabilistic Systems
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66010-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fiadeiro Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66246-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Uhl / Drossopoulou / Persch An Attribute Grammar for the Semantic Analysis of ADA
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11571-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17611-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Asplund Reliable Software Technologies - Ada-Europe '98
1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64536-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Xiao / Yang / Muller-Schloer Autonomic and Trusted Computing
4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73546-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mossakowski / Montanari / Haveraaen Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73857-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Singh / Rao / Wooldridge Intelligent Agents IV: Agent Theories, Architectures, and Languages
4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64162-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Henzinger / Sastry Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wobcke / Pagnucco / Zhang Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997.Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64769-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cortesi / File Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66459-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tomkos / Neri / Solé-Pareta Optical Network Design and Modeling
11th International IFIP-TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72729-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Brueckner / Di Marzo Serugendo / Karageorgos Engineering Self-Organising Systems
Methodologies and Applications1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26180-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kutvonen Distributed Applications and Interoperable Systems
5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26262-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Treharne / King / Henson ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25559-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Boutaba / Almeroth / Puigjaner NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems
4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25809-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tari On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops
OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proce1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48273-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Prodan / Fahringer Grid Computing
Experiment Management, Tool Integration, and Scientific WorkflowsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69261-4Medium: 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
