Ergebnisse filtern
Fachgebiet
Medium
  • 8227
Erscheinungsjahr
  • 299
  • 625
  • 489
  • 306
  • 305
  • 318
  • 301
  • 291
  • 311
  • 297
  • 291
  • 303
  • 224
  • 44
  • 75
  • 221
  • 219
  • 214
  • 145
  • 214
  • 324
  • 285
  • 243
  • 245
  • 175
  • 169
  • 126
  • 141
  • 131
  • 114
  • 111
  • 92
  • 72
  • 83
  • 56
  • 56
  • 44
  • 45
  • 33
  • 27
  • 19
  • 13
  • 15
  • 27
  • 19
  • 11
  • 7
  • 12
  • 10
  • 13
  • 13
  • 4
Autoren
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 6
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 14
  • 3
  • 20
  • 4
  • 3
  • 38
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 6
  • 6
  • 3
  • 5
  • 5
  • 4
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 39
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 12
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 9
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 24
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 14
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 3
  • 3
  • 5
  • 8
  • 4
  • 5
  • 3
  • 6
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 9
  • 4
  • 4
  • 10
  • 5
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 39
  • 13
  • 9
  • 5
  • 3
  • 4
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 9
  • 5
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 5
  • 6
  • 4
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 7
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 8
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 7
  • 4
  • 5
  • 12
  • 11
  • 4
  • 8
  • 6
  • 4
  • 6
  • 20
  • 4
  • 11
  • 10
  • 4
  • 8
  • 7
  • 4
  • 4
  • 15
  • 4
  • 8
  • 4
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 11
  • 8
  • 8
  • 6
  • 4
  • 4
  • 8
  • 6
  • 10
  • 6
  • 4
  • 4
  • 5
  • 6
  • 7
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 8
  • 14
  • 4
  • 11
  • 4
  • 4
  • 8
  • 7
  • 8
  • 5
  • 7
  • 13
  • 5
  • 5
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 5
  • 6
  • 6
  • 4
  • 8
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 9
  • 6
  • 5
  • 37
  • 32
  • 8
  • 9
  • 4
  • 8
  • 10
  • 4
  • 4
  • 24
  • 11
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 20
  • 5
  • 6
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 4
  • 4
  • 4
  • 10
  • 43
  • 8
  • 4
  • 5
  • 9
  • 4
  • 11
  • 10
  • 4
  • 5
  • 6
  • 8
  • 4
  • 10
  • 10
  • 4
  • 5
  • 7
  • 6
  • 5
  • 8
  • 4
  • 5
  • 6
  • 4
  • 11
  • 33
  • 16
  • 4
  • 18
  • 20
  • 70
  • 4
  • 7
  • 5
  • 5
  • 5
  • 11
  • 4
  • 8
  • 9
  • 5
  • 5
  • 14
  • 5
  • 4
  • 4
  • 6
  • 10
  • 4
  • 28
  • 5
  • 6
  • 4
  • 5
  • 7
  • 11
  • 9
  • 39
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 15
  • 4
  • 4
  • 4
  • 23
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 12
  • 4
  • 5
  • 12
  • 4
  • 5
  • 4
  • 4
  • 15
  • 5
  • 5
  • 6
  • 5
  • 4
  • 6
  • 14
  • 13
  • 9
  • 13
  • 7
  • 13
  • 8
  • 12
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 10
  • 6
  • 4
  • 5
  • 8
  • 4
  • 9
  • 12
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 10
  • 4
  • 9
  • 5
  • 5
  • 8
  • 19
  • 5
  • 18
  • 6
  • 4
  • 15
  • 6
  • 4
  • 8
  • 9
  • 4
  • 4
  • 24
  • 4
  • 19
  • 36
  • 10
  • 6
  • 4
  • 7
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 5
  • 6
  • 8
  • 13
  • 4
  • 7
  • 8
  • 4
  • 10
  • 7
  • 9
  • 4
  • 4
  • 9
  • 8
  • 6
  • 4
  • 6
  • 11
  • 4
  • 10
  • 21
  • 4
  • 4
  • 8
  • 5
  • 6
  • 5
  • 4
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 4
  • 5
  • 5
  • 10
  • 4
  • 16
  • 4
  • 34
  • 15
  • 4
  • 5
  • 4
  • 5
  • 13
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 11
  • 18
  • 5
  • 10
  • 6
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 38
  • 4
  • 11
  • 4
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 62
  • 6
  • 4
  • 7
  • 5
  • 9
  • 6
  • 4
  • 9
  • 34
  • 5
  • 8
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 6
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 10
  • 5
  • 11
  • 9
  • 8
  • 5
  • 13
  • 7
  • 12
  • 5
  • 4
  • 6
  • 4
  • 4
  • 18
  • 12
  • 5
  • 7
  • 7
  • 4
  • 16
  • 5
  • 8
  • 13
  • 8
  • 6
  • 4
  • 9
  • 13
  • 7
  • 4
  • 4
  • 11
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 8
  • 5
  • 4
  • 12
  • 6
  • 4
  • 4
  • 8
  • 20
  • 9
  • 5
  • 4
  • 7
  • 12
  • 6
  • 6
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 7
  • 9
  • 7
  • 8
  • 4
  • 8
  • 5
  • 18
  • 5
  • 4
  • 6
  • 48
  • 4
  • 10
  • 6
  • 9
  • 5
  • 4
  • 4
  • 12
  • 4
  • 8
  • 7
  • 9
  • 13
  • 16
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 4
  • 6
  • 8
  • 5
  • 10
  • 4
  • 13
  • 7
  • 7
  • 4
  • 6
  • 8
  • 4
  • 7
  • 7
  • 11
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 7
  • 6
  • 4
  • 4
  • 13
  • 6
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 5
  • 8
  • 7
  • 11
  • 7
  • 10
  • 19
  • 6
  • 33
  • 9
  • 4
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 8
  • 14
  • 10
  • 9
  • 15
  • 6
  • 11
  • 16
  • 51
  • 14
  • 18
  • 9
  • 6
  • 20
  • 4
  • 5
  • 5
  • 43
  • 9
  • 16
  • 9
  • 4
  • 4
  • 10
  • 13
  • 4
  • 5
  • 11
  • 7
  • 4
  • 4
  • 7
  • 6
  • 7
  • 4
  • 5
  • 4
  • 10
  • 6
  • 5
  • 4
  • 5
  • 8
  • 5
  • 7
  • 7
  • 25
  • 4
  • 14
  • 13
  • 7
  • 6
  • 6
  • 5
  • 18
  • 6
  • 4
  • 9
  • 15
  • 9
  • 8
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 9
  • 18
  • 6
  • 13
  • 4
  • 6
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 5
  • 4
  • 6
  • 5
  • 6
  • 32
  • 8
  • 5
  • 4
  • 19
  • 16
  • 4
  • 45
  • 7
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 6
  • 20
  • 16
  • 8
  • 8
  • 5
  • 4
  • 10
Verlag
  • 1055
  • 3418
  • 2679
  • 1
  • 1
  • 97
  • 874
  • 102
Preis
  • 45
  • 346
  • 6421
  • 1415
Sprachen
  • 8221
  • 17
  • 14
Verfügbarkeit
  • 8199
  • 28
Katalog
  • 8227
  • 491
8.227  Treffer  für „Lecture Notes in Computer Science“
    Dias / Veltkamp / Santos | Games and Learning Alliance | Buch | Sack Fachmedien

    Dias / Veltkamp / Santos Games and Learning Alliance

    6th International Conference, GALA 2017, Lisbon, Portugal, December 5¿7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-71939-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghosh / Prasath / Pal | Mining Intelligence and Knowledge Exploration | Buch | Sack Fachmedien

    Ghosh / Prasath / Pal Mining Intelligence and Knowledge Exploration

    5th International Conference, MIKE 2017, Hyderabad, India, December 13¿15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-71927-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sung / Sumiya / Jung | Information Retrieval Technology | Buch | Sack Fachmedien

    Sung / Sumiya / Jung Information Retrieval Technology

    13th Asia Information Retrieval Societies Conference, AIRS 2017, Jeju Island, South Korea, November 22-24, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-70144-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reyzin / Kalai | Theory of Cryptography | Buch | Sack Fachmedien

    Reyzin / Kalai Theory of Cryptography

    15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-70499-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | Buch | Sack Fachmedien

    Gelbukh Computational Linguistics and Intelligent Text Processing

    18th International Conference, CICLing 2017, Budapest, Hungary, April 17¿23, 2017, Revised Selected Papers, Part II
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77115-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman / Stapleton / Bellucci | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Chapman / Stapleton / Bellucci Diagrammatic Representation and Inference

    10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91375-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krueger / Bosch | Software Reuse: Methods, Techniques, and Tools | Buch | Sack Fachmedien

    Krueger / Bosch Software Reuse: Methods, Techniques, and Tools

    8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22335-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cotin / Metaxas | Medical Simulation | Buch | Sack Fachmedien

    Cotin / Metaxas Medical Simulation

    International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22186-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahinalp / Dogrusoz / Muthukrishnan | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Sahinalp / Dogrusoz / Muthukrishnan Combinatorial Pattern Matching

    15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22341-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Delugach / Pfeiffer | Conceptual Structures at Work | Buch | Sack Fachmedien

    Wolff / Delugach / Pfeiffer Conceptual Structures at Work

    12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22392-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deb / Harman / Poli | Genetic and Evolutionary Computation ¿ GECCO 2004 | Buch | Sack Fachmedien

    Deb / Harman / Poli Genetic and Evolutionary Computation ¿ GECCO 2004

    Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26¿30, 2004, Proceedings, Part I
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22344-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quisquater / Joye | Cryptographic Hardware and Embedded Systems - CHES 2004 | Buch | Sack Fachmedien

    Quisquater / Joye Cryptographic Hardware and Embedded Systems - CHES 2004

    6th International Workshop Cambridge, MA, USA, August 11-13, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22666-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Jouannaud Rewriting Techniques and Applications

    Dijon, France, May 20-22, 1985
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15976-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Denvir / Wray / Harwood | The Analysis of Concurrent Systems | Buch | Sack Fachmedien

    Denvir / Wray / Harwood The Analysis of Concurrent Systems

    Cambridge, September 12-16, 1983. Proceedings
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16047-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Karlsson | SWAT '88 | Buch | Sack Fachmedien

    Lingas / Karlsson SWAT '88

    1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19487-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Ng / Zan | Natural Language Processing and Chinese Computing | Buch | Sack Fachmedien

    Zhang / Ng / Zan Natural Language Processing and Chinese Computing

    7th CCF International Conference, NLPCC 2018, Hohhot, China, August 26¿30, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99494-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Podelski | Static Analysis | Buch | Sack Fachmedien

    Podelski Static Analysis

    25th International Symposium, SAS 2018, Freiburg, Germany, August 29¿31, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99724-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauri / El Yacoubi / Manzoni | Cellular Automata | Buch | Sack Fachmedien

    Mauri / El Yacoubi / Manzoni Cellular Automata

    13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17¿21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böhm / Ausiello | Automata, Languages and Programming | Buch | Sack Fachmedien

    Böhm / Ausiello Automata, Languages and Programming

    Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    1978
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-08860-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpinski | Foundations of Computation Theory | Buch | Sack Fachmedien

    Karpinski Foundations of Computation Theory

    Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
    1983
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-12689-8
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frielinghaus / Schlender | GI - 3. Fachtagung über Programmiersprachen | Buch | Sack Fachmedien

    Frielinghaus / Schlender GI - 3. Fachtagung über Programmiersprachen

    Gesellschaft für Informatik e.V., Kiel, 5.-7. März 1974
    1974
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-06666-8
    Medium: Buch
    15,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Indermark / Böhling | 1. Fachtagung über Automatentheorie und Formale Sprachen | Buch | Sack Fachmedien

    Indermark / Böhling 1. Fachtagung über Automatentheorie und Formale Sprachen

    GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973
    1973
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-06527-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nickel | Interval Mathematics | Buch | Sack Fachmedien

    Nickel Interval Mathematics

    Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975
    1975
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-07170-9
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engeler | Logic of Programs | Buch | Sack Fachmedien

    Engeler Logic of Programs

    Workshop, ETH Zürich, May-July 1979
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11160-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hailpern | Verifying Concurrent Processes Using Temporal Logic | Buch | Sack Fachmedien

    Hailpern Verifying Concurrent Processes Using Temporal Logic

    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11205-1
    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