Ergebnisse filtern
Fachgebiet
Medium
  • 505
  • 499
Erscheinungsjahr
  • 8
  • 34
  • 51
  • 46
  • 65
  • 64
  • 68
  • 53
  • 56
  • 84
  • 64
  • 63
  • 61
  • 56
  • 67
  • 63
  • 48
  • 53
Autoren
  • 2
  • 1
  • 2
  • 9
  • 4
  • 1
  • 2
  • 1
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 6
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 7
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 10
  • 6
  • 2
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 13
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 5
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 6
  • 3
  • 1
  • 4
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 2
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 1
  • 4
  • 1
  • 6
  • 3
  • 7
  • 4
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 9
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 4
  • 2
  • 5
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 1
  • 4
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 4
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 4
  • 3
  • 5
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 1
  • 3
  • 3
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 6
  • 2
  • 1
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 5
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 5
  • 6
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 14
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 15
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 10
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 500
  • 87
  • 403
  • 13
  • 1
Preis
  • 78
  • 880
  • 46
Sprachen
  • 1004
Verfügbarkeit
  • 1003
  • 1
Katalog
  • 1004
  • 16
1.004  Treffer  für „Programming and Software Engineering“
    Habli / Sujan / Bitsch | Computer Safety, Reliability, and Security | eBook | Sack Fachmedien
    E-Book

    Habli / Sujan / Bitsch Computer Safety, Reliability, and Security

    40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-83903-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Di Giandomenico / Bondavalli | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Di Giandomenico / Bondavalli Computer Safety, Reliability, and Security

    33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10505-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeller / Höfig | Model-Based Safety and Assessment | eBook | Sack Fachmedien
    E-Book

    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 International Publishing
    ISBN: 978-3-030-58920-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    van Gulijk / Koornneef | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    van Gulijk / Koornneef Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24254-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paoli / Broch Johnsen / Schulte | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    De Paoli / Broch Johnsen / Schulte Service-Oriented and Cloud Computing

    6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67261-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papadopoulos / Aslansefat / Katsaros | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Papadopoulos / Aslansefat / Katsaros Model-Based Safety and Assessment

    6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32871-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casimiro / Ortmeier / Bitsch | Computer Safety, Reliability, and Security | eBook | Sack Fachmedien
    E-Book

    Casimiro / Ortmeier / Bitsch Computer Safety, Reliability, and Security

    39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-54549-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bondavalli / Ortmeier / Ceccarelli | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

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

    SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10556-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Górski | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Górski Computer Safety, Reliability, and Security

    25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45762-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dustdar / Villari / Leymann | Service Oriented and Cloud Computing | Buch | Sack Fachmedien

    Dustdar / Villari / Leymann Service Oriented and Cloud Computing

    4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24071-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maruyama / Wahib / de Supinski | OpenMP: Memory, Devices, and Tasks | Buch | Sack Fachmedien

    Maruyama / Wahib / de Supinski OpenMP: Memory, Devices, and Tasks

    12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45549-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papadopoulos / Bozzano | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Papadopoulos / Bozzano Model-Based Safety and Assessment

    5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-64118-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaeli | Computer Performance Evaluation and Benchmarking | eBook | Sack Fachmedien
    E-Book

    Kaeli Computer Performance Evaluation and Benchmarking

    SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-540-93799-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Davies / Silva / Simao | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Davies / Silva / Simao Formal Methods: Foundations and Applications

    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19828-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winther / Gran / Dahll | Computer Safety, Reliability, and Security | eBook | Sack Fachmedien
    E-Book

    Winther / Gran / Dahll Computer Safety, Reliability, and Security

    24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32000-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blass / Dershowitz / Reisig | Fields of Logic and Computation | Buch | Sack Fachmedien

    Blass / Dershowitz / Reisig Fields of Logic and Computation

    Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15024-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbone / Petit | Web Services and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Carbone / Petit Web Services and Formal Methods

    8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29834-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Davies / Silva / Simao | Formal Methods: Foundations and Applications | eBook | Sack Fachmedien
    E-Book

    Davies / Silva / Simao Formal Methods: Foundations and Applications

    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19829-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Flammini / Bologna / Vittorini | Computer Safety, Reliability, and Security | eBook | Sack Fachmedien
    E-Book

    Flammini / Bologna / Vittorini Computer Safety, Reliability, and Security

    30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24270-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kritikos / de Paoli / Plebani | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Kritikos / de Paoli / Plebani 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 International Publishing
    ISBN: 978-3-319-99818-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bitsch / Kaâniche / Guiochet | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bitsch / Kaâniche / Guiochet Computer Safety, Reliability, and Security

    32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40792-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skavhaug / Bitsch / Guiochet | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Skavhaug / Bitsch / Guiochet Computer Safety, Reliability, and Security

    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45476-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Villari / Lau / Zimmermann | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Villari / Lau / Zimmermann Service-Oriented and Cloud Computing

    Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-44878-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Bruni | Web Services and Formal Methods | Buch | Sack Fachmedien

    Wolf / Bruni Web Services and Formal Methods

    5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Pol / Haverkort | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Pol / Haverkort 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, R
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70951-0
    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