Ergebnisse filtern
Fachgebiet
Medium
  • 236
Erscheinungsjahr
  • 4
  • 8
  • 7
  • 9
  • 14
  • 19
  • 13
  • 12
  • 13
  • 13
  • 12
  • 18
  • 14
  • 15
  • 28
  • 19
  • 18
Autoren
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 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
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 236
Preis
  • 13
  • 198
  • 25
Sprachen
  • 236
Verfügbarkeit
  • 236
Katalog
  • 236
  • 4
236  Treffer  für „Programming and Software Engineering“
    Lea / Zavattaro | Coordination Models and Languages | Buch | Sack Fachmedien

    Lea / Zavattaro Coordination Models and Languages

    10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68264-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paschke / Governatori / Hall | Rule Interchange and Applications | Buch | Sack Fachmedien

    Paschke / Governatori / Hall Rule Interchange and Applications

    International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04984-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Jin / Ungerer | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    Yang / Jin / Ungerer Autonomic and Trusted Computing

    Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38619-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Wiklicky | Coordination Models and Languages | Buch | Sack Fachmedien

    Ciancarini / Wiklicky Coordination Models and Languages

    8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34694-4
    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
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25920-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

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

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oliveira / Woodcock | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Oliveira / Woodcock Formal Methods: Foundations and Applications

    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10451-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Bultan | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Bultan Web Services and Formal Methods

    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19588-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeller / Höfig | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Zeller / Höfig Model-Based Safety and Assessment

    7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58919-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rathgeb / Echtle / Müller-Clostermann | Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance | Buch | Sack Fachmedien

    Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance

    15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12103-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cornélio / Roscoe | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Cornélio / Roscoe Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29472-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Lecomte | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Ribeiro / Lecomte Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49814-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saglietti / Oster | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Saglietti / Oster Computer Safety, Reliability, and Security

    26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75100-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozzano / Papadopoulos | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Bozzano / Papadopoulos Model-Based Safety and Assessment

    5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64118-8
    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
    Giachino / Hähnle / de Boer | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Giachino / Hähnle / de Boer Formal Methods for Components and Objects

    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40614-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Namjoshi / Yoneda / Higashino | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis

    5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75595-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruni / Wolf | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bruni / Wolf Web Services and Formal Methods

    5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Lohmann | Web Services and Formal Methods | Buch | Sack Fachmedien

    ter Beek / Lohmann Web Services and Formal Methods

    9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38229-1
    Medium: Buch
    49,22 € (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
    Van Hung / Ogawa | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Chin | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Bouajjani / Chin Automated Technology for Verification and Analysis

    8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15642-7
    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
    Beckert / Damiani / de Boer | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Damiani / de Boer Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alferes / Bertossi / Governatori | Rule Technologies. Research, Tools, and Applications | Buch | Sack Fachmedien

    Alferes / Bertossi / Governatori Rule Technologies. Research, Tools, and Applications

    10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42018-9
    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