Ergebnisse filtern
-
- 85
-
- 1
- 83
- 1
-
- 1
- 72
- 12
-
- 85
-
- 84
- 1
-
- 85
-
Melichar / Alblas Attribute Grammars, Applications and Systems
International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54572-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Toueg / Kirousis / Spirakis Distributed Algorithms
5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55236-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Birtwistle / Moller Logics for Concurrency
Structure versus Automata1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60915-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pecuchet / Abdulrab Word Equations and Related Topics
Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56730-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mitchell / Hoos Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27829-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Venturini Zilli Mathematical Models for the Semantics of Parallelism
Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18419-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
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 -
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 -
Paulson Isabelle
A Generic Theorem Prover1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41960-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gore / Nipkow / Leitsch Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42254-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Yokomori / Kobayashi Algorithmic Learning Theory
4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57370-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thielscher Challenges for Action Theories
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67455-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64301-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55602-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Remy / Rusinowitch Conditional Term Rewriting Systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56393-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heering / Nipkow / Meinke Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58233-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Djidjev Optimal Algorithms
International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51859-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hindley / Groote Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62688-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