Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
Calude / Vajnovszki / Dinneen Discrete Mathematics and Theoretical Computer Science
4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40505-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kutylowski / Wierzbicki / Pacholski Mathematical Foundations of Computer Science 1999
24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66408-6Medium: 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 -
Cuny / Rozenberg / Ehrig Graph Grammars and Their Application to Computer Science
5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61228-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Rosenfeld / Nagl Graph-Grammars and Their Application to Computer Science
3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 19861987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18771-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Watt / Sexton / Urban Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08433-6Medium: 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 -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56922-0Medium: 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 -
Skou / Larsen Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Probst / Bochmann Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56496-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barcucci / Rinaldi / Frosini Discrete Geometry for Computer Imagery
18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-09954-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gavrilova / Kalantari / Tan Transactions on Computational Science XX
Special Issue on Voronoi Diagrams and Their Applications2013Verlag: SpringerISBN: 978-3-642-41904-1Medium: Buch49,22 € (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 -
Taitslin / Meyer Logic at Botik '89
Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51237-0Medium: 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