Ergebnisse filtern
Fachgebiet
Medium
  • 46
Erscheinungsjahr
  • 2
  • 8
  • 10
  • 11
  • 15
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
Verlag
  • 46
Preis
  • 1
  • 37
  • 8
Sprachen
  • 46
Verfügbarkeit
  • 46
Katalog
  • 46
  • 4
46  Treffer  für „Programming and Software Engineering“
    Hartman / Kreische | Model Driven Architecture - Foundations and Applications | Buch | Sack Fachmedien

    Hartman / Kreische Model Driven Architecture - Foundations and Applications

    First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30026-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jardim Nunes / Selic / Rodrigues da Silva | UML Modeling Languages and Applications | Buch | Sack Fachmedien

    Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications

    <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25081-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akehurst / Vogel / Paige | Model Driven Architecture - Foundations and Applications | Buch | Sack Fachmedien

    Akehurst / Vogel / Paige Model Driven Architecture - Foundations and Applications

    Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72900-6
    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
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45762-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Tsay | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Peled / Tsay Automated Technology for Verification and Analysis

    Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29209-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rensink / Warmer | Model-Driven Architecture - Foundations and Applications | Buch | Sack Fachmedien

    Rensink / Warmer Model-Driven Architecture - Foundations and Applications

    Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35909-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Degano / Zavattaro | Formal Methods for Computational Systems Biology | Buch | Sack Fachmedien

    Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68892-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Cimatti | Formal Methods for Hardware Verification | Buch | Sack Fachmedien

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34304-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Hillston | Formal Methods for Performance Evaluation | Buch | Sack Fachmedien

    Bernardo / Hillston Formal Methods for Performance Evaluation

    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72482-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Padovani / Zavattaro | Formal Methods for Web Services | Buch | Sack Fachmedien

    Bernardo / Padovani / Zavattaro Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01917-3
    Medium: Buch
    49,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Bogliolo | Formal Methods for Mobile Computing | Buch | Sack Fachmedien

    Bernardo / Bogliolo Formal Methods for Mobile Computing

    5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aßmann / Aksit / Rensink | Model Driven Architecture | Buch | Sack Fachmedien

    Aßmann / Aksit / Rensink Model Driven Architecture

    European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28240-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Lrios Rosillo / Unger | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Lrios Rosillo / Unger Advanced Distributed Systems

    5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28063-7
    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
    Cebulla | Object-Oriented Technology. ECOOP 2007 Workshop Reader | Buch | Sack Fachmedien

    Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader

    ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78194-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Hayes | FM 2005: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Hayes FM 2005: Formal Methods

    International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27882-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sokolsky / Tasiran | Runtime Verification | Buch | Sack Fachmedien

    Sokolsky / Tasiran Runtime Verification

    7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77394-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Merino | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Leue / Merino Formal Methods for Industrial Critical Systems

    12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79706-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dal Cin / Kaâniche / Pataricza | Dependable Computing - EDCC 2005 | Buch | Sack Fachmedien

    Dal Cin / Kaâniche / Pataricza Dependable Computing - EDCC 2005

    5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25723-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ikeda / Ashlay / Chan | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Ikeda / Ashlay / Chan Intelligent Tutoring Systems

    8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35159-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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