Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
Kim / Ho / Katzenbeisser Digital Watermarking
7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008, Selected Papers2009Verlag: SpringerISBN: 978-3-642-04437-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Fomin Parameterized and Exact Computation
4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11268-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malkin / Kushilevitz Theory of Cryptography
13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49095-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plotkin / Dezani-Ciancaglini Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Queiroz / Ong Logic, Language, Information, and Computation
2. Auflage 2012Verlag: SpringerISBN: 978-3-642-32620-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Makino / Elbassioni Algorithms and Computation
26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48970-3Medium: Buch94,16 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aalst / Best Applications and Theory of Petri Nets 2003
24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40334-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Main / Schmidt / Melton Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reisig / Billington Application and Theory of Petri Nets 1996
17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61363-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dershowitz Rewriting Techniques and Applications
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51081-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Perrin / Nivat Automata on Infinite Words
Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 19841985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15641-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walsh / Bacchus Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nielsen / Dodis Theory of Cryptography
12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II2015Verlag: SpringerISBN: 978-3-662-46496-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malkin / Kushilevitz Theory of Cryptography
13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49098-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cimiano / Stein / Frank Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63535-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud / Kaplan Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19242-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated Deduction1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peters / Skowron / Wang Transactions on Rough Sets XVI
2013Verlag: SpringerISBN: 978-3-642-36504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Sakai / Ito Discrete and Computational Geometry and Graphs
16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-13286-0Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andersson Analysis of Dynamical and Cognitive Systems
Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shostak 7th International Conference on Automated Deduction
Proceedings1984Verlag: SpringerISBN: 978-0-387-96022-7Medium: 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