Ergebnisse filtern
Fachgebiet
Medium
  • 84
Erscheinungsjahr
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 3
  • 9
  • 27
  • 20
  • 13
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
Verlag
  • 84
Preis
  • 2
  • 77
  • 5
Sprachen
  • 84
Verfügbarkeit
  • 84
Katalog
  • 84
  • 6
84  Treffer  für „Programming and Software Engineering“
    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
    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
    Doherty / Blandford | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Doherty / Blandford Interactive Systems. Design, Specification, and Verification

    13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69553-0
    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
    Blass / Cégielski / Dershowitz | Fields of Logic and Computation III | Buch | Sack Fachmedien

    Blass / Cégielski / Dershowitz Fields of Logic and Computation III

    Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-48005-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. Interaction Platforms and Techniques | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. Interaction Platforms and Techniques

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73106-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morisio | Reuse of Off-the-Shelf Components | Buch | Sack Fachmedien

    Morisio Reuse of Off-the-Shelf Components

    9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34606-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Applications and Services | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Applications and Services

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73109-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. Interaction Design and Usability | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. Interaction Design and Usability

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73104-7
    Medium: Buch
    160,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
    Capello / Herault / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Capello / Herault / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75415-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Martino / Kranzlmüller / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Di Martino / Kranzlmüller / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29009-4
    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
    Müller-Olm | Variations on Constants | Buch | Sack Fachmedien

    Müller-Olm Variations on Constants

    Flow Analysis of Sequential and Parallel Programs
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45385-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Pipek / Rosson / Wulf | End-User Development | Buch | Sack Fachmedien

    Pipek / Rosson / Wulf End-User Development

    2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00425-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alpuente / Vidal-Oriola | Static Analysis | Buch | Sack Fachmedien

    Alpuente / Vidal-Oriola Static Analysis

    15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-69163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hudak / Warren | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hudak / Warren Practical Aspects of Declarative Languages

    10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77441-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yi | Static Analysis | Buch | Sack Fachmedien

    Yi Static Analysis

    13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37756-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gavanelli / Reppy | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Gavanelli / Reppy Practical Aspects of Declarative Languages

    18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-28227-5
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dony / Knudsen / Romanovsky | Advanced Topics in Exception Handling Techniques | Buch | Sack Fachmedien

    Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37443-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuellar / Maibaum | FM 2008: Formal Methods | Buch | Sack Fachmedien

    Cuellar / Maibaum FM 2008: Formal Methods

    15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agha / Danvy / Meseguer | Formal Modeling: Actors; Open Systems, Biological Systems | Buch | Sack Fachmedien

    Agha / Danvy / Meseguer Formal Modeling: Actors; Open Systems, Biological Systems

    Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24932-7
    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