Ergebnisse filtern
- Fachgebiet
- Medium
-
- 530
- 492
- Erscheinungsjahr
-
- 8
- 38
- 45
- 46
- 65
- 56
- 65
- 44
- 72
- 79
- 70
- 69
- 66
- 60
- 66
- 68
- 49
- 56
- Autoren
-
- 1
- 1
- 2
- 6
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 6
- 3
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 6
- 2
- 4
- 2
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 8
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 14
- 6
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 12
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 2
- 1
- 7
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 8
- 4
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 5
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 5
- 2
- 1
- 2
- 2
- 2
- 2
- 4
- 1
- 4
- 5
- 1
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 6
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 5
- 1
- 2
- 1
- 7
- 1
- 3
- 4
- 5
- 2
- 6
- 4
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 4
- 1
- 2
- 3
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 5
- 3
- 2
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 6
- 1
- 5
- 2
- 1
- 1
- 2
- 3
- 1
- 3
- 2
- 2
- 5
- 1
- 5
- 3
- 1
- 1
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 2
- 2
- 1
- 2
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 4
- 4
- 7
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 2
- 4
- 1
- 3
- 1
- 4
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 3
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 3
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 2
- 6
- 3
- 2
- 4
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 4
- 8
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 8
- 2
- 4
- 2
- 5
- 3
- 4
- 10
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 16
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 2
- 16
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 8
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 21
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 7
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- Verlag
-
- 544
- 98
- 369
- 10
- 1
- Preis
-
- 72
- 895
- 55
- Sprachen
-
- 1022
- Verfügbarkeit
-
- 1022
- Katalog
-
- 1022
- 17
-
Huisman / Pasareanu / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-90869-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Willemse / Larsen Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-27007-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nkambou / Vassileva / Azevedo Intelligent Tutoring Systems
14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-91463-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dragoi / Dragoi / Namjoshi Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88805-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kumar / Troussas Intelligent Tutoring Systems
16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-49663-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Brat / Venet / Rungta NASA Formal Methods
5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-38087-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Howar / Barnat Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-00244-2Medium: 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, Proceedings2006Verlag: SpringerISBN: 978-3-540-37758-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Krämer / Lin / Narasimhan Service-Oriented Computing - ICSOC 2007
Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74974-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Cofer / Fantechi Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03240-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity
Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I2007Verlag: SpringerISBN: 978-3-540-73279-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar -
Ranzato Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66706-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Rival Static Analysis
23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53413-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-34895-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Serhani / Zhang Services – SERVICES 2021
17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-96585-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar -
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: Springer International PublishingISBN: 978-3-030-88358-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar -
Benatallah / Casati / Traverso Service-Oriented Computing – ICSOC 2005
Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32294-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity
Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73278-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33693-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
Triantafillou / Narasimhan Middleware 2012
ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-35169-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Milfeld / de Supinski / Koesterke OpenMP: Portable Multi-Level Parallelism on Modern Systems
16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58144-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar -
Zhang / Katangur Services Computing - SCC 2021
18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-96565-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Troussas / Kumar Intelligent Tutoring Systems
16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-49662-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot / Martel Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-15769-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gupta / Mascolo Middleware 2010
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16955-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort