Ergebnisse filtern
Fachgebiet
Medium
  • 530
  • 492
Erscheinungsjahr
  • 8
  • 38
  • 45
  • 46
  • 65
  • 56
  • 65
  • 44
  • 72
  • 79
  • 70
  • 69
  • 66
  • 60
  • 66
  • 68
  • 49
  • 56
Autoren
  • 1
  • 1
  • 2
  • 6
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 6
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 8
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 14
  • 6
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 12
  • 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
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 8
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 5
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 5
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 4
  • 1
  • 4
  • 5
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 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
  • 2
  • 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
  • 5
  • 2
  • 6
  • 4
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 3
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 5
  • 3
  • 2
  • 2
  • 1
  • 3
  • 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
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 2
  • 2
  • 1
  • 2
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 4
  • 7
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 2
  • 4
  • 1
  • 3
  • 1
  • 4
  • 2
  • 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
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 6
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 8
  • 2
  • 4
  • 2
  • 5
  • 3
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 16
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 21
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
Verlag
  • 544
  • 98
  • 369
  • 10
  • 1
Preis
  • 72
  • 895
  • 55
Sprachen
  • 1022
Verfügbarkeit
  • 1022
Katalog
  • 1022
  • 17
1.022  Treffer  für „Programming and Software Engineering“
    Woolf / Lajoie / Aimeur | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Woolf / Lajoie / Aimeur Intelligent Tutoring Systems

    9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69130-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | eBook | Sack Fachmedien
    E-Book

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    2007
    Verlag: Springer
    ISBN: 978-3-540-71156-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments | eBook | Sack Fachmedien
    E-Book

    Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
    2007
    Verlag: Springer
    ISBN: 978-3-540-73110-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Eusgeld / Freiling / Reussner | Dependability Metrics | eBook | Sack Fachmedien
    E-Book

    Eusgeld / Freiling / Reussner Dependability Metrics

    GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures
    2008
    Verlag: Springer
    ISBN: 978-3-540-68947-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    46,00 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Colombo / Leucker | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Colombo / Leucker Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03769-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Derrick / Gnesi / Latella | Integrated Formal Methods | Buch | Sack Fachmedien

    Derrick / Gnesi / Latella Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30728-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romijn / Smith / van de Pol | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Romijn / Smith / van de Pol Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32240-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Butler / Jones / Romanovsky | Rigorous Development of Complex Fault-Tolerant Systems | eBook | Sack Fachmedien
    E-Book

    Butler / Jones / Romanovsky Rigorous Development of Complex Fault-Tolerant Systems

    2006
    Verlag: Springer
    ISBN: 978-3-540-48267-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    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
    Lierler / Taha | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Lierler / Taha Practical Aspects of Declarative Languages

    19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-51675-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / McIver / Oliveira | Formal Methods - The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / McIver / Oliveira Formal Methods - The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30941-1
    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
    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
    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
    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
    Fogli / Tetteroo / Barricelli | End-User Development | eBook | Sack Fachmedien
    E-Book

    Fogli / Tetteroo / Barricelli End-User Development

    8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-79840-6
    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

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