Ergebnisse filtern
Fachgebiet
Medium
  • 517
  • 498
Erscheinungsjahr
  • 8
  • 36
  • 53
  • 42
  • 62
  • 58
  • 63
  • 42
  • 71
  • 78
  • 69
  • 68
  • 66
  • 60
  • 66
  • 68
  • 49
  • 56
Autoren
  • 1
  • 2
  • 7
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 3
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 6
  • 2
  • 4
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 9
  • 1
  • 1
  • 6
  • 1
  • 2
  • 2
  • 2
  • 14
  • 6
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 7
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 8
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 5
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 6
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 4
  • 1
  • 4
  • 5
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 5
  • 1
  • 2
  • 1
  • 7
  • 1
  • 3
  • 4
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 3
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 5
  • 3
  • 2
  • 3
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 5
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 2
  • 5
  • 1
  • 5
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 4
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 4
  • 4
  • 7
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 2
  • 4
  • 1
  • 3
  • 1
  • 4
  • 3
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 3
  • 3
  • 2
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 5
  • 4
  • 2
  • 5
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 8
  • 2
  • 4
  • 2
  • 5
  • 3
  • 4
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 8
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 16
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 2
  • 20
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 16
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
Verlag
  • 518
  • 98
  • 388
  • 10
  • 1
Preis
  • 70
  • 893
  • 52
Sprachen
  • 1015
Verfügbarkeit
  • 1015
Katalog
  • 1015
  • 17
1.015  Treffer  für „Programming and Software Engineering“
    Cerqueira / Campbell | Middleware 2007 | eBook | Sack Fachmedien
    E-Book

    Cerqueira / Campbell Middleware 2007

    ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-76778-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Müller / de Supinski / Chapman | Evolving OpenMP in an Age of Extreme Parallelism | eBook | Sack Fachmedien
    E-Book

    Müller / de Supinski / Chapman Evolving OpenMP in an Age of Extreme Parallelism

    5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02303-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Su / Palsberg | Static Analysis | Buch | Sack Fachmedien

    Su / Palsberg Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ravenscroft / Hernández-Leo / Lindstaedt | 21st Century Learning for 21st Century Skills | Buch | Sack Fachmedien

    Ravenscroft / Hernández-Leo / Lindstaedt 21st Century Learning for 21st Century Skills

    7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramowicz / Llorente / Surridge | Towards a Service-Based Internet | Buch | Sack Fachmedien

    Abramowicz / Llorente / Surridge Towards a Service-Based Internet

    4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24754-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Person / Goodloe | NASA Formal Methods | Buch | Sack Fachmedien

    Person / Goodloe NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trausan-Matu / Boyer / Crosby | Intelligent Tutoring Systems | eBook | Sack Fachmedien
    E-Book

    Trausan-Matu / Boyer / Crosby Intelligent Tutoring Systems

    12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07221-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Milfeld / de Supinski / Koesterke | OpenMP: Portable Multi-Level Parallelism on Modern Systems | eBook | Sack Fachmedien
    E-Book

    Milfeld / de Supinski / Koesterke OpenMP: Portable Multi-Level Parallelism on Modern Systems

    16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58144-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Havelund / Holzmann / Joshi | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Havelund / Holzmann / Joshi NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17524-9
    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
    Dutle / Narkawicz / Muñoz | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Narkawicz / Muñoz NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77934-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Muñoz / Narkawicz | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Dutle / Muñoz / Narkawicz NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77935-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zavattaro / Steffen | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Zavattaro / Steffen 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 Berlin Heidelberg
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Schulte | FM 2011: Formal Methods | Buch | Sack Fachmedien

    Butler / Schulte FM 2011: Formal Methods

    17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21436-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dan / Gittler / Toumani | Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops | Buch | Sack Fachmedien

    Dan / Gittler / Toumani Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops

    International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16131-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Dams | FM 2009: Formal Methods | Buch | Sack Fachmedien

    Cavalcanti / Dams FM 2009: Formal Methods

    Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-05088-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Bonsangue | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Johnsen / Bonsangue Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72919-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rose / Hirschfeld | Self-Sustaining Systems | Buch | Sack Fachmedien

    Rose / Hirschfeld Self-Sustaining Systems

    First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89274-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kowalewski / Roveri | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Kowalewski / Roveri Formal Methods for Industrial Critical Systems

    15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15897-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kumar / Troussas | Intelligent Tutoring Systems | eBook | Sack Fachmedien
    E-Book

    Kumar / Troussas Intelligent Tutoring Systems

    16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-49663-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brat / Venet / Rungta | NASA Formal Methods | Buch | Sack Fachmedien

    Brat / Venet / Rungta NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Howar / Barnat | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Howar / Barnat Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00244-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yi | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Yi Static Analysis

    13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-37758-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Krämer / Lin / Narasimhan | Service-Oriented Computing - ICSOC 2007 | eBook | Sack Fachmedien
    E-Book

    Krämer / Lin / Narasimhan Service-Oriented Computing - ICSOC 2007

    Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-74974-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cofer / Fantechi | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Cofer / Fantechi Formal Methods for Industrial Critical Systems

    13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-03240-0
    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