Ergebnisse filtern
Fachgebiet
Medium
  • 4145
Erscheinungsjahr
  • 24
  • 238
  • 195
  • 130
  • 46
  • 24
  • 45
  • 57
  • 66
  • 45
  • 68
  • 77
  • 70
  • 79
  • 67
  • 78
  • 160
  • 131
  • 144
  • 194
  • 184
  • 127
  • 209
  • 214
  • 184
  • 179
  • 125
  • 121
  • 88
  • 103
  • 98
  • 80
  • 69
  • 66
  • 49
  • 68
  • 39
  • 40
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 4
  • 2
  • 5
  • 2
  • 7
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 17
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 4
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 6
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 12
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 6
  • 3
  • 3
  • 10
  • 3
  • 2
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 35
  • 27
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 15
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 4
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 11
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 3
  • 6
  • 3
  • 26
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 6
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 5
  • 14
  • 3
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 14
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 6
  • 4
  • 4
  • 6
  • 3
  • 7
  • 3
  • 6
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 8
  • 4
  • 6
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 7
  • 7
  • 7
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 5
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 5
  • 8
  • 10
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 8
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 3
  • 3
  • 9
  • 4
  • 5
  • 5
  • 10
  • 22
  • 6
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 8
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 13
  • 5
  • 6
  • 5
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 21
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 7
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 6
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 8
  • 4
  • 5
  • 18
  • 3
  • 6
  • 3
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 8
  • 9
  • 5
  • 4
  • 30
  • 10
  • 3
  • 9
  • 4
  • 8
  • 5
  • 3
  • 3
  • 5
  • 8
  • 3
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 26
  • 4
  • 8
  • 5
  • 9
  • 4
  • 3
  • 33
  • 4
  • 6
  • 4
  • 3
  • 3
  • 6
  • 22
  • 4
  • 8
  • 9
  • 4
  • 3
  • 13
  • 6
  • 3
  • 5
  • 3
  • 4
  • 13
  • 3
  • 3
  • 4
  • 4
  • 5
  • 18
  • 8
  • 3
  • 11
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 5
  • 4
  • 4
  • 23
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
Verlag
  • 4119
  • 1
  • 1
  • 3
  • 21
Preis
  • 13
  • 132
  • 3227
  • 773
Sprachen
  • 4145
  • 5
  • 1
Verfügbarkeit
  • 4141
  • 4
Katalog
  • 4145
  • 247
4.145  Treffer  für „Lecture Notes in Computer Science“
    Moreira / Demeyer | Object-Oriented Technology. ECOOP'99 Workshop Reader | Buch | Sack Fachmedien

    Moreira / Demeyer Object-Oriented Technology. ECOOP'99 Workshop Reader

    ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66954-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Imai / Zheng | Public Key Cryptography | Buch | Sack Fachmedien

    Imai / Zheng Public Key Cryptography

    Third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66967-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schewe / Thalheim | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Schewe / Thalheim Foundations of Information and Knowledge Systems

    First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67100-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Conradi | Software Process Technology | Buch | Sack Fachmedien

    Conradi Software Process Technology

    7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000. Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67140-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beetz | Concurrent Reactive Plans | Buch | Sack Fachmedien

    Beetz Concurrent Reactive Plans

    Anticipating and Forestalling Execution Failures
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67241-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Programming Languages and Systems | Buch | Sack Fachmedien

    Smolka Programming Languages and Systems

    9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt | Compiler Construction | Buch | Sack Fachmedien

    Watt Compiler Construction

    9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67263-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Schwartzbach | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Graf / Schwartzbach Tools and Algorithms for the Construction and Analysis of Systems

    6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67282-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoen / Voigt | Wireless Sensor Networks | Buch | Sack Fachmedien

    Langendoen / Voigt Wireless Sensor Networks

    4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69829-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapetanios / Sugumaran / Spiliopoulou | Natural Language and Information Systems | Buch | Sack Fachmedien

    Kapetanios / Sugumaran / Spiliopoulou Natural Language and Information Systems

    13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69857-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurland / Lewenstein / Porat | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Kurland / Lewenstein / Porat String Processing and Information Retrieval

    20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02431-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cirne / Desai | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Cirne / Desai Job Scheduling Strategies for Parallel Processing

    18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15788-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brodman / Tu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Brodman / Tu Languages and Compilers for Parallel Computing

    27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17472-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baixeries / Sacarea / Ojeda-Aciego | Formal Concept Analysis | Buch | Sack Fachmedien

    Baixeries / Sacarea / Ojeda-Aciego Formal Concept Analysis

    13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19544-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis | Experimental Algorithms | Buch | Sack Fachmedien

    Bampis Experimental Algorithms

    14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20085-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taentzer / Bordeleau | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Taentzer / Bordeleau 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
    ISBN: 978-3-319-21150-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kolovos / Wimmer | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Kolovos / Wimmer Theory and Practice of Model Transformations

    8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21154-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colbourn / Grossi / Pisanti | Combinatorial Algorithms | Buch | Sack Fachmedien

    Colbourn / Grossi / Pisanti Combinatorial Algorithms

    30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25004-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanet / Toma | Innovative Security Solutions for Information Technology and Communications | Buch | Sack Fachmedien

    Lanet / Toma Innovative Security Solutions for Information Technology and Communications

    11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-12941-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Static Analysis | Buch | Sack Fachmedien

    Chang Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Sun Formal Methods and Software Engineering

    20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02449-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva | Functional and Constraint Logic Programming | Buch | Sack Fachmedien

    Silva Functional and Constraint Logic Programming

    26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-16201-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Willemse | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Larsen / Willemse Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-27007-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deshmukh / Havelund / Perez | NASA Formal Methods | Buch | Sack Fachmedien

    Deshmukh / Havelund / Perez NASA Formal Methods

    14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06772-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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