Ergebnisse filtern
Fachgebiet
Medium
  • 93
Erscheinungsjahr
  • 1
  • 1
  • 5
  • 8
  • 15
  • 19
  • 29
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 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
  • 2
  • 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
  • 2
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 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
Verlag
  • 42
  • 4
  • 47
Preis
  • 16
  • 71
  • 6
Sprachen
  • 93
Verfügbarkeit
  • 93
Katalog
  • 93
  • 9
93  Treffer  für „Lecture Notes in Computer Science“
    Giachino / Bonsangue / Hähnle | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Giachino / Bonsangue / Hähnle Formal Methods for Components and Objects

    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    2013
    Verlag: Springer
    ISBN: 978-3-642-40614-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roscoe / Cornélio | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Roscoe / Cornélio Formal Methods: Foundations and Applications

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

    Lecomte / Ribeiro Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49814-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Narkawicz / Muñoz | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Narkawicz / Muñoz NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77934-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    France / Atkinson / Kazmeier | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    France / Atkinson / Kazmeier Model Driven Engineering Languages and Systems

    15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33665-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gardner / Felleisen | Programming Languages and Systems | Buch | Sack Fachmedien

    Gardner / Felleisen Programming Languages and Systems

    22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-37035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khendek / Reed / Toeroe | SDL 2013: Model Driven Dependability Engineering | Buch | Sack Fachmedien

    Khendek / Reed / Toeroe SDL 2013: Model Driven Dependability Engineering

    16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38910-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noble / Wallingford / Johnson | Transactions on Pattern Languages of Programming III | Buch | Sack Fachmedien

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

    2013
    Verlag: Springer
    ISBN: 978-3-642-38675-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann / Gheyi | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Naumann / Gheyi Formal Methods: Foundations and Applications

    15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33295-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | Buch | Sack Fachmedien

    Steffen / Margaria 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 International Publishing
    ISBN: 978-3-319-47165-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Philippou / Heitmeyer | FM 2016: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Philippou / Heitmeyer FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48988-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johannesson / Lee / Pastor López | Conceptual Modeling | Buch | Sack Fachmedien

    Johannesson / Lee / Pastor López Conceptual Modeling

    34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25263-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gleich / Litvak / Komjáthy | Algorithms and Models for the Web Graph | Buch | Sack Fachmedien

    Gleich / Litvak / Komjáthy Algorithms and Models for the Web Graph

    12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26783-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tkachuk / Rayadurgam | NASA Formal Methods | Buch | Sack Fachmedien

    Tkachuk / Rayadurgam NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Clarke | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 ¿ October 4, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ng / Trujillo / Storey | Conceptual Modeling - ER 2013 | Buch | Sack Fachmedien

    Ng / Trujillo / Storey Conceptual Modeling - ER 2013

    32th International Conference, ER 2013Hong-Kong, China, November 11-13, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41923-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maabout / Cuzzocrea | Model and Data Engineering | Buch | Sack Fachmedien

    Maabout / Cuzzocrea Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rival / McMillan | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Rival / McMillan Verification, Model Checking, and Abstract Interpretation

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

    Wehrheim / Leuschel Integrated Formal Methods

    7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00254-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lohmann / ter Beek | Web Services and Formal Methods | Buch | Sack Fachmedien

    Lohmann / ter Beek Web Services and Formal Methods

    9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38229-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Yakovlev / van der Aalst | Transactions on Petri Nets and Other Models of Concurrency VIII | Buch | Sack Fachmedien

    Koutny / Yakovlev / van der Aalst Transactions on Petri Nets and Other Models of Concurrency VIII

    2013
    Verlag: Springer
    ISBN: 978-3-642-40464-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trinder / Rauber Du Bois | Programming Languages | Buch | Sack Fachmedien

    Trinder / Rauber Du Bois Programming Languages

    17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40921-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taguchi / Aoki | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Taguchi / Aoki Formal Methods and Software Engineering

    14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34280-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnat / Howar | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Barnat / Howar Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00243-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