Ergebnisse filtern
-
- 302
-
- 302
-
- 1
- 10
- 256
- 35
-
- 302
- 2
-
- 302
-
- 302
- 3
-
Emek Structural Information and Communication Complexity
31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-60602-1Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gierasimczuk / Velázquez-Quesada Dynamic Logic. New Trends and Applications
5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers1. Auflage 2024Verlag: SpringerISBN: 978-3-031-51776-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baratgin / Jacquet / Yama Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings2024Verlag: SpringerISBN: 978-3-031-55244-1Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Belli / Radermacher Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55601-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heering / Meinke / Möller Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58233-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asperti / Bancerek / Trybulec Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23029-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cohen / Wolfmann Coding Theory and Applications
3rd International Colloquium, Toulon, France, November 2-4, 1988. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51643-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Gomes Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bodlaender / Langston Parameterized and Exact Computation
Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39098-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lecroq / Mouchard Combinatorial Algorithms
24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45277-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cai / Zelikovsky / Bourgeois Computing and Combinatorics
20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08782-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harmer / Kosiol Graph Transformation
17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-64284-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gaur / Narayanaswamy Algorithms and Discrete Applied Mathematics
Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-53006-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ong Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21690-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Bo / Kano Computational Geometry, Graphs and Applications
International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Treinen Rewriting Techniques and Applications
20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02347-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fazekas Implementation and Application of Automata
28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71111-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kochetov / Khachay / Eremeev Mathematical Optimization Theory and Operations Research
24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97076-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Gao / Sun Computing and Combinatorics
30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-961092-1Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlhase Mathematical Knowledge Management
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31430-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay / Kruse / Nonnengart Qualitative and Quantitative Practical Reasoning
First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63095-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Hindley Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62688-6Medium: 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