Ergebnisse filtern
Fachgebiet
Medium
  • 4136
Erscheinungsjahr
  • 15
  • 235
  • 187
  • 135
  • 46
  • 30
  • 41
  • 49
  • 67
  • 54
  • 72
  • 74
  • 71
  • 84
  • 72
  • 77
  • 140
  • 133
  • 146
  • 202
  • 162
  • 143
  • 212
  • 214
  • 181
  • 181
  • 122
  • 121
  • 91
  • 101
  • 98
  • 84
  • 70
  • 65
  • 49
  • 69
  • 39
  • 40
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 8
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 11
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 5
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 11
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 9
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 4
  • 2
  • 10
  • 3
  • 7
  • 2
  • 3
  • 2
  • 12
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 33
  • 27
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 8
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 6
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 20
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 9
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 4
  • 11
  • 3
  • 3
  • 5
  • 5
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 6
  • 3
  • 7
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 7
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 4
  • 7
  • 3
  • 9
  • 12
  • 3
  • 6
  • 4
  • 4
  • 11
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 9
  • 5
  • 5
  • 10
  • 21
  • 6
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 5
  • 5
  • 9
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 15
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 7
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 6
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 9
  • 4
  • 18
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 9
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 7
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 5
  • 6
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 35
  • 6
  • 9
  • 4
  • 10
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 27
  • 6
  • 4
  • 3
  • 9
  • 3
  • 4
  • 30
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 8
  • 6
  • 15
  • 9
  • 7
  • 3
  • 3
  • 8
  • 6
  • 6
  • 3
  • 4
  • 11
  • 5
  • 3
  • 4
  • 3
  • 5
  • 18
  • 6
  • 4
  • 5
  • 11
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 9
  • 5
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4113
  • 1
  • 1
  • 21
Preis
  • 13
  • 150
  • 3193
  • 780
Sprachen
  • 4136
  • 5
  • 1
Verfügbarkeit
  • 4135
  • 1
Katalog
  • 4136
  • 234
4.136  Treffer  für „Lecture Notes in Computer Science“
    David / Sun | Theoretical Aspects of Software Engineering | Buch | Sack Fachmedien

    David / Sun Theoretical Aspects of Software Engineering

    17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35256-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Potanin | Programming Languages and Systems | Buch | Sack Fachmedien

    Potanin Programming Languages and Systems

    23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953584-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chamberlain / Taha / Törngren | Cyber Physical Systems. Design, Modeling, and Evaluation | Buch | Sack Fachmedien

    Chamberlain / Taha / Törngren Cyber Physical Systems. Design, Modeling, and Evaluation

    7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17909-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dang / Stolz | Runtime Verification | Buch | Sack Fachmedien

    Dang / Stolz Runtime Verification

    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17195-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herzig / Luo / Pardo | Logic and Argumentation | Buch | Sack Fachmedien

    Herzig / Luo / Pardo Logic and Argumentation

    5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40874-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Stoelinga / van den Bos | A Journey from Process Algebra via Timed Automata to Model Learning | Buch | Sack Fachmedien

    Jansen / Stoelinga / van den Bos A Journey from Process Algebra via Timed Automata to Model Learning

    Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15628-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganty / Mansutti | Reachability Problems | Buch | Sack Fachmedien

    Ganty / Mansutti Reachability Problems

    19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09523-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ouhammou / Ivanovic / Abelló | Model and Data Engineering | Buch | Sack Fachmedien

    Ouhammou / Ivanovic / Abelló Model and Data Engineering

    7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66853-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rümmer | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Piskac / Rümmer Verified Software. Theories, Tools, and Experiments

    10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03591-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruel / Mazzara / Meyer | Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment | Buch | Sack Fachmedien

    Bruel / Mazzara / Meyer Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

    First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-06018-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calimeri / Hamlen / Leone | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Calimeri / Hamlen / Leone Practical Aspects of Declarative Languages

    20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73304-3
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Salomaa | L Systems | Buch | Sack Fachmedien

    Rozenberg / Salomaa L Systems

    1. Auflage 1974
    Verlag: Springer
    ISBN: 978-3-540-06867-9
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Lim | Information Security and Cryptology - ICISC 2002 | Buch | Sack Fachmedien

    Lee / Lim Information Security and Cryptology - ICISC 2002

    5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00716-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjorner / Jones | The Vienna Development Method: The Meta-Language | Buch | Sack Fachmedien

    Bjorner / Jones The Vienna Development Method: The Meta-Language

    1. Auflage 1978
    Verlag: Springer
    ISBN: 978-3-540-08766-3
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastens / Hutt / Zimmermann | GAG: A Practical Compiler Generator | Buch | Sack Fachmedien

    Kastens / Hutt / Zimmermann GAG: A Practical Compiler Generator

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11591-5
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salwicki | Logics of Programs and Their Applications | Buch | Sack Fachmedien

    Salwicki Logics of Programs and Their Applications

    Proceedings, Poznan, August 23-29, 1980
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-11981-4
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goos / Wulf / Evans | DIANA. An Intermediate Language for Ada | Buch | Sack Fachmedien

    Goos / Wulf / Evans DIANA. An Intermediate Language for Ada

    Revised Version
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12695-9
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polak | Compiler Specification and Verification | Buch | Sack Fachmedien

    Polak Compiler Specification and Verification

    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10886-3
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Constable / Johnson / Eichenlaub | An Introduction to the PL/CV2 Programming Logic | Buch | Sack Fachmedien

    Constable / Johnson / Eichenlaub An Introduction to the PL/CV2 Programming Logic

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11492-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paul / Robinet | International Symposium on Programming | Buch | Sack Fachmedien

    Paul / Robinet International Symposium on Programming

    6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-12925-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brauer | Automata, Languages and Programming | Buch | Sack Fachmedien

    Brauer Automata, Languages and Programming

    12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15650-5
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjorner | Abstract Software Specifications | Buch | Sack Fachmedien

    Bjorner Abstract Software Specifications

    1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10007-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knauss / Goedicke | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Knauss / Goedicke Requirements Engineering: Foundation for Software Quality

    25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15537-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holmes / Martín-Vide / Vega-Rodríguez | Algorithms for Computational Biology | Buch | Sack Fachmedien

    Holmes / Martín-Vide / Vega-Rodríguez Algorithms for Computational Biology

    6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-18173-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vojnar / Zhang | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Vojnar / Zhang Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17464-4
    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