Ergebnisse filtern
- Fachgebiet
- Medium
-
- 495
- 325
- Erscheinungsjahr
-
- 4
- 25
- 29
- 42
- 46
- 34
- 43
- 35
- 40
- 59
- 51
- 38
- 50
- 66
- 72
- 71
- 54
- 61
- Autoren
-
- 1
- 2
- 2
- 3
- 8
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 14
- 3
- 1
- 2
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 5
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 12
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 9
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 5
- 1
- 5
- 1
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 5
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 4
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 3
- 2
- 1
- 2
- 8
- 4
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 5
- 1
- 2
- 6
- 1
- 1
- 1
- 2
- 2
- 8
- 1
- 2
- 3
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 4
- 1
- 4
- 2
- 5
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 5
- 9
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 9
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 3
- 3
- 3
- 3
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 9
- 2
- 4
- 2
- 2
- 2
- 6
- 16
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- Verlag
-
- 726
- 5
- 86
- 3
- Preis
-
- 50
- 728
- 42
- Sprachen
-
- 820
- Verfügbarkeit
-
- 819
- 1
- Katalog
-
- 820
- 24
-
Pettersson / Yi Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30946-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu / Jajodia / Wang Theory and Models for Cyber Situation Awareness
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61152-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar
-
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I2007Verlag: SpringerISBN: 978-3-540-73105-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar
-
Nambiar / Poess Topics in Performance Evaluation, Measurement and Characterization
Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32626-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Morisio Reuse of Off-the-Shelf Components
9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-34607-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Nambiar / Poess Selected Topics in Performance Evaluation and Benchmarking
4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36726-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Peña / van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis
Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-32495-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
-
Peña / van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis
Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32494-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance
2009Verlag: SpringerISBN: 978-3-642-00867-2Medium: 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: SpringerISBN: 978-3-319-45942-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73104-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems
36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39570-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Casimiro / Ortmeier / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-55583-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Pérez / Yoshida Formal Techniques for Distributed Objects, Components, and Systems
39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-21758-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage68,48 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Taft / Duff / Brukardt Ada 2012 Reference Manual. Language and Standard Libraries
International Standard ISO/IEC 8652/2012 (E)Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-45419-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar
-
Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers2008Verlag: SpringerISBN: 978-3-540-77419-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Baier / Caires Formal Techniques for Distributed Objects, Components, and Systems
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-92612-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Julliand / Kouchnarenko B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings2006Verlag: SpringerISBN: 978-3-540-68761-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design
8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11796-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Habli / Sujan / Gerasimou Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-83905-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models
9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46613-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design
6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-77222-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43613-4Medium: 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
