Ergebnisse filtern
- Fachgebiet
- Medium
-
- 503
- 483
- Erscheinungsjahr
-
- 7
- 36
- 42
- 43
- 60
- 48
- 60
- 54
- 65
- 72
- 62
- 58
- 68
- 57
- 68
- 63
- 57
- 66
- Autoren
-
- 2
- 3
- 2
- 6
- 3
- 1
- 4
- 1
- 4
- 2
- 2
- 1
- 1
- 6
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 7
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 3
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 15
- 7
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 2
- 1
- 1
- 2
- 9
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 7
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 3
- 6
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 9
- 1
- 2
- 3
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 4
- 1
- 1
- 5
- 1
- 2
- 2
- 5
- 3
- 6
- 7
- 2
- 1
- 1
- 2
- 7
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 9
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 5
- 3
- 4
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 5
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 3
- 3
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 4
- 1
- 2
- 2
- 4
- 4
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 6
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 4
- 2
- 3
- 2
- 9
- 4
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 9
- 3
- 2
- 5
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 3
- 4
- 11
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 9
- 3
- 2
- 2
- 6
- 2
- 16
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 5
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 16
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 10
- 2
- 3
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 7
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- Verlag
-
- 805
- 177
- 4
- Preis
-
- 72
- 867
- 47
- Sprachen
-
- 986
- Verfügbarkeit
-
- 986
- Katalog
-
- 986
- 25
-
Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers2007Verlag: SpringerISBN: 978-3-540-71156-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bouguettaya / Krüger / Margaria Service-Oriented Computing - ICSOC 2008
6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-89652-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III2007Verlag: SpringerISBN: 978-3-540-73110-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar -
Fitzgerald / Hayes FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31714-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Giannakopoulou / Mery FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-32759-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Delgado Kloos / Gillet / Crespo García Towards Ubiquitous Learning
6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-23985-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hara / Karagiannis Serviceology for Services
5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61240-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Méry / Merz Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-16265-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Phillips / Rahaman Reversible Computation
9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-59936-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Dierkes / Pecheur Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-41010-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Dean / Hall / Rotolo Semantic Web Rules
International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-16289-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Casimiro / de Lemos / Gacek Architecting Dependable Systems VII
2010Verlag: SpringerISBN: 978-3-642-17245-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kon / Kermarrec Middleware 2011
ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-25821-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Barringer / Falcone / Finkbeiner Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings2010Verlag: SpringerISBN: 978-3-642-16612-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Yi Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37756-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller / de Supinski / Chapman Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02303-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-03769-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar -
Ter Beek / McIver / Oliveira Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer Nature SwitzerlandISBN: 978-3-030-30942-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Woolf / Aimeur / Nkambou Intelligent Tutoring Systems
9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69130-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miller / Stroulia / Lee Web Services - ICWS 2019
26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23498-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Palsberg / Su Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03236-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerri / Clancey / Papadourakis Intelligent Tutoring Systems
11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30949-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reinhartz-Berger / Sadiq Advances in Conceptual Modeling
ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88357-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dean / Hall / Rotolo Semantic Web Rules
International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16288-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
van Hentenryck Practical Aspects of Declarative Languages
8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30947-5Medium: 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