Ergebnisse filtern
-
- 72
-
- 71
- 1
-
- 1
- 2
- 58
- 11
-
- 72
-
- 72
-
- 72
- 5
-
Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bilardi / Ferreira / Lüling Solving Irregularly Structured Problems in Parallel
4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63138-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ishikawa / Oldehoeft / Reynders Scientific Computing in Object-Oriented Parallel Environments
First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63827-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Childs / Scott / Daniel Codes for Boundary-Value Problems in Ordinary Differential Equations
Proceedings of a Working Conference, May 14-17, 19781. Auflage 1979Verlag: SpringerISBN: 978-3-540-09554-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ahn Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23966-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bergstra / Feijs Algebraic Methods II: Theory, Tools and Applications
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53912-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53982-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53981-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Monien / Ottmann Data Structures and Efficient Algorithms
Final Report on the DFG Special Joint InitiativeErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55488-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mora / Mattson Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63163-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kagström / Elmroth / Dongarra Applied Parallel Computing
State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75754-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sakata Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54195-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Kano Discrete and Computational Geometry
Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20776-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaz / Serna Algorithms - ESA '96
Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61680-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Held On the Computational Geometry of Pocket Machining
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54103-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schwefel / Männer Parallel Problem Solving from Nature
1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54148-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barendregt / Nipkow Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chwa / Ibarra Algorithms and Computation
9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65385-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 -
Lengauer Algorithms - ESA '93
First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57273-2Medium: 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 -
Hirschberg / Meyers Combinatorial Pattern Matching
7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61258-2Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort