Ergebnisse filtern
Fachgebiet
Medium
  • 498
  • 146
Erscheinungsjahr
  • 5
  • 17
  • 33
  • 39
  • 55
  • 46
  • 34
  • 37
  • 34
  • 56
  • 46
  • 45
  • 43
  • 31
  • 35
  • 30
  • 25
  • 33
Autoren
  • 2
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 9
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 6
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 7
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 4
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 2
  • 6
  • 1
  • 2
  • 2
  • 8
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 5
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 5
  • 1
  • 1
  • 2
  • 1
  • 3
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 4
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 4
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 7
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 10
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
Verlag
  • 555
  • 87
  • 1
  • 1
Preis
  • 51
  • 556
  • 37
Sprachen
  • 644
Verfügbarkeit
  • 644
Katalog
  • 644
  • 21
644  Treffer  für „Programming and Software Engineering“
    Holvoet / Viroli | Coordination Models and Languages | eBook | Sack Fachmedien
    E-Book

    Holvoet / Viroli Coordination Models and Languages

    17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19282-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Riis Nielson / Tuosto | Coordination Models and Languages | Buch | Sack Fachmedien

    Riis Nielson / Tuosto Coordination Models and Languages

    21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22396-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    González Nieto / Wang / Reif | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    González Nieto / Wang / Reif Autonomic and Trusted Computing

    6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02703-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xie / Branke / Sadjadi | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    Xie / Branke / Sadjadi Autonomic and Trusted Computing

    7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16575-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking

    Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sirjani | Coordination Models and Languages | Buch | Sack Fachmedien

    Sirjani Coordination Models and Languages

    14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30828-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alcaraz Calero / Yang / Gomez-Marmol | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    Alcaraz Calero / Yang / Gomez-Marmol Autonomic and Trusted Computing

    8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23495-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking

    12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-84923-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorentla Venkata / Imam / Pophale | OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence | Buch | Sack Fachmedien

    Gorentla Venkata / Imam / Pophale OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

    4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73813-0
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Troubitsyna / Bitsch | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Romanovsky / Troubitsyna / Bitsch Computer Safety, Reliability, and Security

    38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-26600-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tonetta / Schoitsch / Bitsch | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Tonetta / Schoitsch / Bitsch Computer Safety, Reliability, and Security

    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66283-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Kolovos / Wimmer | Theory and Practice of Model Transformations | eBook | Sack Fachmedien
    E-Book

    Kolovos / Wimmer Theory and Practice of Model Transformations

    8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21155-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    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
    Erscheinungsjahr 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
    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
    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
    Saglietti / Oster | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Saglietti / Oster Computer Safety, Reliability, and Security

    26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75100-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozzano / Papadopoulos | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Bozzano / Papadopoulos Model-Based Safety and Assessment

    5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64118-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maruyama / de Supinski / Wahib | OpenMP: Memory, Devices, and Tasks | Buch | Sack Fachmedien

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

    12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45549-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    De Paoli / Schulte / Broch Johnsen | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    De Paoli / Schulte / Broch Johnsen 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
    ISBN: 978-3-319-67261-8
    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 | eBook | Sack Fachmedien
    E-Book

    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 International Publishing
    ISBN: 978-3-319-33951-1
    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 | eBook | Sack Fachmedien
    E-Book

    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
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99229-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Braga / Martí-Oliet | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Braga / Martí-Oliet Formal Methods: Foundations and Applications

    17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-15074-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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