Ergebnisse filtern
-
- 192
-
- 10
- 168
- 13
- 1
-
- 1
- 149
- 42
-
- 192
- 1
-
- 192
-
- 192
-
Dutra / Marques / Camacho High Performance Computing for Computational Science ¿ VECPAR 2016
12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61981-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Senger / Marques / Garcia High Performance Computing for Computational Science ¿ VECPAR 2018
13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-15995-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dayde / Nakajima / Marques High Performance Computing for Computational Science - VECPAR 2012
10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-38717-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Palma / Dongarra / Waldén High Performance Computing for Computational Science - VECPAR 2002
5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00852-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Guessarian Semantics of Systems of Concurrent Processes
LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23¿27, 1990 Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53479-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Enjalbert / Wagner / Finkel STACS 93
10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56503-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wrightson / Fronhöfer Parallelization in Inference Systems
International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55425-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1993
1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56689-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1990
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53863-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1988
1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50580-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1991
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54398-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mira / Prieto / Cabestany New Trends in Neural Computation
International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1989
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52494-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolff / Basin Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40664-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Felty / Gunter Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Newey / Grundy Theorem Proving in Higher Order Logics
11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64987-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71065-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melham / Hurd Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28372-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dehne / Koczkodaj / Fiala Advances in Computing and Information - ICCI '91
International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54029-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmeck / Wolf / Ungerer Trends in Network and Pervasive Computing - ARCS 2002
International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43409-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Langmaack / Vytopil / Roever Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage -
Dongarra / Orlando / Laforenza Recent Advances in Parallel Virtual Machine and Message Passing Interface
10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20149-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage -
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 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort