Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1367
- Erscheinungsjahr
-
- 2
- 9
- 1
- 3
- 1
- 4
- 3
- 2
- 2
- 3
- 5
- 1
- 2
- 25
- 68
- 132
- 122
- 69
- 50
- 70
- 43
- 77
- 60
- 59
- 57
- 60
- 59
- 60
- 51
- 46
- 35
- 53
- 27
- 30
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 2
- 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
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 4
- 1
- 2
- 1
- 3
- 3
- 4
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 4
- 3
- 5
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 4
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 3
- 2
- 4
- 5
- 4
- 3
- 2
- 3
- 5
- 2
- 4
- 18
- 11
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 13
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 6
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- Verlag
-
- 1360
- 1
- 1
- 5
- Preis
-
- 11
- 1107
- 249
- Sprachen
-
- 1367
- 3
- Verfügbarkeit
-
- 1366
- 1
- Katalog
-
- 1367
- 53
-
Palanque / Paterno Interactive Systems. Design, Specification, and Verification
7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41663-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palamidessi / Glaser / Meinke Principles of Declarative Programming
10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65012-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnson Algebraic Methodology and Software Technology
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63888-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26181-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheng / Li / Znati Wireless Algorithms, Systems, and Applications
First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37189-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rothermel / Popescu-Zeletin Mobile Agents
First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62803-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das / Sen / Sinha Distributed Computing -- IWDC 2004
6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24076-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thulasiraman / He / Xu Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74766-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geuvers / Wiedijk Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-14031-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Higashino Principles of Distributed Systems
8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27324-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marques de Sá / Alexandre / Duch Artificial Neural Networks - ICANN 2007
17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74689-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermenegildo / Puebla Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seidl Programming Languages and Systems
21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28868-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Veidenbaum / Joe / Amano High Performance Computing
5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20359-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics
7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68105-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mohnen / Koopman Implementation of Functional Languages
12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41919-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rossi Principles and Practice of Constraint Programming - CP 2003
9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20202-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20223-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mesnard / Stuckey Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13837-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taha Semantics, Applications, and Implementation of Program Generation
Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42558-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horimoto / Regensburger / Rosenkranz Algebraic Biology
Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85100-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hur Programming Languages and Systems
21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-981-99-8310-0Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
LeCharlier Static Analysis
First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58485-8Medium: 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