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
-
Chen / Zhang Secure Transaction Protocol Analysis
Models and Applications2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85073-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cámara / Lopes / de Lemos Assurances for Self-Adaptive Systems
Principles, Models, and Techniques2013Verlag: SpringerISBN: 978-3-642-36248-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Zhang Secure Transaction Protocol Analysis
Models and Applications2008Verlag: SpringerISBN: 978-3-540-85074-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bartocci / Falcone Lectures on Runtime Verification
Introductory and Advanced Topics1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75632-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Falcone / Bartocci Lectures on Runtime Verification
Introductory and Advanced Topics1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-75631-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: SpringerISBN: 978-3-540-71999-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45385-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghose / Zhu / Yu Service-Oriented Computing - ICSOC Workshops 2012
ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-37804-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs2006Verlag: SpringerISBN: 978-3-540-45386-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Fahringer / Prodan Grid Computing
Experiment Management, Tool Integration, and Scientific Workflows2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69261-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bondavalli / Kopetz / Bouchenak Cyber-Physical Systems of Systems
Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47589-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Braubach / Murillo / Kaviani Service-Oriented Computing – ICSOC 2017 Workshops
ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected PapersErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-91764-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Rust Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems2005Verlag: SpringerISBN: 978-3-540-32008-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Rust Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25576-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yangui / Bouguettaya / Xue Service-Oriented Computing – ICSOC 2019 Workshops
WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected PapersErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-45989-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Yangui / Bouguettaya / Xue Service-Oriented Computing - ICSOC 2019 Workshops
WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-45988-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ramos / Unger / Lrios Rosillo Advanced Distributed Systems
5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28063-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cezon / Wolfsthal Towards a Service-Based Internet. ServiceWave 2010 Workshops
International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22759-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eugster Object-Oriented Technology. ECOOP 2008 Workshop Reader
ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports2009Verlag: SpringerISBN: 978-3-642-02047-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Panetto / Debruyne / Proper On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part IErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-02610-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
van Hentenryck Practical Aspects of Declarative Languages
8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-31685-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Panetto / Debruyne / Meersman On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-02609-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Panetto / Debruyne / Proper On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part IIErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-02671-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Xia / Zhang Services – SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-23381-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Toumani / Pernici / Bhiri Service-Oriented Computing - ICSOC 2014 Workshops
WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22885-3Medium: 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