Ergebnisse filtern
Fachgebiet
Medium
  • 514
  • 505
Erscheinungsjahr
  • 8
  • 35
  • 51
  • 46
  • 65
  • 64
  • 65
  • 57
  • 56
  • 84
  • 64
  • 64
  • 59
  • 52
  • 68
  • 72
  • 51
  • 58
Autoren
  • 2
  • 1
  • 2
  • 10
  • 2
  • 1
  • 2
  • 1
  • 5
  • 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
  • 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
  • 1
  • 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
  • 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
  • 11
  • 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
  • 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
  • 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
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 510
  • 87
  • 408
  • 13
  • 1
Preis
  • 80
  • 895
  • 44
Sprachen
  • 1019
Verfügbarkeit
  • 1018
  • 1
Katalog
  • 1019
  • 16
1.019  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
    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
    Taha / Lierler | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Taha / Lierler Practical Aspects of Declarative Languages

    19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-51675-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Chang | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Chang Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32304-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Perri / Cheney | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Perri / Cheney Practical Aspects of Declarative Languages

    24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-94478-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Hanus | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hanus Practical Aspects of Declarative Languages

    9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-69608-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bikakis / Roman / Fodor | Rules on the Web: From Theory to Applications | Buch | Sack Fachmedien

    Bikakis / Roman / Fodor Rules on the Web: From Theory to Applications

    8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09869-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Komendantskaya / Liu | Practical Aspects of Declarative Languages | eBook | Sack Fachmedien
    E-Book

    Komendantskaya / Liu Practical Aspects of Declarative Languages

    22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-39197-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lemos / Gacek / Romanovsky | Architecting Dependable Systems III | eBook | Sack Fachmedien
    E-Book

    Lemos / Gacek / Romanovsky Architecting Dependable Systems III

    2005
    Verlag: Springer
    ISBN: 978-3-540-31648-0
    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
    Combemale / Cheng / France | Globalizing Domain-Specific Languages | eBook | Sack Fachmedien
    E-Book

    Combemale / Cheng / France Globalizing Domain-Specific Languages

    International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26172-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    42,79 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    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
    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
    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
    Güdemann / Núñez | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Güdemann / Núñez Formal Methods for Industrial Critical Systems

    20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19457-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barrett / Kahsai / Davies | NASA Formal Methods | Buch | Sack Fachmedien

    Barrett / Kahsai / Davies NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57287-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    Voigtländer / Hinze | Mathematics of Program Construction | Buch | Sack Fachmedien

    Voigtländer / Hinze Mathematics of Program Construction

    12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19796-8
    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