Ergebnisse filtern
-
- 303
-
- 303
-
- 1
- 13
- 252
- 37
-
- 303
- 2
-
- 303
-
- 303
- 4
-
Li / Xia / Zhang Theory and Applications of Models of Computation
19th Annual Conference, TAMC 2025, Jinan, China, September 19-21, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-954838-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Kano / Urabe Discrete and Computational Geometry
Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67181-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Transactions on Petri Nets and Other Models of Concurrency III
Erscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04854-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bienkowski / Bienkowski / Englert Approximation and Online Algorithms
22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-81395-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Torsello / Rossi / Cosmo Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-80506-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Schmitt Nonmonotonic and Inductive Logic
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54564-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Habel Hyperedge Replacement: Grammars and Languages
1. Auflage 1992Verlag: SpringerISBN: 978-3-540-56005-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bezem / Groote Typed Lambda Calculi and Applications
International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56517-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Weber / Simons / Lafontaine The Generic Development Language Deva
Presentation and Case StudiesErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57335-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Kruse / Moral Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57395-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58450-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adleman / Huang Algorithmic Number Theory
First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58691-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Studer Natural Language and Logic
International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53082-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ben Yahia / Mephu Nguifo / Belohlavek Concept Lattices and Their Applications
Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78920-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eppstein / Gansner Graph Drawing
17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11804-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Link / Prade Foundations of Information and Knowledge Systems
6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11828-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ausiello / Böhm Automata, Languages and Programming
Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings1. Auflage 1978Verlag: SpringerISBN: 978-3-540-08860-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dediu / Ionescu / Martin-Vide Language and Automata Theory and Applications
Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00981-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakano / Xiao WALCOM: Algorithms and Computation
19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962844-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Valette Application and Theory of Petri Nets 1994
15th International Conference, Zaragoza, Spain, June 20-24, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58152-9Medium: Buch53,49 € (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 -
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 -
Ogata / Martí-Oliet Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-65940-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Symth / Arumugam Combinatorial Algorithms
23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35925-5Medium: 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