Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1077
- Erscheinungsjahr
-
- 5
- 43
- 39
- 22
- 4
- 4
- 12
- 14
- 12
- 8
- 13
- 17
- 24
- 21
- 17
- 27
- 14
- 37
- 30
- 22
- 25
- 16
- 44
- 39
- 42
- 51
- 26
- 43
- 26
- 38
- 48
- 49
- 42
- 32
- 26
- 35
- 22
- 20
- 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
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 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
- 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
- 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
- 2
- 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
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 15
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 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
- 2
- 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
- 7
- 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
- 1
- 2
- 1
- 1
- 2
- 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
- 4
- 3
- 2
- 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
- 6
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 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
- 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
- 19
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 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
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 9
- 4
- 2
- 3
- 5
- 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
-
- 1073
- 4
- Preis
-
- 8
- 31
- 878
- 160
- Sprachen
-
- 1076
- 2
- 1
- Verfügbarkeit
-
- 1076
- 1
- Katalog
-
- 1077
- 53
-
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brim / Haverkort / Leucker Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, ReviErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mayr / Prömel / Steger Lectures on Proof Verification and Approximation Algorithms
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64201-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groote Lectures on the Complexity of Bilinear Problems
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17205-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rozenberg / Vaandrager Lectures on Embedded Systems
European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65193-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Banerjee / S. Logic and Its Applications
6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45823-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertrand / Imiya / Klette Digital and Image Geometry
Advanced LecturesErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43079-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Gao / Sun Computing and Combinatorics
30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-961194-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vulkov / Wasniewski / Yalamov Numerical Analysis and Its Applications
First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62598-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akiyama / Baskoro / Kano Combinatorial Geometry and Graph Theory
Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24401-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calmet / Campbell Integrating Symbolic Mathematical Computation and Artificial Intelligence
Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60156-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barendregt / Nipkow Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sekerinski / Ribeiro Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71378-1Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage40,65 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rolim Parallel and Distributed Processing
15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67442-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calmet / Plaza Artificial Intelligence and Symbolic Computation
International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koç / Mesnager / Savas Arithmetic of Finite Fields
5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-16276-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeza-Yates / Goles / Poblete LATIN '95: Theoretical Informatics
Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59175-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wilson / Martin Mathematics of Surfaces
10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20053-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Winkler / Langer Symbolic and Numerical Scientific Computation
Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40554-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Esparza / Lakos Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43787-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dudin / De Turck Analytical and Stochastic Modeling Techniques and Applications
20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39407-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Henzinger / Sontag Hybrid Systems III
Verification and Control1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Raymond / Wood / Yu Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Polychronopoulos / Joe / Fukuda High Performance Computing
Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65969-3Medium: 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