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“
    Rosu / Giese | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Rosu / Giese Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30792-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka / Piterman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Smolka / Piterman Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 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-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kappel / Duddy | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Kappel / Duddy Theory and Practice of Model Transformations

    6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38882-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / Botterweck / Maciel | Model-Based Methodologies for Pervasive and Embedded Software | Buch | Sack Fachmedien

    Machado / Botterweck / Maciel Model-Based Methodologies for Pervasive and Embedded Software

    8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38208-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petre / Johnsen | Integrated Formal Methods | Buch | Sack Fachmedien

    Petre / Johnsen Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / D'Argenio / Siegle | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Joshi / D'Argenio / Siegle Quantitative Evaluation of Systems

    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40195-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van de Weerd / Salinesi | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    van de Weerd / Salinesi Requirements Engineering: Foundation for Software Quality

    20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-05842-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Joshi / Holzmann | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Joshi / Holzmann NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Sun / Pihlajasaari | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Sun / Pihlajasaari FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardanega / George | Reliable Software Technologies ¿ Ada-Europe 2014 | Buch | Sack Fachmedien

    Vardanega / George Reliable Software Technologies ¿ Ada-Europe 2014

    19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08310-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Zaïdi / Conchon | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Zaïdi / Conchon Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaefer / Johnsen | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Schaefer / Johnsen Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27¿29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Braga | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Braga Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28933-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nickovic / ter Beek / Nickovic | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Nickovic / ter Beek / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2¿3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58297-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugen / Gotzhein / Reed | System Analysis and Modeling: Theory and Practice | Buch | Sack Fachmedien

    Haugen / Gotzhein / Reed System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36756-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noda / Kuffner / Ando | Simulation, Modeling, and Programming for Autonomous Robots | Buch | Sack Fachmedien

    Noda / Kuffner / Ando Simulation, Modeling, and Programming for Autonomous Robots

    Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34326-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu Structured Object-Oriented Formal Language and Method

    Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-39276-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38196-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bensalem / Legay | Runtime Verification | Buch | Sack Fachmedien

    Bensalem / Legay Runtime Verification

    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40786-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salaün / Giannakopoulou | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Salaün / Giannakopoulou Software Engineering and Formal Methods

    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10430-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amyot / Mussbacher / Fonseca i Casas | System Analysis and Modeling: Models and Reusability | Buch | Sack Fachmedien

    Amyot / Mussbacher / Fonseca i Casas System Analysis and Modeling: Models and Reusability

    8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11742-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Oliveira / McIver | Formal Methods ¿ The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / Oliveira / McIver Formal Methods ¿ The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7¿11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30941-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manolopoulos / Bellatreche | Model and Data Engineering | Buch | Sack Fachmedien

    Manolopoulos / Bellatreche Model and Data Engineering

    5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23780-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozier / Badger | NASA Formal Methods | Buch | Sack Fachmedien

    Rozier / Badger NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Purao / Dobbie | Conceptual Modeling | Buch | Sack Fachmedien

    Yu / Purao / Dobbie Conceptual Modeling

    33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12205-2
    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