Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1064
- Erscheinungsjahr
-
- 5
- 43
- 39
- 22
- 4
- 4
- 10
- 14
- 12
- 8
- 14
- 16
- 23
- 20
- 17
- 26
- 14
- 37
- 31
- 23
- 26
- 16
- 44
- 38
- 41
- 51
- 24
- 43
- 24
- 36
- 48
- 48
- 42
- 32
- 26
- 34
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 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
- 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
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 2
- 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
- 3
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 13
- 7
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 14
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 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
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 4
- 5
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 5
- 3
- 3
- 4
- 4
- 6
- 4
- 2
- 3
- 3
- 2
- 3
- 18
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- Verlag
-
- 1060
- 4
- Preis
-
- 8
- 31
- 868
- 157
- Sprachen
-
- 1063
- 2
- 1
- Verfügbarkeit
-
- 1063
- 1
- Katalog
-
- 1064
- 52
-
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 -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume IIErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66588-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Parigot / Voronkov Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
Kagström / Elmroth / Dongarra Applied Parallel Computing
State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75754-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
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 -
Hertzberger / Hoekstra / Williams High-Performance Computing and Networking
9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42293-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
Monien / Ottmann Data Structures and Efficient Algorithms
Final Report on the DFG Special Joint InitiativeErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55488-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 / Kreowski Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44310-0Medium: 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 -
Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fitch Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57272-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antsaklis / Kohn / Nerode Hybrid Systems IV
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63358-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Paterson / Zhang Combinatorics, Algorithms, Probabilistic and Experimental Methodologies
First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74449-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cohen / Mora / Moreno Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56686-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morrill / Muskens / Osswald Formal Grammar
19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44120-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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