Ergebnisse filtern
Fachgebiet
Medium
  • 43
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 1
  • 1
  • 15
  • 9
  • 13
Autoren
  • 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
  • 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
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 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
Verlag
  • 43
Preis
  • 36
  • 7
Sprachen
  • 43
Verfügbarkeit
  • 43
Katalog
  • 43
  • 1
43  Treffer  für „Programming and Software Engineering“
    Cha / Choi / Kim | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Cha / Choi / Kim Automated Technology for Verification and Analysis

    6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88386-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Hallerstede | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects

    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-17070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graham / Palanque | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Graham / Palanque Interactive Systems. Design, Specification, and Verification

    15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70568-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bassiliades / Governatori / Paschke | Rule Representation, Interchange and Reasoning on the Web | Buch | Sack Fachmedien

    Bassiliades / Governatori / Paschke Rule Representation, Interchange and Reasoning on the Web

    International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88807-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sato / Hanawa / Müller | Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More | Buch | Sack Fachmedien

    Sato / Hanawa / Müller Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13216-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schürr / Nagl / Zündorf | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Schürr / Nagl / Zündorf Applications of Graph Transformations with Industrial Relevance

    Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89019-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eugster | Object-Oriented Technology. ECOOP 2008 Workshop Reader | Buch | Sack Fachmedien

    Eugster Object-Oriented Technology. ECOOP 2008 Workshop Reader

    ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02046-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Lopes / Poetzsch-Heffter | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    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
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02137-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paech / Martell | Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs | Buch | Sack Fachmedien

    Paech / Martell Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

    14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Gabriel / Dongarra | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Keller / Gabriel / Dongarra Recent Advances in the Message Passing Interface

    17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15645-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lalanne / Kohlas | Human Machine Interaction | Buch | Sack Fachmedien

    Lalanne / Kohlas Human Machine Interaction

    Research Results of the MMI Program
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00436-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Giandomenico / Gacek | Architecting Dependable Systems V | Buch | Sack Fachmedien

    de Lemos / Giandomenico / Gacek Architecting Dependable Systems V

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85570-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palsberg / Su | Static Analysis | Buch | Sack Fachmedien

    Palsberg / Su Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Domain-Specific Languages | Buch | Sack Fachmedien

    Taha Domain-Specific Languages

    IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03033-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Träff / Benkner / Dongarra | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Träff / Benkner / Dongarra Recent Advances in the Message Passing Interface

    19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33517-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitek | Objects, Models, Components, Patterns | Buch | Sack Fachmedien

    Vitek Objects, Models, Components, Patterns

    48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13952-9
    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
    Gupta / Zaroliagis | Applied Algorithms | Buch | Sack Fachmedien

    Gupta / Zaroliagis Applied Algorithms

    First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-04125-4
    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