Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1118
- Erscheinungsjahr
-
- 6
- 41
- 42
- 41
- 22
- 5
- 5
- 5
- 13
- 12
- 15
- 16
- 13
- 20
- 23
- 20
- 33
- 16
- 38
- 35
- 20
- 22
- 20
- 43
- 40
- 41
- 53
- 24
- 43
- 21
- 36
- 43
- 49
- 41
- 29
- 28
- 35
- 22
- 19
- 12
- 15
- 7
- 6
- 5
- 3
- 2
- 7
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 16
- 7
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 12
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 13
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 7
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 3
- 2
- 2
- 9
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 16
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 15
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 7
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- Verlag
-
- 1108
- 2
- 3
- 2
- 3
- Preis
-
- 8
- 32
- 914
- 164
- Sprachen
-
- 1117
- 2
- 1
- Verfügbarkeit
-
- 1106
- 12
- Katalog
-
- 1118
- 52
-
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 Lectures1. Auflage 2000Verlag: SpringerISBN: 978-3-540-66993-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutter / Stephan Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th BirthdayErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Camara / Puyol Antón / Sermesant Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers
16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-17733-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cantone / Pulvirenti From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career2024Verlag: SpringerISBN: 978-3-031-55247-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eigenmann / Voss OpenMP Shared Memory Parallel Programming
International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42346-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Amir / Landau Combinatorial Pattern Matching
12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42271-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brattka / Fernau / Galeotti Timeless Machines: Computability Across Eras
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27-31, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-31347-8Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grosky / Plasil SOFSEM 2002: Theory and Practice of Informatics
29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00145-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ottmann Automata, Languages and Programming
14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18088-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meyer auf der Heide / Monien Automata, Languages and Programming
23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61440-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leach Albert / Monien / Rodriguez Artalejo Automata, Languages and Programming
18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54233-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moller / Birtwistle Logics for Concurrency
Structure versus Automata1. Auflage 1996Verlag: SpringerISBN: 978-3-540-60915-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Silva / Hitzer / Hildenbrand Advanced Computational Applications of Geometric Algebra
First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-3-031-34030-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Djidjev Optimal Algorithms
International Symposium. Varna, Bulgaria, May 29-June 2, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51859-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paterson Automata, Languages and Programming
17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52826-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66587-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chau / Dürr / Li Frontiers of Algorithmics
19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-968311-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertrand / Dubslaff / Klüppelholz Principles of Formal Quantitative Analysis
Essays Dedicated to Christel Baier on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97438-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Orejas 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)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gottlob / Leitsch / Mundici Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Camara / Puyol-Antón / Sermesant Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers
14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers1. Auflage 2024Verlag: SpringerISBN: 978-3-031-52447-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mora / Mattson Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63163-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corradini / Ehrig / Montanari Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38870-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Engels / Parisi-Presicce Graph Transformations
Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23207-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuznetsov / Schmidt Formal Concept Analysis
5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70828-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort