Ergebnisse filtern
- Fachgebiet
- Medium
-
- 516
- 508
- Erscheinungsjahr
-
- 9
- 39
- 54
- 46
- 66
- 50
- 53
- 54
- 59
- 82
- 71
- 68
- 67
- 58
- 70
- 66
- 53
- 59
- Autoren
-
- 1
- 1
- 2
- 4
- 9
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 6
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 14
- 8
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 14
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 13
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 4
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 3
- 2
- 4
- 5
- 4
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 8
- 2
- 2
- 1
- 11
- 2
- 1
- 3
- 4
- 3
- 8
- 3
- 2
- 2
- 2
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 7
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 2
- 3
- 1
- 6
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 6
- 1
- 5
- 4
- 2
- 1
- 3
- 1
- 1
- 2
- 3
- 3
- 1
- 2
- 7
- 2
- 4
- 1
- 4
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 5
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 5
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 4
- 3
- 2
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 3
- 4
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 5
- 4
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 5
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 9
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 12
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 4
- 2
- 2
- 10
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 8
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 12
- 5
- 2
- 6
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 6
- 3
- 3
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 517
- 90
- 400
- 17
- Preis
-
- 81
- 899
- 44
- Sprachen
-
- 1024
- Verfügbarkeit
-
- 1024
- Katalog
-
- 1024
- 19
-
Stephanidis Universal Access in Human-Computer Interaction. Applications and Services
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 III2007Verlag: SpringerISBN: 978-3-540-73283-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Suzuki / El-Fakih / Higashino Formal Techniques for Networked and Distributed Systems - FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68854-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sottara / Palmirani Rule-Based Modeling and Computing on the Semantic Web
5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-24907-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang Formal Techniques for Networked and Distributed Systems - FORTE 2005
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32084-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Morgenstern / Stefaneas / Lévy Theory, Practice, and Applications of Rules on the Web
7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39617-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Poess / Nambiar Performance Evaluation and Benchmarking for the Era of Artificial Intelligence
10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018, Revised Selected Papers1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-11403-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-87475-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ropo / Westerholm / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03770-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Poess / Nambiar Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things
8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-54333-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 20082008Verlag: SpringerISBN: 978-3-540-68894-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Poess / Nambiar Performance Evaluation and Benchmarking for the Era of Cloud(s)
11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-55023-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lastovetsky / Dongarra / Kechadi Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87474-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pophale / Gorentla Venkata / Imam OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-04917-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pophale / Imam / Aderholdt OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected PapersErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-04918-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Simonic / Holzinger Information Quality in e-Health
7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-25363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Padovani / Zavattaro Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01917-3Medium: Buch49,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Wiklicky / de Vink Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures2013Verlag: SpringerISBN: 978-3-642-38873-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Padovani / Zavattaro Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures2009Verlag: SpringerISBN: 978-3-642-01918-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
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: Springer International PublishingISBN: 978-3-319-34096-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bernardo / Hillston Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures2007Verlag: SpringerISBN: 978-3-540-72522-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures2006Verlag: SpringerISBN: 978-3-540-34305-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hillston / Bernardo Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bencomo / France / Cheng Models@run.time
Foundations, Applications, and RoadmapsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-08915-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