Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
Kowalski / Bibel 5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 19801980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10009-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dehne / Fellows / Downey Parameterized and Exact Computation
First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23071-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eklund Concept Lattices
Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21043-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Overbeek / Lusk 9th International Conference on Automated Deduction
Argonne, Illinois, USA, May 23-26, 1988. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19343-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Godlewski / Cohen Coding Theory and Applications
2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19368-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brankovic / Smyth / Ryan Combinatorial Algorithms
28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-78824-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Franceschinis Applications and Theory of Petri Nets
30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lakos / Esparza Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43787-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Valette Application and Theory of Petri Nets 1994
15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58152-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51705-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Carlet / Pott Sequences and Their Applications - SETA 2010
6th International Conference, Paris, France, September 13-17, 2010. Proceedings2010Verlag: SpringerISBN: 978-3-642-15873-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fiala / Miller / Kratochvil Combinatorial Algorithms
20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-10216-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tsoukias / Rossi Algorithmic Decision Theory
First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-04427-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41960-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Petreschi / Silvestri / Persiano Algorithms and Complexity
5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40176-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gore / Nipkow / Leitsch Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42254-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Yokomori / Kobayashi Algorithmic Learning Theory
4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57370-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baratgin / Yama / Jacquet Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19¿22, 2023, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55244-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Velázquez-Quesada / Gierasimczuk Dynamic Logic. New Trends and Applications
5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15¿16, 2023, Revised Selected Papers1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-51776-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Byrka / Vygen Integer Programming and Combinatorial Optimization
25th International Conference, IPCO 2024, Wroclaw, Poland, July 3¿5, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-59834-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Radermacher / Belli Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55601-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Budach / Lupanov / Bukharajev Fundamentals of Computation Theory
International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18740-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Boca / Butler Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87602-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
He / Pacuit / Horty Logic, Rationality, and Interaction
Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04892-0Medium: 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