Ergebnisse filtern
-
- 78
-
- 78
-
- 1
- 1
- 62
- 14
-
- 78
-
- 78
-
- 78
- 5
-
Alpcan / Buttyán / Baras Decision and Game Theory for Security
First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-17196-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bird / Morgan / Woodcock Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56625-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Darnell Cryptography and Coding
6th IMA International Conference, Cirencester, UK, December 17-19, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63927-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Larsen / Niebert Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21671-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Margraf / Mastrolilli Experimental and Efficient Algorithms
Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40205-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Labarta / Joe / Sato High-Performance Computing
6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77703-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bose / Morin Algorithms and Computation
13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00142-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Daemen / Rijmen Fast Software Encryption
9th International Workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44009-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Michalewicz Statistical and Scientific Database Management
Fifth International Conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52342-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ferreira / Rolim / Saad Parallel Algorithms for Irregularly Structured Problems
Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61549-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic
Erscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56283-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics
5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21946-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Perrott / Chapman / Subhlok High Performance Computing and Communications
Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75443-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerndt / Kranzlmüller High Performance Computing and Communications
Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39368-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bidoit / Kreowski / Lescanne Algebraic System Specification and Development
A Survey and Annotated Bibliography1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54060-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klein / Gamboa Interactive Theorem Proving
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08969-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asperti / Buchberger / Davenport Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 20031. Auflage 2003Verlag: SpringerISBN: 978-3-540-00568-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asarin / Bouyer Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Book Rewriting Techniques and Applications
4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53904-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kojima / Megiddo / Noma A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54509-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / Chapman / de Supinski OpenMP Shared Memory Parallel Programming
International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68554-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baeten / Mauw CONCUR'99. Concurrency Theory
10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66425-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asano / Igarashi / Nagamochi Algorithms and Computation
7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-62048-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nurmi / Ukkonen Algorithm Theory - SWAT '92
Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55706-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alagar / Nivat Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60043-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort