Ergebnisse filtern
-
- 312
-
- 312
-
- 1
- 13
- 263
- 35
-
- 312
- 2
-
- 312
-
- 312
- 3
-
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55602-2Medium: 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 -
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 -
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 -
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 -
Dewar / Kaminski / Kaminski Modelling and Mining Networks
19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-59204-1Medium: Buch128,39 € (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 -
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 -
He / Horty / Pacuit Logic, Rationality, and Interaction
Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04892-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schlechta Nonmonotonic Logics
Basic Concepts, Results, and TechniquesErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62482-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64301-2Medium: Buch53,49 € (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: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Coquand / Dybjer / Nordström Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected PapersErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41517-6Medium: 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 -
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: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fehr Information Theoretic Security
5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20727-3Medium: Buch53,49 € (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 -
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 -
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 -
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 -
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 -
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 -
Chen / Li Theory and Applications of Models of Computation
18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings2024Verlag: SpringerISBN: 978-981-97-2339-3Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peters / Skowron Transactions on Rough Sets XVII
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54755-3Medium: 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