Ergebnisse filtern
Fachgebiet
Medium
  • 10691
  • 2648
Erscheinungsjahr
  • 234
  • 1016
  • 1043
  • 800
  • 627
  • 391
  • 410
  • 439
  • 417
  • 430
  • 421
  • 434
  • 421
  • 431
  • 448
  • 389
  • 385
  • 271
  • 249
  • 284
  • 292
  • 229
  • 477
  • 582
  • 264
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 10
  • 6
  • 13
  • 12
  • 9
  • 6
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 21
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 6
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 20
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 10
  • 6
  • 19
  • 7
  • 5
  • 8
  • 7
  • 5
  • 9
  • 5
  • 7
  • 6
  • 5
  • 7
  • 10
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 22
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 13
  • 7
  • 57
  • 5
  • 19
  • 13
  • 7
  • 12
  • 12
  • 9
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 7
  • 5
  • 11
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 17
  • 7
  • 8
  • 5
  • 5
  • 46
  • 15
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 9
  • 14
  • 13
  • 7
  • 7
  • 5
  • 16
  • 11
  • 9
  • 25
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 8
  • 13
  • 5
  • 5
  • 5
  • 7
  • 8
  • 49
  • 12
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 5
  • 29
  • 9
  • 50
  • 11
  • 15
  • 12
  • 9
  • 11
  • 8
  • 17
  • 6
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 12
  • 10
  • 16
  • 6
  • 6
  • 10
  • 7
  • 17
  • 12
  • 7
  • 7
  • 7
  • 8
  • 21
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 8
  • 17
  • 25
  • 8
  • 9
  • 6
  • 7
  • 9
  • 17
  • 25
  • 11
  • 9
  • 6
  • 11
  • 7
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 19
  • 12
  • 7
  • 10
  • 12
  • 9
  • 53
  • 47
  • 7
  • 30
  • 6
  • 9
  • 21
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 32
  • 7
  • 18
  • 54
  • 14
  • 8
  • 7
  • 18
  • 10
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 12
  • 11
  • 12
  • 13
  • 17
  • 70
  • 41
  • 8
  • 31
  • 12
  • 22
  • 33
  • 6
  • 112
  • 7
  • 14
  • 10
  • 8
  • 21
  • 10
  • 8
  • 23
  • 16
  • 9
  • 11
  • 8
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 16
  • 7
  • 53
  • 6
  • 13
  • 10
  • 13
  • 24
  • 12
  • 9
  • 10
  • 25
  • 46
  • 11
  • 8
  • 12
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 9
  • 6
  • 6
  • 8
  • 12
  • 7
  • 90
  • 8
  • 14
  • 15
  • 8
  • 10
  • 8
  • 6
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 24
  • 7
  • 8
  • 14
  • 10
  • 6
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 10
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 8
  • 7
  • 9
  • 12
  • 12
  • 16
  • 6
  • 10
  • 10
  • 9
  • 8
  • 6
  • 6
  • 39
  • 8
  • 10
  • 13
  • 6
  • 9
  • 10
  • 31
  • 8
  • 10
  • 6
  • 18
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 33
  • 6
  • 15
  • 9
  • 6
  • 6
  • 9
  • 19
  • 6
  • 8
  • 18
  • 6
  • 27
  • 44
  • 22
  • 12
  • 8
  • 28
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 10
  • 7
  • 8
  • 6
  • 9
  • 10
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 9
  • 11
  • 18
  • 6
  • 16
  • 6
  • 9
  • 7
  • 7
  • 10
  • 12
  • 15
  • 20
  • 7
  • 21
  • 6
  • 29
  • 6
  • 13
  • 8
  • 82
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 30
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 13
  • 19
  • 6
  • 19
  • 23
  • 20
  • 10
  • 23
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 29
  • 8
  • 12
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 8
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 8
  • 8
  • 6
  • 20
  • 9
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 103
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 19
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 59
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 10
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 13
  • 61
  • 8
  • 8
  • 8
  • 21
  • 10
  • 9
  • 23
  • 16
  • 6
  • 7
  • 6
  • 13
  • 7
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 8
  • 7
  • 26
  • 6
  • 14
  • 15
  • 16
  • 6
  • 13
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 19
  • 9
  • 25
  • 9
  • 10
  • 13
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 8
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 122
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 24
  • 11
  • 9
  • 12
  • 15
  • 11
  • 28
  • 8
  • 123
  • 6
  • 62
  • 13
  • 12
  • 12
  • 120
  • 30
  • 6
  • 19
  • 9
  • 14
  • 8
  • 13
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 10
  • 120
  • 9
  • 15
  • 27
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 30
  • 10
  • 7
  • 6
  • 14
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 35
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 11
  • 10
  • 11
  • 11
  • 13
  • 19
  • 38
  • 18
  • 9
  • 11
  • 8
  • 25
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 8
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 34
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 29
  • 14
  • 18
  • 34
  • 71
  • 12
  • 20
  • 24
  • 10
  • 15
  • 8
  • 11
  • 20
  • 22
  • 17
  • 9
  • 12
  • 73
  • 25
  • 15
  • 10
  • 6
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 15
  • 10
  • 11
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 12
  • 42
  • 7
  • 11
  • 7
  • 7
  • 18
  • 9
  • 19
  • 23
  • 9
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 32
  • 7
  • 18
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 20
  • 7
  • 14
  • 17
  • 7
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 14
  • 10
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 60
  • 14
  • 7
  • 7
  • 7
  • 28
  • 60
  • 22
  • 80
  • 6
  • 21
  • 6
  • 6
  • 12
  • 9
  • 9
  • 6
  • 40
  • 9
  • 8
  • 23
  • 25
  • 21
  • 13
  • 13
  • 6
  • 16
  • 15
  • 7
  • 28
Verlag
  • 2
  • 11569
  • 40
  • 1532
  • 14
  • 1
  • 3
  • 133
  • 1
  • 1
  • 43
Preis
  • 47
  • 493
  • 10528
  • 2271
Sprachen
  • 13331
  • 20
  • 15
Verfügbarkeit
  • 13319
  • 20
Eigenschaften
  • 23
Katalog
  • 13339
  • 551
13.339  Treffer  für „Lecture Notes in Computer Science“
    Marshall / Nettles / Wakamiya | Active Networks | Buch | Sack Fachmedien

    Marshall / Nettles / Wakamiya Active Networks

    IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42678-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bechhofer / Hauswirth / Hoffmann | The Semantic Web: Research and Applications | Buch | Sack Fachmedien

    Bechhofer / Hauswirth / Hoffmann The Semantic Web: Research and Applications

    5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68233-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nasrollahi / Mathiassen / Nygren | Responsible AI for Value Creation | Buch | Sack Fachmedien

    Nasrollahi / Mathiassen / Nygren Responsible AI for Value Creation

    First Interdisciplinary Workshop, REPAI-W 2025, Copenhagen, Denmark, December 1, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-16885-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robshaw | Fast Software Encryption | Buch | Sack Fachmedien

    Robshaw Fast Software Encryption

    13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36597-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleophas / Massink | Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops | Buch | Sack Fachmedien

    Cleophas / Massink Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

    ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-67219-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Warren / Dahl / Eiter | Prolog: The Next 50 Years | Buch | Sack Fachmedien

    Warren / Dahl / Eiter Prolog: The Next 50 Years

    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35253-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm / Seidl | Static Analysis | Buch | Sack Fachmedien

    Müller-Olm / Seidl Static Analysis

    21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10935-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Sirjani | Coordination Models and Languages | Buch | Sack Fachmedien

    ter Beek / Sirjani Coordination Models and Languages

    24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-08145-3
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Kantamneni / Li | Services - SERVICES 2018 | Buch | Sack Fachmedien

    Yang / Kantamneni / Li Services - SERVICES 2018

    14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94471-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Osterby / Zlatev | Direct Methods for Sparse Matrices | Buch | Sack Fachmedien

    Osterby / Zlatev Direct Methods for Sparse Matrices

    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12676-8
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bieger / Goertzel / Potapov | Artificial General Intelligence | Buch | Sack Fachmedien

    Bieger / Goertzel / Potapov Artificial General Intelligence

    8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21364-4
    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
    Bilgin / Fischer | Smart Card Research and Advanced Applications | Buch | Sack Fachmedien

    Bilgin / Fischer Smart Card Research and Advanced Applications

    17th International Conference, CARDIS 2018, Montpellier, France, November 12-14, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15461-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khendek / Dssouli | Testing of Communicating Systems | Buch | Sack Fachmedien

    Khendek / Dssouli Testing of Communicating Systems

    17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26054-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-61361-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Aalst / Billington | Transactions on Petri Nets and Other Models of Concurrency I | Buch | Sack Fachmedien

    van der Aalst / Billington Transactions on Petri Nets and Other Models of Concurrency I

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89286-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Zetzsche / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Lin / Zetzsche / Potapov Reachability Problems

    16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19134-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Horák / Kopecek | Text, Speech, and Dialogue | Buch | Sack Fachmedien

    Sojka / Horák / Kopecek Text, Speech, and Dialogue

    25th International Conference, TSD 2022, Brno, Czech Republic, September 6-9, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-16269-5
    Medium: Buch
    53,49 € (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
    Vosmeer / Holloway-Attaway | Interactive Storytelling | Buch | Sack Fachmedien

    Vosmeer / Holloway-Attaway Interactive Storytelling

    15th International Conference on Interactive Digital Storytelling, ICIDS 2022, Santa Cruz, CA, USA, December 4-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-22297-9
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amtrup | Incremental Speech Translation | Buch | Sack Fachmedien

    Amtrup Incremental Speech Translation

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35701-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xing / Lai / Zhang | Metaverse - METAVERSE 2024 | Buch | Sack Fachmedien

    Xing / Lai / Zhang Metaverse - METAVERSE 2024

    20th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-76976-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Zohar | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Barbosa / Zohar Formal Methods: Foundations and Applications

    26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49341-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castagna | Programming Languages and Systems | Buch | Sack Fachmedien

    Castagna Programming Languages and Systems

    18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00589-3
    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