Ergebnisse filtern
Fachgebiet
Medium
  • 15
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 3
  • 3
  • 4
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 5
  • 10
Preis
  • 12
  • 3
Sprachen
  • 15
Verfügbarkeit
  • 15
Katalog
  • 15

Interdisziplinäres

15  Treffer  für „Programming and Software Engineering“
    Chaudron / Reussner / Szyperski | Component-Based Software Engineering | Buch | Sack Fachmedien

    Chaudron / Reussner / Szyperski Component-Based Software Engineering

    11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87890-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marquardt / Nagl | Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support | Buch | Sack Fachmedien

    Marquardt / Nagl Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support

    Results of the IMPROVE Project
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70551-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois | Tests and Proofs | Buch | Sack Fachmedien

    Dubois Tests and Proofs

    Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02948-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treharne / Schneider / King | ZB 2005: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Treharne / Schneider / King ZB 2005: Formal Specification and Development in Z and B

    4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25559-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Ungerer / Jin | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    Yang / Ungerer / Jin Autonomic and Trusted Computing

    Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-38619-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Pol / Haverkort | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Pol / Haverkort Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Górski | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Górski Computer Safety, Reliability, and Security

    25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45762-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oster / Saglietti | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Oster / Saglietti Computer Safety, Reliability, and Security

    26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75100-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winther / Dahll / Gran | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Winther / Dahll / Gran Computer Safety, Reliability, and Security

    24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29200-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilroy / Harrison | Interactive Systems. Design Specification, and Verification | Buch | Sack Fachmedien

    Gilroy / Harrison Interactive Systems. Design Specification, and Verification

    12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34145-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coninx / Luyten / Schneider | Task Models and Diagrams for Users Interface Design | Buch | Sack Fachmedien

    Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design

    5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70815-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm | Variations on Constants | Buch | Sack Fachmedien

    Müller-Olm Variations on Constants

    Flow Analysis of Sequential and Parallel Programs
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45385-7
    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
    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
    Leucker | Runtime Verification | Buch | Sack Fachmedien

    Leucker Runtime Verification

    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89246-5
    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