Ergebnisse filtern
Fachgebiet
Medium
  • 98
Erscheinungsjahr
  • 2
  • 4
  • 3
  • 14
  • 13
  • 16
  • 24
  • 14
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 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
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 98
Preis
  • 15
  • 78
  • 5
Sprachen
  • 98
Verfügbarkeit
  • 98
Katalog
  • 98
  • 5
98  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    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
    Moreira / Schätz / Gray | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

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

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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
    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
    Gleich / Komjáthy / Litvak | Algorithms and Models for the Web Graph | Buch | Sack Fachmedien

    Gleich / Komjáthy / Litvak 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
    ISBN: 978-3-319-26783-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iida / Meseguer / Ogata | Specification, Algebra, and Software | Buch | Sack Fachmedien

    Iida / Meseguer / Ogata Specification, Algebra, and Software

    Essays Dedicated to Kokichi Futatsugi
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54623-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Giacomo / Lubiw | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Di Giacomo / Lubiw Graph Drawing and Network Visualization

    23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27260-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aoki / Taguchi | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Aoki / Taguchi Formal Methods and Software Engineering

    14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34280-6
    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
    Ogata / Lawford / Liu | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ogata / Lawford / Liu Formal Methods and Software Engineering

    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47845-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert / Lanese | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39569-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Durán | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Durán Rewriting Logic and Its Applications

    9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34004-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

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

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34025-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Herbold | System Analysis and Modeling. Technology-Specific Aspects of Models | Buch | Sack Fachmedien

    Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46612-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hildebrandt / Ravara / van der Werf | Web Services, Formal Methods, and Behavioral Types | Buch | Sack Fachmedien

    Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types

    11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33611-4
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / van der Aalst / Yakovlev | Transactions on Petri Nets and Other Models of Concurrency VIII | Buch | Sack Fachmedien

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

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40464-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Devillers / Valmari | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Devillers / Valmari Application and Theory of Petri Nets and Concurrency

    36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polikarpova / Schneider | Integrated Formal Methods | Buch | Sack Fachmedien

    Polikarpova / Schneider Integrated Formal Methods

    13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66844-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiba / Tanter / Bodden | Transactions on Aspect-Oriented Software Development XI | Buch | Sack Fachmedien

    Chiba / Tanter / Bodden Transactions on Aspect-Oriented Software Development XI

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-55098-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Peña | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Gupta / Peña Logic-Based Program Synthesis and Transformation

    23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-14124-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wasowski / Lönn | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Wasowski / Lönn Modelling Foundations and Applications

    12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42060-8
    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