Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1353
- Erscheinungsjahr
-
- 2
- 10
- 1
- 3
- 3
- 4
- 3
- 3
- 6
- 2
- 2
- 22
- 50
- 131
- 119
- 68
- 50
- 70
- 42
- 79
- 66
- 59
- 58
- 58
- 58
- 61
- 52
- 46
- 37
- 54
- 27
- 31
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 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
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 4
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 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
- 1
- 1
- 1
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 5
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 7
- 2
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 8
- 2
- 3
- 2
- 4
- 5
- 7
- 2
- 3
- 2
- 2
- 4
- 18
- 2
- 11
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 11
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- Verlag
-
- 1345
- 1
- 1
- 6
- Preis
-
- 11
- 1110
- 232
- Sprachen
-
- 1353
- 3
- Verfügbarkeit
-
- 1352
- 1
- Katalog
-
- 1353
- 56
-
Kirchner Automated Deduction - CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64675-4Medium: 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 -
Duch / Oja / Zadrozny Artificial Neural Networks: Biological Inspirations - ICANN 2005
15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28752-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
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 -
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 -
Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing
Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-43043-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dybjer / Nordström / Smith Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60579-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Proietti Logic Program Synthesis and Transformation
5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60939-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Roever / Langmaack / Pnueli Compositionality: The Significant Difference
International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised LecturesErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65493-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects
Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-0-387-97226-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horváth Central European Functional Programming School
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46843-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dimov / Lirkov / Margenov Numerical Methods and Applications
5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00608-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diehl Software Visualization
International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised LecturesErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43323-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Zhao / Gong / Tang Analysis and Modelling of Faces and Gestures
Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29229-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghosh / Mohanty Distributed Computing and Internet Technology
First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24075-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring / Meijer Advanced Functional Programming
First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial TextErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59451-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic
Erscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56283-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheese Parallel Execution of Parlog
Erscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55382-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chwa / Ibarra Algorithms and Computation
9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65385-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swierstra / Henriques / Oliveira Advanced Functional Programming
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66241-9Medium: 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