Ergebnisse filtern
Fachgebiet
Medium
  • 515
  • 509
Erscheinungsjahr
  • 9
  • 39
  • 54
  • 46
  • 66
  • 50
  • 53
  • 54
  • 59
  • 82
  • 71
  • 68
  • 67
  • 58
  • 70
  • 66
  • 53
  • 59
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
  • 2
  • 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
  • 14
  • 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
  • 2
  • 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
  • 4
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 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
  • 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
  • 4
  • 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
  • 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
  • 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
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 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
  • 3
  • 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
  • 10
  • 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
  • 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
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 3
  • 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
  • 8
  • 2
  • 3
  • 4
  • 2
  • 2
  • 10
  • 16
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 5
  • 2
  • 6
  • 2
  • 2
  • 7
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 6
  • 3
  • 3
  • 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
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 517
  • 90
  • 400
  • 17
Preis
  • 81
  • 899
  • 44
Sprachen
  • 1024
Verfügbarkeit
  • 1024
Katalog
  • 1024
  • 19
1.024  Treffer  für „Programming and Software Engineering“
    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
    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
    Grossmann / Ram | Advances in Conceptual Modeling | eBook | Sack Fachmedien
    E-Book

    Grossmann / Ram Advances in Conceptual Modeling

    ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-65847-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Majumdar / Bartocci | Runtime Verification | Buch | Sack Fachmedien

    Majumdar / Bartocci Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Deshmukh / Nickovic / Nickovic | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Deshmukh / Nickovic / 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-60508-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chapman / Gropp / Kumaran | OpenMP in the Petascale Era | eBook | Sack Fachmedien
    E-Book

    Chapman / Gropp / Kumaran OpenMP in the Petascale Era

    7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-21487-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Winter / Furia | Integrated Formal Methods | Buch | Sack Fachmedien

    Winter / Furia Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-98937-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    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
    Ulidowski / Kari | Reversible Computation | Buch | Sack Fachmedien

    Ulidowski / Kari Reversible Computation

    10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99497-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duval / Klamma / Wolpers | Creating New Learning Experiences on a Global Scale | Buch | Sack Fachmedien

    Duval / Klamma / Wolpers Creating New Learning Experiences on a Global Scale

    Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75194-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lluch Lafuente / Mavridou | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Lluch Lafuente / Mavridou Formal Methods for Industrial Critical Systems

    26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85248-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Steffen / Zavattaro | Formal Methods for Open Object-Based Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31556-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Ikeda / Ashlay / Chan | Intelligent Tutoring Systems | eBook | Sack Fachmedien
    E-Book

    Ikeda / Ashlay / Chan Intelligent Tutoring Systems

    8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-35160-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grumberg / Kaminski / Katz | Languages: From Formal to Natural | eBook | Sack Fachmedien
    E-Book

    Grumberg / Kaminski / Katz Languages: From Formal to Natural

    Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-01748-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dan / Lamersdorf | Service-Oriented Computing - ICSOC 2006 | eBook | Sack Fachmedien
    E-Book

    Dan / Lamersdorf Service-Oriented Computing - ICSOC 2006

    4th International Conference, Chicago, IL, USA, December 4-7, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-68148-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Georgakopoulos / Ritter / Benatallah | Service-Oriented Computing ICSOC 2006 | eBook | Sack Fachmedien
    E-Book

    Georgakopoulos / Ritter / Benatallah Service-Oriented Computing ICSOC 2006

    4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-75492-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barnes | Ada 2012 Rationale | eBook | Sack Fachmedien
    E-Book

    Barnes Ada 2012 Rationale

    The Language -- The Standard Libraries
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45210-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Beyer / Boreale | Formal Techniques for Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Beyer / Boreale Formal Techniques for Distributed Systems

    Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38592-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Logozzo / Fähndrich | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Logozzo / Fähndrich Static Analysis

    20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38856-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cousot / Martel | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Cousot / Martel Static Analysis

    17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15769-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gupta / Mascolo | Middleware 2010 | eBook | Sack Fachmedien
    E-Book

    Gupta / Mascolo Middleware 2010

    ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16955-7
    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