Ergebnisse filtern
-
- 312
-
- 312
-
- 1
- 13
- 263
- 35
-
- 312
- 2
-
- 312
-
- 312
- 3
-
Boldt / Jürgensen Automata Implementation
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42812-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jorrand / Kelemen Fundamentals of Artificial Intelligence Research
International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54507-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouquet / Serafini / Brézillon Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benninghofen / Kemmerich / Richter Systems of Reductions
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18598-7Medium: 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 -
Royer A Connotational Theory of Program Structure
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18253-5Medium: Buch53,49 € (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 -
Melton Mathematical Foundation of Programming Semantics
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16816-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (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 -
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 -
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 -
Brookes / Main / Melton Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58027-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pearce / Wansing Nonclassical Logics and Information Processing
International Workshop, Berlin, Germany, November 9-10, 1990. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55745-6Medium: Buch37,44 € (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 -
Auber / Valtr Graph Drawing and Network Visualization
28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-68765-6Medium: 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 -
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 -
Fomin / Xiao Computing and Combinatorics
31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-950217-2Medium: Buch79,17 € (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: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hofmann Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40332-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kutten / Žerovnik Structural Information and Communication Complexity
16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11475-5Medium: 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 -
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: Buch69,54 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort