Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
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 -
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 -
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 -
Lucks / Wolf / Sadeghi Research in Cryptology
Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88352-4Medium: 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 -
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 -
Jacobson / Safavi-Naini / Rijmen Selected Areas in Cryptography
16th International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-05443-3Medium: 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 -
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 -
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 -
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 -
Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58409-4Medium: 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 -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Küsters Non-Standard Inferences in Description Logics
From Foundations and Definitions to Algorithms and Analysis2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42397-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reggio / Cerioli Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43159-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bläsius / Rollinger / Hedtstück Sorts and Types in Artificial Intelligence
Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52337-6Medium: Buch53,49 € (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 -
Wegner / Bai Electronic Information and Communication in Mathematics
ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comon / Treinen / Marche Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sandford Using Sophisticated Models in Resolution Theorem Proving
1980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10231-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort