Ergebnisse filtern
-
- 302
-
- 301
- 1
-
- 1
- 13
- 251
- 37
-
- 302
- 2
-
- 302
-
- 302
- 3
-
Gore / Leitsch / Nipkow Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42254-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloznelis / Drungilas / Kaminski Modelling and Mining Networks
20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92897-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Castiglione / Mantaci Implementation and Application of Automata
29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02601-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gamard / Leroy Combinatorics on Words
15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97547-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fomin / Xiao Computing and Combinatorics
31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-950214-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shostak 7th International Conference on Automated Deduction
Proceedings1. Auflage 1984Verlag: SpringerISBN: 978-0-387-96022-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blesa / Blum / Cangelosi Hybrid Metaheuristics
10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39635-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Endrullis / Tichy Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94705-6Medium: Buch62,05 € (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 -
Wansing The Logic of Information Structures
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56734-9Medium: 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 -
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 -
Akiyama / Ito / Sakai Discrete and Computational Geometry and Graphs
16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13286-0Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 ProceedingsErscheinungsjahr 1988Verlag: SpringerISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peña-Reyes Coevolutionary Fuzzy Modeling
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22994-0Medium: 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 -
Barneva / Bhattacharya / Brimkov Combinatorial Image Analysis
17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26144-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lu / Kim / Wu Combinatorial Optimization and Applications
9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26625-1Medium: 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 -
Wood Grammar and L Forms
An Introduction1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10233-5Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Curien Typed Lambda Calculi and Applications
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02272-2Medium: 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 -
Wiederhold / Barneva Combinatorial Image Analysis
13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-10208-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kim / Katzenbeisser / Ho Digital Watermarking
7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008, Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04437-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miglioli / Moscato / Mundici Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61208-7Medium: 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