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“
    Peña / Gupta | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

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

    23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14124-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pang / Merz | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Pang / Merz Formal Methods and Software Engineering

    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Idani / Canal | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Idani / Canal Software Engineering and Formal Methods

    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15200-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valmari / Devillers | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Valmari / Devillers Application and Theory of Petri Nets and Concurrency

    36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiba / Tanter / Kienzle | Transactions on Aspect-Oriented Software Development XI | Buch | Sack Fachmedien

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

    2014
    Verlag: Springer
    ISBN: 978-3-642-55098-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muller / Bezivin | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

    Muller / Bezivin The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuesta / Pérez / Garlan | Software Architecture | Buch | Sack Fachmedien

    Cuesta / Pérez / Garlan Software Architecture

    12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24¿28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00760-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Arbab | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Arbab Formal Aspects of Component Software

    8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-35742-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / van der Aalst / Wolf | Transactions on Petri Nets and Other Models of Concurrency VII | Buch | Sack Fachmedien

    Jensen / van der Aalst / Wolf Transactions on Petri Nets and Other Models of Concurrency VII

    2013
    Verlag: Springer
    ISBN: 978-3-642-38142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chakraborty / Mukund | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Chakraborty / Mukund Automated Technology for Verification and Analysis

    10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33385-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brat / Venet / Rungta | NASA Formal Methods | Buch | Sack Fachmedien

    Brat / Venet / Rungta NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dingel / Schulte / Insfran | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Dingel / Schulte / Insfran Model-Driven Engineering Languages and Systems

    17th International Conference, MODELS 2014, Valencia, Spain, September 283¿ October 4, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11652-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Sebe / Liu | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Liu MultiMedia Modeling

    22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27670-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baixeries / Ojeda-Aciego / Sacarea | Formal Concept Analysis | Buch | Sack Fachmedien

    Baixeries / Ojeda-Aciego / Sacarea Formal Concept Analysis

    13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19544-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordeleau / Taentzer | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Bordeleau / Taentzer Modelling Foundations and Applications

    11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21150-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roubtsova / Gerth / McNeile | Behavior Modeling -- Foundations and Applications | Buch | Sack Fachmedien

    Roubtsova / Gerth / McNeile Behavior Modeling -- Foundations and Applications

    International Workshops, BM-FA 2009-2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21911-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shan | Programming Languages and Systems | Buch | Sack Fachmedien

    Shan Programming Languages and Systems

    11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03541-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauzy / Ortmeier | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Rauzy / Ortmeier Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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