Ergebnisse filtern
Fachgebiet
Medium
  • 29
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 9
  • 4
  • 1
  • 3
  • 3
Autoren
  • 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
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 18
  • 8
  • 3
Preis
  • 25
  • 4
Sprachen
  • 29
Verfügbarkeit
  • 29
Katalog
  • 29
  • 1

Mathematik

29  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
    Larsen / Wang / Sokolsky | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Larsen / Wang / Sokolsky Dependable Software Engineering. Theories, Tools, and Applications

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69482-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banda / Pontelli | Logic Programming | Buch | Sack Fachmedien

    Banda / Pontelli Logic Programming

    24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abran / Braungarten / Brunekreef | Software Process and Product Measurement | Buch | Sack Fachmedien

    Abran / Braungarten / Brunekreef Software Process and Product Measurement

    International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-05414-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Whittle / Clark / Kühne | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Whittle / Clark / Kühne Model Driven Engineering Languages and Systems

    14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24484-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Juiz / Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Juiz / Thomas Computer Performance Engineering

    5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87411-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradley | Computer Performance Engineering | Buch | Sack Fachmedien

    Bradley Computer Performance Engineering

    6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02923-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucera / Henzinger / Antos | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kucera / Henzinger / Antos Mathematical and Engineering Methods in Computer Science

    8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Karsai / Lee | Model-Based Engineering of Embedded Real-Time Systems | Buch | Sack Fachmedien

    Giese / Karsai / Lee Model-Based Engineering of Embedded Real-Time Systems

    International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baresi / Suzuki / Chi | Service-Oriented Computing | Buch | Sack Fachmedien

    Baresi / Suzuki / Chi Service-Oriented Computing

    7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10382-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Vincent / Fiems | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Vincent / Fiems Analytical and Stochastic Modeling Techniques and Applications

    19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30781-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Knottenbelt | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications

    17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13567-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Turck / Dudin | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    De Turck / Dudin Analytical and Stochastic Modeling Techniques and Applications

    20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39407-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wehrheim / Ahrendt | Tests and Proofs | Buch | Sack Fachmedien

    Wehrheim / Ahrendt Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50994-1
    Medium: Buch
    53,49 € (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
    Nikoletseas | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Nikoletseas Experimental and Efficient Algorithms

    4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25920-6
    Medium: Buch
    106,99 € (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
    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
    Buth / Seyfarth / Rabe | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Buth / Seyfarth / Rabe Computer Safety, Reliability, and Security

    28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04467-0
    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
    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
    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
    Bondavalli / Kopetz / Bouchenak | Cyber-Physical Systems of Systems | Buch | Sack Fachmedien

    Bondavalli / Kopetz / Bouchenak Cyber-Physical Systems of Systems

    Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47589-9
    Medium: Buch
    53,49 € (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
    2009
    Verlag: Springer
    ISBN: 978-3-642-02046-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Romanovsky / Gacek | Architecting Dependable Systems III | Buch | Sack Fachmedien

    Lemos / Romanovsky / Gacek Architecting Dependable Systems III

    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28968-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