Ergebnisse filtern
-
- 134
-
- 10
- 111
- 7
- 6
-
- 1
- 11
- 109
- 13
-
- 134
- 2
-
- 134
-
- 134
- 3
Mathematische Logik
-
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tiuryn / Pacholski Computer Science Logic
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60017-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Seyr / Grandjean Computer Science Logic
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65922-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Jäger / Richter Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56992-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Meinke / Gurevich Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58277-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kahle / Stärk / Schroeder-Heister Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42752-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-92686-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Adian Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63045-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Matiyasevich / Nerode Logical Foundations of Computer Science
Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58140-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kelemen / Kelemenova Trends, Techniques, and Problems in Theoretical Computer Science
4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 19861987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18535-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taitslin / Nerode Logical Foundations of Computer Science - Tver '92
Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55707-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kurshan / Clarke Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comyn / Ratcliffe / Fuchs Logic Programming in Action
Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55930-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calude / Salomaa / Paun Multiset Processing
Mathematical, Computer Science, and Molecular Computing Points of View2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43063-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
König / Goubault-Larrecq Foundations of Software Science and Computation Structures
23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25¿30, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-45230-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Worrell / Kobayashi Foundations of Software Science and Computation Structures
27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57230-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Worrell / Kobayashi Foundations of Software Science and Computation Structures
27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part I2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57227-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schröder / Bouyer Foundations of Software Science and Computation Structures
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-99252-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Caviness EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Volume 2: Research Contributions1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15984-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Buchberger EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Volume 1: Invited Lectures1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15983-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Richter / Kleine Büning CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pin Formal Properties of Finite Automata and Applications
LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51631-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Choffrut Automata Networks
LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19444-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vidal-Naquet / Monien STACS 86
3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 19861986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16078-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort