Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1243
- Erscheinungsjahr
-
- 2
- 9
- 1
- 5
- 1
- 2
- 2
- 1
- 6
- 3
- 2
- 22
- 45
- 103
- 71
- 61
- 52
- 65
- 41
- 79
- 64
- 52
- 58
- 59
- 60
- 63
- 55
- 45
- 35
- 50
- 24
- 30
- 21
- 16
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 7
- 3
- 4
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 4
- 20
- 10
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 11
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- Verlag
-
- 38
- 1155
- 15
- 2
- 7
- 26
- Preis
-
- 8
- 1020
- 215
- Sprachen
-
- 1243
- 4
- Verfügbarkeit
-
- 1242
- 1
- Katalog
-
- 1243
- 52
-
Hubner / Dignum / Matson Coordination, Organizations, Institutions and Norms in Agent Systems IV
COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-00442-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65003-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Turini / Fribourg Logic Program Synthesis and Transformation - Meta-Programming in Logic
4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58792-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Riccobene / Gargantini Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00624-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dongarra / Podhorszki / Kacsuk Recent Advances in Parallel Virtual Machine and Message Passing Interface
7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41010-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kranzlmüller / Dongarra / Kacsuk Recent Advances in Parallel Virtual Machine and Message Passing Interface
11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23163-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems
6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41055-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Parrow / Jonsson Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61648-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lisper Synthesizing Synchronous Systems by Static Scheduling in Space-Time
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51156-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kranzlmüller / Volkert / Kacsuk Recent Advances in Parallel Virtual Machine and Message Passing Interface
9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44296-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dongarra / Alexandrov Recent Advances in Parallel Virtual Machine and Message Passing Interface
5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65041-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Di Martino / Dongarra / Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface
12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29009-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wolf / Emmerich Component Deployment
Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22059-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nivat / Dauchet CAAP '88
13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19021-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zima / Joe / Shimasaki High Performance Computing
4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43674-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dongarra / Cotronis Recent Advances in Parallel Virtual Machine and Message Passing Interface
8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42609-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bowen / King / Dunne ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67944-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hillston / Bernardo Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bakker / Rozenberg / Roever Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 19881989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51080-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Didier B'98: Recent Advances in the Development and Use of the B Method
Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64405-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Rozenberg / Juhas Unifying Petri Nets
Advances in Petri Nets2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43067-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Margenstern / Durand-Lose Machines, Computations, and Universality
5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74592-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jones / Sato / Hagiya Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rao Extensions of the UNITY Methodology
Compositionality, Fairness and Probability in Parallelism1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59173-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kropf Formal Hardware Verification
Methods and Systems in Comparison1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63475-1Medium: 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