Ergebnisse filtern
Fachgebiet
Medium
  • 516
  • 509
Erscheinungsjahr
  • 9
  • 39
  • 55
  • 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
  • 5
  • 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
  • 6
  • 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
  • 401
  • 17
Preis
  • 81
  • 900
  • 44
Sprachen
  • 1025
Verfügbarkeit
  • 1025
Katalog
  • 1025
  • 19
1.025  Treffer  für „Programming and Software Engineering“
    Hatcliff / Zucca | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Hatcliff / Zucca Formal Techniques for Distributed Systems

    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13463-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swift / Gill | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Swift / Gill Practical Aspects of Declarative Languages

    11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92994-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitek | Objects, Models, Components, Patterns | eBook | Sack Fachmedien
    E-Book

    Vitek Objects, Models, Components, Patterns

    48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13953-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hanus | Practical Aspects of Declarative Languages | eBook | Sack Fachmedien
    E-Book

    Hanus Practical Aspects of Declarative Languages

    9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-69611-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dongol / Troubitsyna | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Dongol / Troubitsyna Integrated Formal Methods

    16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63461-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barnes | Ada 2005 Rationale | eBook | Sack Fachmedien
    E-Book

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    2008
    Verlag: Springer
    ISBN: 978-3-540-79701-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bruni / Dingel | Formal Techniques for Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Bruni / Dingel Formal Techniques for Distributed Systems

    Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-21461-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Troubitsyna / Dongol | Integrated Formal Methods | Buch | Sack Fachmedien

    Troubitsyna / Dongol Integrated Formal Methods

    16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63460-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Romanovsky / Gacek | Architecting Dependable Systems III | Buch | Sack Fachmedien

    Lemos / Romanovsky / Gacek Architecting Dependable Systems III

    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Südholt / Consel | Object-Oriented Technology.ECOOP 2006 Workshop Reader | eBook | Sack Fachmedien
    E-Book

    Südholt / Consel Object-Oriented Technology.ECOOP 2006 Workshop Reader

    ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
    2007
    Verlag: Springer
    ISBN: 978-3-540-71774-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pichardie / Sighireanu | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Pichardie / Sighireanu Static Analysis

    27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-65474-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lohstroh / Sirjani / Derler | Principles of Modeling | Buch | Sack Fachmedien

    Lohstroh / Sirjani / Derler Principles of Modeling

    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95245-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoelinga / Pinger | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Stoelinga / Pinger Formal Methods for Industrial Critical Systems

    17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32469-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Devitt / Lanese | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Devitt / Lanese Reversible Computation

    8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40578-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lee / Lopes / Poetzsch-Heffter | Formal Techniques for Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Lee / Lopes / Poetzsch-Heffter Formal Techniques for Distributed Systems

    Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02138-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bruni / Dingel | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Bruni / Dingel Formal Techniques for Distributed Systems

    Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Gibbons | Bidirectional Transformations | Buch | Sack Fachmedien

    Stevens / Gibbons Bidirectional Transformations

    International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-79107-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Bensalem | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Legay / Bensalem Runtime Verification

    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40787-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Issarny / Cooper | Middleware 2009 | eBook | Sack Fachmedien
    E-Book

    Issarny / Cooper Middleware 2009

    ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10445-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    de Lemos / Giandomenico / Gacek | Architecting Dependable Systems V | eBook | Sack Fachmedien
    E-Book

    de Lemos / Giandomenico / Gacek Architecting Dependable Systems V

    2008
    Verlag: Springer
    ISBN: 978-3-540-85571-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dearle / Eisenbach | Component Deployment | eBook | Sack Fachmedien
    E-Book

    Dearle / Eisenbach Component Deployment

    Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32281-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yokoyama / Yamashita | Reversible Computation | Buch | Sack Fachmedien

    Yokoyama / Yamashita Reversible Computation

    13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-79836-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Südholt / Consel | Object-Oriented Technology.ECOOP 2006 Workshop Reader | Buch | Sack Fachmedien

    Südholt / Consel Object-Oriented Technology.ECOOP 2006 Workshop Reader

    ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71772-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panetto / Debruyne / Hepp | On the Move to Meaningful Internet Systems: OTM 2019 Conferences | eBook | Sack Fachmedien
    E-Book

    Panetto / Debruyne / Hepp On the Move to Meaningful Internet Systems: OTM 2019 Conferences

    Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-33246-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hatcliff / Zucca | Formal Techniques for Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Hatcliff / Zucca Formal Techniques for Distributed Systems

    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13464-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