Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1100
- Erscheinungsjahr
-
- 25
- 44
- 40
- 19
- 5
- 5
- 9
- 7
- 11
- 13
- 12
- 21
- 19
- 21
- 22
- 23
- 20
- 44
- 28
- 24
- 29
- 18
- 43
- 39
- 41
- 54
- 25
- 44
- 23
- 36
- 43
- 47
- 43
- 31
- 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
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 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
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 4
- 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
- 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
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 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
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 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
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 14
- 7
- 3
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 10
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 13
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 4
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 3
- 17
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 3
- 2
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- Verlag
-
- 1096
- 1
- 3
- Preis
-
- 8
- 31
- 904
- 157
- Sprachen
-
- 1099
- 2
- 1
- Verfügbarkeit
-
- 1099
- 1
- Eigenschaften
-
- 1
- Katalog
-
- 1100
- 54
-
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 -
Condon / Rozenberg DNA Computing
6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42076-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lengauer Algorithms - ESA '93
First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57273-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boissonnat / Laumond Geometry and Robotics
Workshop, Toulouse, France, May 26-28, 1988. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51683-5Medium: 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: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (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 -
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 -
Hirschberg / Meyers Combinatorial Pattern Matching
7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61258-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Domaratzki / Salomaa Implementation and Application of Automata
15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-18097-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nesetril Algorithms - ESA'99
7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66251-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52531-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hong / Nagamochi / Fukunaga Algorithms and Computation
19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92181-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Floater / Lyche / Mazure Mathematical Methods for Curves and Surfaces
9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67884-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Castiglione / Mantaci Implementation and Application of Automata
29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02601-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Möller Mathematics of Program Construction
Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60117-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pan How to Multiply Matrices Faster
1. Auflage 1984Verlag: SpringerISBN: 978-3-540-13866-2Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gawlick / Haynie / Reuter High Performance Transaction Systems
2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51085-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alpcan / Buttyán / Baras Decision and Game Theory for Security
First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-17196-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palma / Dongarra / Hernandez Vector and Parallel Processing - VECPAR'98
Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66228-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17611-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Habermann / Montanari System Development and Ada
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18341-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hsu / Lee ISA '91 Algorithms
2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54945-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dimov / Faragó / Vulkov Numerical Analysis and Its Applications
5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41514-2Medium: 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