Ergebnisse filtern
-
- 99
-
- 16
- 78
- 2
- 2
- 1
-
- 5
- 77
- 17
-
- 99
-
- 99
-
- 99
- 7
-
Rozenberg Advances in Petri Nets 1991
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54398-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Capretta / Wiedijk / Krebbers Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-61715-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pieprzyk / Seberry Advances in Cryptology - AUSCRYPT '90
International Conference on Cryptology Sydney, Australia, January 8-11, 19901990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53000-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nyberg Advances in Cryptology - EUROCRYPT '98
International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64518-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mora Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51083-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Montanari / Corradini Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03428-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertot / Dowek / Thery Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66463-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. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Childs / Scott / Nelson Codes for Boundary-Value Problems in Ordinary Differential Equations
Proceedings of a Working Conference, May 14-17, 19781979Verlag: Springer Berlin HeidelbergISBN: 978-3-540-09554-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ahn Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23966-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Feijs / Bergstra Algebraic Methods II: Theory, Tools and Applications
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53912-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maibaum / Abramsky 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)1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53982-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maibaum / Abramsky 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)1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53981-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodi / Rinaldi / Panconesi Integer Programming and Combinatorial Optimization
13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68886-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ottmann / Monien Data Structures and Efficient Algorithms
Final Report on the DFG Special Joint Initiative1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55488-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mattson / Mora Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63163-7Medium: Buch53,49 € (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. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54195-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Serna / Diaz Algorithms - ESA '96
Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61680-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63385-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Held On the Computational Geometry of Pocket Machining
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54103-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hamel / López-Ortiz Combinatorial and Algorithmic Aspects of Networking
First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27873-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manocha / Lin Applied Computational Geometry. Towards Geometric Engineering
FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61785-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyers / Hirschberg Combinatorial Pattern Matching
7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61258-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow / Barendregt Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58085-0Medium: 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