Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
Leivant Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60178-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pulvirenti / Cantone From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55247-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Birtwistle / Moller Logics for Concurrency
Structure versus Automata1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60915-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Djidjev Optimal Algorithms
International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51859-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Väänänen Generalized Quantifiers and Computation
9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66993-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Orejas / Diaz TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aiswarya / Srivastava / Sen Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-89609-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miller / Hawblitzel Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-35307-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thielscher Challenges for Action Theories
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67455-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barneva / Pacchiano / Brimkov Artificial Intelligence and Image Analysis
18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63734-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vaccaro / Rescigno Combinatorial Algorithms
35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63020-0Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reif / Chen DNA Computing
9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20930-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kosiol / Harmer Graph Transformation
17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-64284-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kauers / Windsteiger / Kerber Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73083-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Schürr / Rensink Graph Transformations
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15927-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63385-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Torsello / Minello / Rossi Structural, Syntactic, and Statistical Pattern Recognition
Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-80506-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raymond / Yu / Wood Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
San Pietro / Dubois Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-27533-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alt Computational Discrete Mathematics
Advanced Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42775-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodaya Logic and Its Applications
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-36038-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Zhang / Gao Computing and Combinatorics
30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IIIErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-961194-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lakos / Esparza Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43787-1Medium: 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