Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2163
- Erscheinungsjahr
-
- 4
- 121
- 150
- 136
- 109
- 40
- 22
- 24
- 35
- 30
- 28
- 47
- 42
- 37
- 49
- 37
- 29
- 70
- 65
- 59
- 76
- 66
- 59
- 118
- 106
- 94
- 78
- 60
- 50
- 39
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 4
- 7
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 3
- 2
- 2
- 6
- 5
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 9
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 3
- 3
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 4
- 2
- 4
- 2
- 5
- 3
- 4
- 5
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 3
- 3
- 6
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 16
- 25
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 4
- 4
- 2
- 10
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 3
- 23
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 3
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 3
- 2
- 3
- 6
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 2
- 4
- 7
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 6
- 8
- 5
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 9
- 2
- 12
- 2
- 3
- 3
- 7
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 7
- 7
- 2
- 8
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 5
- 2
- 5
- 2
- 12
- 27
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 12
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 3
- 6
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 17
- 2
- 2
- 5
- 4
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 4
- 6
- 2
- 4
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 8
- 2
- 2
- 3
- 3
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 8
- 22
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 3
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 14
- 9
- 2
- 2
- 3
- 2
- 3
- 4
- 11
- 6
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 4
- 2
- 3
- 2
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 13
- 17
- 2
- 3
- 4
- 9
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 39
- 3
- 2
- 4
- 4
- 2
- 4
- 4
- 3
- 4
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 5
- 3
- 4
- 2
- 10
- 2
- 2
- 2
- 19
- 3
- 2
- 3
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 5
- 2
- 5
- 4
- 3
- 12
- 4
- 4
- 4
- 4
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 8
- 3
- 4
- 3
- 3
- 7
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 4
- 11
- 6
- 3
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 5
- 5
- 3
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 3
- 4
- 19
- 3
- 4
- 10
- 4
- 3
- 3
- 3
- 5
- Verlag
-
- 2
- 2142
- 1
- 11
- 1
- 6
- Preis
-
- 4
- 102
- 1727
- 330
- Sprachen
-
- 2163
- Verfügbarkeit
-
- 2111
- 52
- Katalog
-
- 2163
- 135
-
Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22094-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Börger / Gargantini / Riccobene Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00624-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ceci / Kocev / Monreale Machine Learning and Knowledge Discovery in Databases. Research Track
European Conference, ECML PKDD 2026, Naples, Italy, September 7–11, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-37653-4Medium: Buch87,73 € (inkl. MwSt.)
vorbestellbar87,73 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. September 2026
-
Ceci / Kocev / Monreale Machine Learning and Knowledge Discovery in Databases. Research Track
European Conference, ECML PKDD 2026, Naples, Italy, September 7-11, 2026, Proceedings, Part VIIErscheinungsjahr 2026Verlag: Springer Nature Switzerland AGISBN: 978-3-032-37675-6Medium: Buch87,73 € (inkl. MwSt.)
vorbestellbar87,73 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Oktober 2026
-
Bifet / Davis / Krilavicius Machine Learning and Knowledge Discovery in Databases. Research Track
European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI2024Verlag: SpringerISBN: 978-3-031-70364-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Zima / Joe / Sato High Performance Computing
4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43674-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bifet / Davis / Krilavicius Machine Learning and Knowledge Discovery in Databases. Research Track
European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-70340-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chong / Kawahara Information Networking Advances in Data Communications and Wireless Networks
International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48563-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Grelck / Mauša / Fernandes Promoting Sustainability as a Fundamental Driver in Software Development Training and Education
First International Summer School, SusTrainable 2022, Rijeka, Croatia, July 4-8, 2022, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22277-0Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Padget / Artikis / Vasconcelos Coordination, Organizations, Institutions, and Norms in Agent Systems V
COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14961-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hameurlain Data Management in Grid and Peer-to-Peer Systems
First International Conference, Globe 2008, Turin, Italy, September 3, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85175-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Trigila / Mullery / Campolargo Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services
5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64598-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bjørner / Hoare / Langmaack VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52513-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wirsing / Knapp / Balsamo Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21179-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67944-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Corradini Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23068-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Aldini / Bernardo / Di Pierro Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13677-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sato / Hanawa / Müller Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13216-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40253-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sorevik / Manne / Moe Applied Parallel Computing. New Paradigms for HPC in Industry and Academia
5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41729-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Stary / Stephanidis User-Centered Interaction Paradigms for Universal Access in the Information Society
8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004. Revised Selected Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23375-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Bogliolo Formal Methods for Mobile Computing
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07316-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures1. Auflage 2016Verlag: SpringerISBN: 978-3-319-34095-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
