Ergebnisse filtern
Fachgebiet
Medium
  • 512
  • 509
Erscheinungsjahr
  • 9
  • 39
  • 55
  • 47
  • 65
  • 50
  • 53
  • 54
  • 59
  • 82
  • 71
  • 65
  • 67
  • 58
  • 70
  • 66
  • 53
  • 58
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
  • 1
  • 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
  • 13
  • 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
  • 3
  • 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
  • 3
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 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
  • 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
  • 1
  • 3
  • 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
  • 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
  • 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
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 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
  • 2
  • 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
  • 11
  • 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
  • 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
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 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
  • 7
  • 2
  • 3
  • 4
  • 2
  • 2
  • 10
  • 16
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 7
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 4
  • 2
  • 6
  • 2
  • 2
  • 6
  • 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
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 6
  • 3
  • 2
  • 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
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 513
  • 90
  • 401
  • 17
Preis
  • 81
  • 896
  • 44
Sprachen
  • 1021
Verfügbarkeit
  • 1021
Katalog
  • 1021
  • 19
1.021  Treffer  für „Programming and Software Engineering“
    Cress / Dimitrova / Specht | Learning in the Synergy of Multiple Disciplines | eBook | Sack Fachmedien
    E-Book

    Cress / Dimitrova / Specht Learning in the Synergy of Multiple Disciplines

    4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04636-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Serhani / Zhang | Services – SERVICES 2021 | eBook | Sack Fachmedien
    E-Book

    Serhani / Zhang Services – SERVICES 2021

    17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-96585-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dueck / Miller | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Dueck / Miller Reversible Computation

    5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38986-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ferreira / Musaev / Zhang | Services Computing – SCC 2019 | eBook | Sack Fachmedien
    E-Book

    Ferreira / Musaev / Zhang Services Computing – SCC 2019

    16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23554-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bonakdarpour / Smolka | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Bonakdarpour / Smolka Runtime Verification

    5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11164-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schürr / Varró | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Schürr / Varró Applications of Graph Transformations with Industrial Relevance

    4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34175-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nickovic / Deshmukh / Nickovic | Runtime Verification | Buch | Sack Fachmedien

    Nickovic / Deshmukh / Nickovic Runtime Verification

    20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-60507-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alpuente / Vidal-Oriola | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Alpuente / Vidal-Oriola Static Analysis

    15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-69166-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sen / Khurshid | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Sen / Khurshid Runtime Verification

    Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29860-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Podelski | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Podelski Static Analysis

    25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99725-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Larsen / Willemse | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Larsen / Willemse Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27008-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ahrendt / Tapia Tarifa | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Ahrendt / Tapia Tarifa Integrated Formal Methods

    15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-34968-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Østvold / Malenfant | Object-Oriented Technology. ECOOP 2004 Workshop Reader | Buch | Sack Fachmedien

    Østvold / Malenfant Object-Oriented Technology. ECOOP 2004 Workshop Reader

    ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23988-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Peleska / Roscoe | Formal Methods | eBook | Sack Fachmedien
    E-Book

    Havelund / Peleska / Roscoe Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95582-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Miller / Dueck | Reversible Computation | Buch | Sack Fachmedien

    Miller / Dueck Reversible Computation

    5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38985-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Joshi / Holzmann | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Joshi / Holzmann NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ludwig / Toumani | Service-Oriented Computing | eBook | Sack Fachmedien
    E-Book

    Liu / Ludwig / Toumani Service-Oriented Computing

    10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34321-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fähndrich / Logozzo | Static Analysis | Buch | Sack Fachmedien

    Fähndrich / Logozzo Static Analysis

    20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38855-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Martel | Static Analysis | Buch | Sack Fachmedien

    Cousot / Martel Static Analysis

    17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15768-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dony / Tripathi / Knudsen | Advanced Topics in Exception Handling Techniques | Buch | Sack Fachmedien

    Dony / Tripathi / Knudsen Advanced Topics in Exception Handling Techniques

    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37443-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Triantafillou / Narasimhan | Middleware 2012 | Buch | Sack Fachmedien

    Triantafillou / Narasimhan Middleware 2012

    ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-35169-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Zhang / Musaev | Services Computing - SCC 2019 | Buch | Sack Fachmedien

    Ferreira / Zhang / Musaev Services Computing - SCC 2019

    16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23553-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Zaroliagis | Applied Algorithms | eBook | Sack Fachmedien
    E-Book

    Gupta / Zaroliagis Applied Algorithms

    First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04126-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Flammini / Lang | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Flammini / Lang Formal Methods for Industrial Critical Systems

    19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10701-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fan / de Supinski / Sinnen | OpenMP: Conquering the Full Hardware Spectrum | eBook | Sack Fachmedien
    E-Book

    Fan / de Supinski / Sinnen OpenMP: Conquering the Full Hardware Spectrum

    15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-28596-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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