Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1347
- Erscheinungsjahr
-
- 2
- 11
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 5
- 4
- 1
- 1
- 29
- 52
- 132
- 120
- 60
- 51
- 68
- 42
- 76
- 66
- 61
- 54
- 61
- 59
- 61
- 54
- 47
- 35
- 52
- 26
- 30
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 1
- 20
- 4
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 7
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 18
- 2
- 10
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 12
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- Verlag
-
- 1336
- 1
- 2
- 8
- Preis
-
- 7
- 1097
- 243
- Sprachen
-
- 1347
- 3
- 1
- Verfügbarkeit
-
- 1345
- 2
- Katalog
-
- 1347
- 57
-
Backhouse / Gibbons Generic Programming
Advanced LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-20194-6Medium: Buch48,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,10 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring / Peyton Jones Advanced Functional Programming
4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40132-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Backhouse / Gibbons / Hinze Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-76785-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
George / Liu / Woodcock Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74963-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parikh Logics of Programs
Brooklyn, June 17-19, 19851. Auflage 1985Verlag: SpringerISBN: 978-3-540-15648-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klein Concrete and Abstract Voronoi Diagrams
1. Auflage 1989Verlag: SpringerISBN: 978-3-540-52055-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zelikovsky Transactions on Computational Systems Biology II
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29401-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hobbs / Goscinski / Zhou Distributed and Parallel Computing
6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29235-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gurevich / Kutter / Odersky Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67959-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leue / Merino Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79706-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Banzhaf / Eckman Evolution and Biocomputation
Computational Models of Evolution1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59046-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brezany Input/Output Intensive Massively Parallel Computing
Language Support, Automatic Parallelization, Advanced Optimization, and Runtime SystemsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62840-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jayanti Distributed Computing
13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66531-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Snepscheut Mathematics of Program Construction
375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51305-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43928-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pingali / Banerjee / Gelernter Languages and Compilers for Parallel Computing
7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-58868-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halstead / Ito Parallel Symbolic Computing: Languages, Systems, and Applications
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57396-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Günther Efficient Structures for Geometric Data Management
1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50463-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miculan / Scagnetto / Honsell Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68084-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Irwin Computational Intelligence
International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part IIErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-37274-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sipper / Mange / Perez-Uribe Evolvable Systems: From Biology to Hardware
Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64954-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller / Singh / Rao Intelligent Agents V: Agents Theories, Architectures, and Languages
5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65713-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pierre / Kropf Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66559-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Esik Fundamentals of Computation Theory
9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57163-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wada Logic Programming '86
Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18024-1Medium: 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