Ergebnisse filtern
Fachgebiet
Medium
  • 47
Erscheinungsjahr
  • 1
  • 3
  • 3
  • 2
  • 2
  • 5
  • 9
  • 4
  • 2
  • 2
  • 5
  • 5
  • 4
Autoren
  • 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
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 23
  • 9
  • 13
  • 2
Preis
  • 5
  • 35
  • 7
Sprachen
  • 47
Verfügbarkeit
  • 47
Katalog
  • 47
  • 2
47  Treffer  für „Programming and Software Engineering“
    Van Gorp / Rose / Ritter | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Van Gorp / Rose / Ritter Modelling Foundations and Applications

    9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39012-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Julien / De Nicola | Coordination Models and Languages | Buch | Sack Fachmedien

    Julien / De Nicola Coordination Models and Languages

    15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38492-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiklicky / Ciancarini | Coordination Models and Languages | Buch | Sack Fachmedien

    Wiklicky / Ciancarini Coordination Models and Languages

    8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Bitsch / Troubitsyna | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Romanovsky / Bitsch / Troubitsyna Computer Safety, Reliability, and Security

    38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-26600-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallina / Skavhaug / Schoitsch | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Gallina / Skavhaug / Schoitsch Computer Safety, Reliability, and Security

    SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99228-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Gulijk / Koornneef | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    van Gulijk / Koornneef Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24254-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Troubitsyna / Gashi | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Romanovsky / Troubitsyna / Gashi Computer Safety, Reliability, and Security

    SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer
    ISBN: 978-3-030-26249-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Romanovsky / Lecomte | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Collart-Dutilleul / Romanovsky / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-18743-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casimiro / Ferreira / Ortmeier | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Casimiro / Ferreira / Ortmeier Computer Safety, Reliability, and Security

    39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-54548-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauzy / Ortmeier | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Rauzy / Ortmeier Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallina / Bitsch / Skavhaug | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Gallina / Bitsch / Skavhaug Computer Safety, Reliability, and Security

    37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-99129-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bultan / Hsiung | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Bultan / Hsiung Automated Technology for Verification and Analysis

    9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24371-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogawa / Van Hung | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Ogawa / Van Hung Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clavel / Durán / Eker | All About Maude - A High-Performance Logical Framework | Buch | Sack Fachmedien

    Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework

    How to Specify, Program, and Verify Systems in Rewriting Logic
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71940-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Unger / Lrios Rosillo | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Unger / Lrios Rosillo Advanced Distributed Systems

    5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28063-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Güdemann / Núñez | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Güdemann / Núñez Formal Methods for Industrial Critical Systems

    20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19457-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dony / Tripathi / Knudsen | Advanced Topics in Exception Handling Techniques | Buch | Sack Fachmedien

    Dony / Tripathi / Knudsen Advanced Topics in Exception Handling Techniques

    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37443-5
    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
    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
    Salaün / Schätz | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Salaün / Schätz Formal Methods for Industrial Critical Systems

    16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunha / Vieira | Dependable Computing | Buch | Sack Fachmedien

    Cunha / Vieira Dependable Computing

    14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38788-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duval / Klamma / Wolpers | Creating New Learning Experiences on a Global Scale | Buch | Sack Fachmedien

    Duval / Klamma / Wolpers Creating New Learning Experiences on a Global Scale

    Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75194-6
    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