Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
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 -
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 -
Leonardi Internet and Network Economics
5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10840-2Medium: Buch106,99 € (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 Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53479-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koutny / Colom Applications and Theory of Petri Nets 2001
22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42252-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reisig / Cortadella Applications and Theory of Petri Nets 2004
25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22236-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Pearce Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 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, 20082008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89254-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blanck / Hertling / Brattka Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42197-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sturm / Zengler Automated Deduction in Geometry
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21045-7Medium: 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, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24014-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mints / Martin-Löf COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kuich / Salomaa / Rozenberg Developments in Language Theory
5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43453-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dang / Ibarra Developments in Language Theory
10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35428-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58403-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner Theory Reasoning in Connection Calculi
1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65509-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shanahan / Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66374-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halevi Advances in Cryptology - CRYPTO 2009
29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-03355-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dabrowski / Dabrowski / Pomykala Number-Theoretic Methods in Cryptology
4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-82379-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brun / Gaüzère / Carletti Graph-Based Representations in Pattern Recognition
14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-94138-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems
13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings2024Verlag: Springer Nature SingaporeISBN: 978-981-97-1416-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Felty / Gunter Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gu / Yang / Hell Algorithmic Aspects in Information and Management
10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-07955-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