Ergebnisse filtern
-
- 166
-
- 163
- 2
- 1
-
- 1
- 12
- 135
- 18
-
- 166
- 2
-
- 163
- 3
-
- 166
- 3
-
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 -
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 -
Ong / de Queiroz Logic, Language, Information, and Computation
2. Auflage 2012Verlag: SpringerISBN: 978-3-642-32620-2Medium: 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 -
Ganesalingam The Language of Mathematics
A Linguistic and Philosophical Investigation1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37011-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kaplan / Jouannaud Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19242-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dau The Logic System of Concept Graphs with Negation
And Its Relationship to Predicate Logic1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20607-1Medium: Buch53,49 € (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 -
Bacchus / Walsh Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20851-8Medium: 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 -
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 -
Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21349-6Medium: Buch53,49 € (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, Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51081-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cimiano / Frank / Kohlhase Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-63535-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort