Ergebnisse filtern
- Fachgebiet
- Medium
-
- 514
- 505
- Erscheinungsjahr
-
- 8
- 34
- 51
- 47
- 65
- 64
- 64
- 57
- 56
- 84
- 64
- 64
- 59
- 53
- 68
- 72
- 51
- 58
- Autoren
-
- 2
- 1
- 2
- 10
- 2
- 1
- 2
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 7
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 6
- 1
- 4
- 2
- 1
- 2
- 2
- 2
- 2
- 6
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 12
- 7
- 2
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 13
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 12
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 4
- 1
- 2
- 4
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 5
- 4
- 1
- 4
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 5
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 3
- 1
- 4
- 6
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 3
- 6
- 2
- 2
- 7
- 1
- 3
- 1
- 1
- 6
- 4
- 8
- 4
- 1
- 1
- 2
- 2
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 9
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 3
- 1
- 1
- 6
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 3
- 2
- 5
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 5
- 3
- 6
- 1
- 5
- 6
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 4
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 3
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 6
- 1
- 2
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 2
- 4
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 4
- 4
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 11
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 10
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 6
- 4
- 3
- 2
- 2
- 5
- 7
- 2
- 7
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 13
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 10
- 3
- 2
- 2
- 12
- 2
- 16
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 10
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 7
- 2
- 2
- 2
- 9
- 3
- 2
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 512
- 87
- 406
- 13
- 1
- Preis
-
- 80
- 895
- 44
- Sprachen
-
- 1019
- Verfügbarkeit
-
- 1018
- 1
- Katalog
-
- 1019
- 16
-
Hartman / Kreische Model Driven Architecture - Foundations and Applications
First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32093-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
D'Souza / Narayan Kumar Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68167-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Lahiri / Wang Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-01090-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Paige Theory and Practice of Model Transformations
Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02407-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gilroy / Harrison Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34145-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Akehurst / Paige / Vogel Model Driven Architecture - Foundations and Applications
Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72900-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
van den Brand / Guerra Theory and Practice of Model Transformation
10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61472-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Hou / Ganesh Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88884-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Hu / de Lara Theory and Practice of Model Transformations
5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-30476-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Taft / Duff / Brukardt Ada 2005 Reference Manual. Language and Standard Libraries
International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1Erscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69335-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design
8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-11797-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Peña / Dal Lago Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-12465-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Morisio Reuse of Off-the-Shelf Components
9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34606-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Jacko Human-Computer Interaction. Interaction Platforms and Techniques
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II2007Verlag: SpringerISBN: 978-3-540-73107-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis
First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15330-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Pettersson / Yi Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31616-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
ter Beek / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45943-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Göbel / Malkewitz / Iurgel Technologies for Interactive Digital Storytelling and Entertainment
Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-49935-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Yi / Pettersson Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30946-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Liu / Wang / Jajodia Theory and Models for Cyber Situation Awareness
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61151-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Großmann / Felderer / Seehusen Risk Assessment and Risk-Driven Quality Assurance
4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-57858-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Peña / Shkaravska / van Eekelen Foundational and Practical Aspects of Resource Analysis
Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-32494-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
de Supinski / Olivier / Müller Scaling OpenMP for Exascale Performance and Portability
13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-65577-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Petrucci / Cavalcanti / Seceleanu Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
van Eekelen / Dal Lago Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46558-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
