Ergebnisse filtern
-
- 306
-
- 306
-
- 1
- 13
- 254
- 38
-
- 306
- 2
-
- 306
-
- 306
- 4
-
Donatelli / Kleijn Application and Theory of Petri Nets 1999
20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66132-0Medium: 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, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Lukose Distributed Artificial Intelligence: Architecture and Modelling
First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61314-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
DeMichelis / Diaz Application and Theory of Petri Nets 1995
16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60029-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Even / Kariv Automata, Languages and Programming
Eighth Colloquium, Acre (Akko), Israel, July 13-17, 19811. Auflage 1981Verlag: SpringerISBN: 978-3-540-10843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wood Grammar and L Forms
An Introduction1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10233-5Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nivat / Perrin Automata on Infinite Words
Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 19841. Auflage 1985Verlag: SpringerISBN: 978-3-540-15641-3Medium: Buch53,49 € (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 -
Gottlob / Leitsch / Mundici Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63385-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Apostolico / Crochemore / Galil Combinatorial Pattern Matching
Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-56024-1Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated DeductionErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Billington / Reisig Application and Theory of Petri Nets 1996
17th International Conference, Osaka, Japan, June 24-28, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61363-3Medium: Buch106,99 € (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 -
Hawblitzel / Miller Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35307-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peters / Skowron / Ramanna Transactions on Rough Sets XVI
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sakai / Chakraborty / Hassanien Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
12th International Conference, RSFDGrC 2009, Delhi, India, December 16-18, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10645-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grossi / Roy / Huang Logic, Rationality, and Interaction
4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40947-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beklemishev / de Queiroz Logic, Language, Information, and Computation
18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20919-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lukasiewicz / Sali Foundations of Information and Knowledge Systems
7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28471-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Borwein / Farmer Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37104-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Paiva / de Queiroz / Moss Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-47708-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Elbassioni / Makino 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 -
Kushilevitz / Malkin 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 -
Manea / Nowotka Combinatorics on Words
10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23659-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hutter / Stephan Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th BirthdayErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-25051-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