Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1364
- Erscheinungsjahr
-
- 2
- 9
- 1
- 1
- 3
- 4
- 3
- 3
- 3
- 8
- 1
- 2
- 26
- 55
- 127
- 120
- 71
- 51
- 69
- 42
- 79
- 66
- 60
- 59
- 57
- 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
- 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
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 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
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 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
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 4
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 1
- 2
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 4
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 7
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 8
- 2
- 3
- 2
- 4
- 5
- 5
- 2
- 2
- 4
- 4
- 2
- 4
- 18
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 8
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 12
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- Verlag
-
- 1353
- 1
- 2
- 8
- Preis
-
- 10
- 1108
- 246
- Sprachen
-
- 1364
- 3
- Verfügbarkeit
-
- 1362
- 2
- Katalog
-
- 1364
- 54
-
Blazy / Chechik Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48868-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Robinet ESOP 86
European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16442-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Basili / Pazienza AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74781-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asano / Igarashi / Nagamochi Algorithms and Computation
7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-62048-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schepers Software and Compilers for Embedded Systems
8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23035-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blikle / Barstow / Brauer MetaSoft Primer
Towards a Metalanguage for Applied Denotational Semantics1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18657-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groote / Hindley Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62688-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heering / Meinke / Möller Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58233-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ciancarini / Wiklicky Coordination Models and Languages
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34694-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cluet / Hull Database Programming Languages
6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64823-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giacobazzi Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22791-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Garcia / Choren / Lucena Software Engineering for Multi-Agent Systems IV
Research Issues and Practical Applications1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33580-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Danvy / Filinski Programs as Data Objects
Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42068-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thomas ECOOP 2006 - Object-Oriented Programming
20th European Conference, Nantes, France, July 3-7, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35726-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Levi / Rodriguez-Artalejo Algebraic and Logic Programming
4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58431-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ryan / Soule / Poli Genetic Programming
6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00971-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Demoen / Lifschitz Logic Programming
20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22671-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Derrick / Vain Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73195-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kaklamanis / Skutella Approximation and Online Algorithms
5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77917-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hagiya / Wadler Functional and Logic Programming
8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33438-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Atzeni / Lioy Public Key Infrastructure
Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35151-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Du / Zhang Algorithms and Computation
5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58325-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
El Yacoubi / Chopard / Bandini Cellular Automata
7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-40929-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sands Programming Languages and Systems
10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41862-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jünger / Kaibel Integer Programming and Combinatorial Optimization
11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26199-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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