Ergebnisse filtern
Fachgebiet
Medium
  • 499
  • 326
Erscheinungsjahr
  • 4
  • 26
  • 31
  • 40
  • 47
  • 34
  • 44
  • 35
  • 40
  • 60
  • 51
  • 38
  • 52
  • 66
  • 74
  • 68
  • 54
  • 61
Autoren
  • 1
  • 2
  • 2
  • 3
  • 7
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 6
  • 3
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 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
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 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
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 2
  • 2
  • 5
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 5
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 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
  • 2
  • 3
  • 1
  • 5
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 4
  • 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
  • 1
  • 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
  • 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
  • 1
  • 2
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 2
  • 2
  • 8
  • 1
  • 2
  • 2
  • 3
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 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
  • 5
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 5
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 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
  • 3
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 11
  • 2
  • 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
  • 4
  • 2
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 2
  • 4
  • 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
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 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
  • 730
  • 5
  • 87
  • 3
Preis
  • 51
  • 731
  • 43
Sprachen
  • 825
Verfügbarkeit
  • 824
  • 1
Katalog
  • 825
  • 23
825  Treffer  für „Programming and Software Engineering“
    Bondavalli / Ceccarelli / Ortmeier | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bondavalli / Ceccarelli / Ortmeier Computer Safety, Reliability, and Security

    SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10556-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raschke / Riccobene / Schewe | Logic, Computation and Rigorous Methods | eBook | Sack Fachmedien
    E-Book

    Raschke / Riccobene / Schewe Logic, Computation and Rigorous Methods

    Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-76020-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fonseca i Casas / Sancho / Sherratt | System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 | Buch | Sack Fachmedien

    Fonseca i Casas / Sancho / Sherratt System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

    11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laneve / Su | Web Services and Formal Methods | Buch | Sack Fachmedien

    Laneve / Su Web Services and Formal Methods

    6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14457-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Haverkort / Leucker | Formal Methods: Applications and Technology | eBook | Sack Fachmedien
    E-Book

    Brim / Haverkort / Leucker Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
    2007
    Verlag: Springer
    ISBN: 978-3-540-70952-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Qiang / Zheng / Hsu | Cloud Computing and Big Data | Buch | Sack Fachmedien

    Qiang / Zheng / Hsu Cloud Computing and Big Data

    Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28429-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiello / Johnsen / Dustdar | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Aiello / Johnsen / Dustdar Service-Oriented and Cloud Computing

    5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44481-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koornneef / van Gulijk | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Koornneef / van Gulijk Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24254-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schoitsch | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Schoitsch Computer Safety, Reliability, and Security

    29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15650-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oliveira / Woodcock | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Oliveira / Woodcock Formal Methods: Foundations and Applications

    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10451-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paoli / Pimentel / Zavattaro | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    De Paoli / Pimentel / Zavattaro Service-Oriented and Cloud Computing

    First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33426-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jardim Nunes / Selic / Rodrigues da Silva | UML Modeling Languages and Applications | Buch | Sack Fachmedien

    Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications

    <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25081-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jardim Nunes / Selic / Rodrigues da Silva | UML Modeling Languages and Applications | eBook | Sack Fachmedien
    E-Book

    Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications

    <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
    2005
    Verlag: Springer
    ISBN: 978-3-540-31797-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bonsangue / Madelaine | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    Bonsangue / Madelaine Formal Methods for Components and Objects

    7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
    2009
    Verlag: Springer
    ISBN: 978-3-642-04167-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Buth / Rabe / Seyfarth | Computer Safety, Reliability, and Security | eBook | Sack Fachmedien
    E-Book

    Buth / Rabe / Seyfarth Computer Safety, Reliability, and Security

    28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04468-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ortmeier / Daniel | Computer Safety, Reliability, and Security | eBook | Sack Fachmedien
    E-Book

    Ortmeier / Daniel Computer Safety, Reliability, and Security

    31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-33678-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bravetti / Bultan | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Bultan Web Services and Formal Methods

    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19588-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koornneef / van Gulijk | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Koornneef / van Gulijk Computer Safety, Reliability, and Security

    SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24248-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeller / Höfig | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Zeller / Höfig Model-Based Safety and Assessment

    7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58919-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Lamersdorf / Pimentel | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Lau / Lamersdorf / Pimentel Service-Oriented and Cloud Computing

    Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40650-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonsangue / Graf / de Roever | Formal Methods for Components and Objects | eBook | Sack Fachmedien
    E-Book

    Bonsangue / Graf / de Roever Formal Methods for Components and Objects

    6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
    2008
    Verlag: Springer
    ISBN: 978-3-540-92188-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gallina / Skavhaug / Schoitsch | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Gallina / Skavhaug / Schoitsch Computer Safety, Reliability, and Security

    SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99228-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kritikos / Plebani / de Paoli | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Kritikos / Plebani / de Paoli Service-Oriented and Cloud Computing

    7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99818-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruni / Wolf | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bruni / Wolf Web Services and Formal Methods

    5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular