Ergebnisse filtern
Fachgebiet
Medium
  • 514
  • 505
Erscheinungsjahr
  • 8
  • 34
  • 51
  • 47
  • 65
  • 64
  • 64
  • 57
  • 56
  • 84
  • 64
  • 64
  • 59
  • 53
  • 68
  • 72
  • 51
  • 58
Autoren
  • 2
  • 1
  • 2
  • 10
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 4
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 6
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 12
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 13
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 12
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 2
  • 4
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 5
  • 4
  • 1
  • 4
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 3
  • 1
  • 4
  • 6
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 3
  • 6
  • 2
  • 2
  • 7
  • 1
  • 3
  • 1
  • 1
  • 6
  • 4
  • 8
  • 4
  • 1
  • 1
  • 2
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 9
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 6
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 3
  • 2
  • 5
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 3
  • 6
  • 1
  • 5
  • 6
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 6
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 11
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 4
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 7
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 13
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 12
  • 2
  • 16
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 10
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 511
  • 87
  • 407
  • 13
  • 1
Preis
  • 80
  • 895
  • 44
Sprachen
  • 1019
Verfügbarkeit
  • 1018
  • 1
Katalog
  • 1019
  • 16
1.019  Treffer  für „Programming and Software Engineering“
    Poess / Nambiar | Performance Evaluation and Benchmarking for the Era of Cloud(s) | Buch | Sack Fachmedien

    Poess / Nambiar Performance Evaluation and Benchmarking for the Era of Cloud(s)

    11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-55023-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lastovetsky / Dongarra / Kechadi | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Lastovetsky / Dongarra / Kechadi Recent Advances in Parallel Virtual Machine and Message Passing Interface

    15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87474-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Martino / Dongarra / Kranzlmüller | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Di Martino / Dongarra / Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface

    12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29009-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lastovetsky / Kechadi / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | eBook | Sack Fachmedien
    E-Book

    Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-87475-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ropo / Westerholm / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | eBook | Sack Fachmedien
    E-Book

    Ropo / Westerholm / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03770-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Simonic / Holzinger | Information Quality in e-Health | Buch | Sack Fachmedien

    Simonic / Holzinger Information Quality in e-Health

    7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-25363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pophale / Imam / Aderholdt | OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity | eBook | Sack Fachmedien
    E-Book

    Pophale / Imam / Aderholdt OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity

    5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04918-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / Degano / Zavattaro | Formal Methods for Computational Systems Biology | eBook | Sack Fachmedien
    E-Book

    Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
    2008
    Verlag: Springer
    ISBN: 978-3-540-68894-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Poess / Nambiar | Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things | Buch | Sack Fachmedien

    Poess / Nambiar Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things

    7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31408-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Cimatti | Formal Methods for Hardware Verification | eBook | Sack Fachmedien
    E-Book

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    2006
    Verlag: Springer
    ISBN: 978-3-540-34305-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / De Nicola / Hillston | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | eBook | Sack Fachmedien
    E-Book

    Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-34096-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / Padovani / Zavattaro | Formal Methods for Web Services | Buch | Sack Fachmedien

    Bernardo / Padovani / Zavattaro Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01917-3
    Medium: Buch
    49,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Wiklicky / de Vink | Formal Methods for Dynamical Systems | Buch | Sack Fachmedien

    Bernardo / Wiklicky / de Vink Formal Methods for Dynamical Systems

    13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
    2013
    Verlag: Springer
    ISBN: 978-3-642-38873-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Padovani / Zavattaro | Formal Methods for Web Services | eBook | Sack Fachmedien
    E-Book

    Bernardo / Padovani / Zavattaro Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
    2009
    Verlag: Springer
    ISBN: 978-3-642-01918-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / Hillston | Formal Methods for Performance Evaluation | eBook | Sack Fachmedien
    E-Book

    Bernardo / Hillston Formal Methods for Performance Evaluation

    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    2007
    Verlag: Springer
    ISBN: 978-3-540-72522-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bencomo / France / Cheng | Models@run.time | eBook | Sack Fachmedien
    E-Book

    Bencomo / France / Cheng Models@run.time

    Foundations, Applications, and Roadmaps
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08915-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Zhang | Secure Transaction Protocol Analysis | eBook | Sack Fachmedien
    E-Book

    Chen / Zhang Secure Transaction Protocol Analysis

    Models and Applications
    2008
    Verlag: Springer
    ISBN: 978-3-540-85074-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bartocci / Falcone | Lectures on Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Bartocci / Falcone Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75632-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Zhang | Secure Transaction Protocol Analysis | Buch | Sack Fachmedien

    Chen / Zhang Secure Transaction Protocol Analysis

    Models and Applications
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85073-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cámara / Lopes / de Lemos | Assurances for Self-Adaptive Systems | Buch | Sack Fachmedien

    Cámara / Lopes / de Lemos Assurances for Self-Adaptive Systems

    Principles, Models, and Techniques
    2013
    Verlag: Springer
    ISBN: 978-3-642-36248-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falcone / Bartocci | Lectures on Runtime Verification | Buch | Sack Fachmedien

    Falcone / Bartocci Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75631-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aßmann / Aksit / Rensink | Model Driven Architecture | Buch | Sack Fachmedien

    Aßmann / Aksit / Rensink Model Driven Architecture

    European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28240-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahringer / Prodan | Grid Computing | Buch | Sack Fachmedien

    Fahringer / Prodan Grid Computing

    Experiment Management, Tool Integration, and Scientific Workflows
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69261-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clavel / Durán / Eker | All About Maude - A High-Performance Logical Framework | eBook | Sack Fachmedien
    E-Book

    Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework

    How to Specify, Program, and Verify Systems in Rewriting Logic
    2007
    Verlag: Springer
    ISBN: 978-3-540-71999-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ghose / Zhu / Yu | Service-Oriented Computing - ICSOC Workshops 2012 | eBook | Sack Fachmedien
    E-Book

    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 Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-37804-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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