Ergebnisse filtern
-
- 334
-
- 331
- 1
- 1
- 1
-
- 1
- 13
- 276
- 44
-
- 334
- 2
-
- 327
- 7
-
- 334
- 4
-
Bouyer / Schröder 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: SpringerISBN: 978-3-030-99252-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abdulla / Kesner Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90896-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertrand / Milius Foundations of Software Science and Computation Structures
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22729-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kobayashi / Worrell 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: SpringerISBN: 978-3-031-57230-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Colom / Koutny Applications and Theory of Petri Nets 2001
22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42252-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Buchberger EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Volume 1: Invited Lectures1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15983-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cortadella / Reisig Applications and Theory of Petri Nets 2004
25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22236-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Caviness EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Volume 2: Research Contributions1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15984-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Kleine Büning / Richter CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1. Auflage 1989Verlag: SpringerISBN: 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. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51631-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Taitslin Logic at Botik '89
Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51237-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Monien / Vidal-Naquet STACS 86
3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 19861. Auflage 1985Verlag: SpringerISBN: 978-3-540-16078-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Choffrut Automata Networks
LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19444-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Guessarian Semantics of Systems of Concurrent Processes
LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53479-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eijck Logics in AI
European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53686-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blanck / Brattka / Hertling Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42197-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pearce / Wagner Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pieprzyk Advances in Cryptology - ASIACRYPT 2008
14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 20081. Auflage 2008Verlag: SpringerISBN: 978-3-540-89254-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calude / Dinneen Developments in Language Theory
8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24014-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harju / Karhumäki / Lepistö Developments in Language Theory
11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73207-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacobson / Rijmen / Safavi-Naini Selected Areas in Cryptography
16th International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-05443-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martin-Löf / Mints COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kuich / Rozenberg / Salomaa Developments in Language Theory
5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43453-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ibarra / Dang Developments in Language Theory
10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35428-4Medium: 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