Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2013
- Erscheinungsjahr
-
- 9
- 28
- 22
- 7
- 20
- 26
- 24
- 30
- 42
- 35
- 33
- 38
- 28
- 3
- 26
- 49
- 120
- 75
- 120
- 154
- 147
- 130
- 117
- 86
- 67
- 68
- 63
- 62
- 65
- 60
- 40
- 40
- 48
- 25
- 34
- 18
- 12
- 14
- 9
- 3
- 1
- 3
- 8
- 4
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 10
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 7
- 3
- 6
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 9
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 3
- 6
- 3
- 21
- 9
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 14
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 7
- 2
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 5
- 5
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 7
- 7
- 2
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 7
- 2
- 4
- 2
- 2
- 3
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 4
- 2
- 6
- 2
- 2
- 5
- 4
- 34
- 10
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 4
- Verlag
-
- 138
- 1595
- 204
- 36
- 40
- Preis
-
- 34
- 1606
- 373
- Sprachen
-
- 2013
- 3
- 1
- Verfügbarkeit
-
- 2011
- 2
- Katalog
-
- 2013
- 78
-
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 -
Thalheim / Zimmermann Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22094-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 -
Olderog / Damm Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44165-6Medium: 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 -
Treharne / Schneider / King ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25559-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Bert / Robinson / Bowen ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Wirsing / Balsamo / Knapp Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21179-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mauri / Paun / Salomaa Membrane Computing
5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25080-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bernardo / Damiani / Schaefer Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures2014Verlag: Springer International PublishingISBN: 978-3-319-07316-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ohsuga / Zhong New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66645-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Corradini / Bernardo Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23068-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Johnsen / Bernardo Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures2015Verlag: Springer International PublishingISBN: 978-3-319-18940-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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