Ergebnisse filtern
Fachgebiet
Medium
  • 90
Erscheinungsjahr
  • 2
  • 4
  • 3
  • 11
  • 11
  • 20
  • 20
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 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
  • 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
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
Verlag
  • 90
Preis
  • 11
  • 73
  • 6
Sprachen
  • 90
Verfügbarkeit
  • 90
Katalog
  • 90
  • 6
90  Treffer  für „Lecture Notes in Computer Science“
    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
    Giannakopoulou / Mery | FM 2012: Formal Methods | Buch | Sack Fachmedien

    Giannakopoulou / Mery FM 2012: Formal Methods

    18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32758-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Souza / Narayan Kumar | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    D'Souza / Narayan Kumar Automated Technology for Verification and Analysis

    15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68166-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Tillmann | Tests and Proofs | Buch | Sack Fachmedien

    Seidl / Tillmann Tests and Proofs

    8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09098-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Rival | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    McMillan / Rival Verification, Model Checking, and Abstract Interpretation

    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54012-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Ramakrishnan | Model Checking Software | Buch | Sack Fachmedien

    Bartocci / Ramakrishnan Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    France / Kazmeier / Breu | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    France / Kazmeier / Breu Model Driven Engineering Languages and Systems

    15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33665-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Aalst / Ajmone Marsan / Franceschinis | Transactions on Petri Nets and Other Models of Concurrency VI | Buch | Sack Fachmedien

    van der Aalst / Ajmone Marsan / Franceschinis Transactions on Petri Nets and Other Models of Concurrency VI

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35178-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Kreveld / Speckmann | Graph Drawing | Buch | Sack Fachmedien

    van Kreveld / Speckmann Graph Drawing

    19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-25877-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann | Unifying Theories of Programming | Buch | Sack Fachmedien

    Naumann Unifying Theories of Programming

    5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-14805-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rayadurgam / Tkachuk | NASA Formal Methods | Buch | Sack Fachmedien

    Rayadurgam / Tkachuk NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheyi / Naumann | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Gheyi / Naumann Formal Methods: Foundations and Applications

    15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33295-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuzzocrea / Maabout | Model and Data Engineering | Buch | Sack Fachmedien

    Cuzzocrea / Maabout Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47165-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noble / Johnson / Zdun | Transactions on Pattern Languages of Programming III | Buch | Sack Fachmedien

    Noble / Johnson / Zdun Transactions on Pattern Languages of Programming III

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38675-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular