Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
Keller / Fasel Graph Reduction
Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 19861987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18420-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Szepietowski Turing Machines with Sublogarithmic Space
1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58355-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ajmone Marsan Application and Theory of Petri Nets 1993
14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56863-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60275-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schulz Word Equations and Related Topics
1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55124-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bürckert A Resolution Principle for a Logic with Restricted Quantifiers
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55034-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Rödding / Hasenjaeger Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium ¿Rekursive Kombinatorik¿ held from May 23¿28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/WestfalenSoftcover Nachdruck of the original 1. Auflage 1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13331-5Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Montanari / Kowalski TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-17611-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kott Automata, Languages and Programming
13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16761-7Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Siekmann 8th International Conference on Automated Deduction
Oxford, England, July 27- August 1, 1986. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16780-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Pieprzyk Provable Security
Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-04641-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Song / Lin / Sakai Information Retrieval Technology
5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04768-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nickel Interval Mathematics 1985
Proceedings of the International Symposium Freiburg i.Br., Federal Republic of Germany, September 23-26, 19851986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16437-1Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stuckey Logic Programming
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43930-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Basu / Salazar González / Mahjoub Combinatorial Optimization
8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22¿24, 2024, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-60923-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Siegel / Kruse Symbolic and Quantitative Approaches to Uncertainty
European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54659-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg / Condon DNA Computing
6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42076-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Coquand / Smith / Dybjer Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jürgensen / Boldt Automata Implementation
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42812-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jan / Froncek / Miller Combinatorial Algorithms
25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-19314-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raymond / Yu / Wood Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yokomori / Mao DNA Computing
12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49024-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Emek Structural Information and Communication Complexity
31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27¿29, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-60602-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nijholt Context-Free Grammars
Covers, Normal Forms, and Parsing1980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10245-8Medium: 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