Fachgebiet
Medium
  • 10488
Erscheinungsjahr
  • 132
  • 806
  • 855
  • 616
  • 475
  • 259
  • 321
  • 316
  • 337
  • 303
  • 302
  • 293
  • 287
  • 285
  • 291
  • 293
  • 267
  • 252
  • 234
  • 260
  • 275
  • 212
  • 355
  • 298
  • 260
  • 255
  • 185
  • 171
  • 126
  • 140
  • 136
  • 115
  • 106
  • 94
  • 70
  • 85
  • 60
  • 56
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 4
  • 5
  • 6
  • 7
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 10
  • 4
  • 6
  • 9
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 7
  • 10
  • 6
  • 4
  • 5
  • 16
  • 5
  • 5
  • 16
  • 4
  • 8
  • 7
  • 4
  • 7
  • 5
  • 9
  • 9
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 8
  • 6
  • 14
  • 5
  • 26
  • 36
  • 9
  • 40
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 12
  • 4
  • 15
  • 11
  • 4
  • 4
  • 5
  • 5
  • 38
  • 8
  • 5
  • 4
  • 5
  • 4
  • 5
  • 7
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 10
  • 4
  • 4
  • 14
  • 5
  • 4
  • 7
  • 4
  • 5
  • 6
  • 6
  • 6
  • 5
  • 6
  • 7
  • 4
  • 6
  • 8
  • 7
  • 9
  • 8
  • 5
  • 4
  • 6
  • 4
  • 18
  • 8
  • 4
  • 14
  • 4
  • 6
  • 9
  • 4
  • 5
  • 4
  • 9
  • 5
  • 4
  • 7
  • 5
  • 21
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 10
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 8
  • 6
  • 25
  • 13
  • 6
  • 8
  • 8
  • 5
  • 6
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 5
  • 8
  • 4
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 6
  • 4
  • 10
  • 7
  • 7
  • 4
  • 13
  • 8
  • 4
  • 15
  • 10
  • 16
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 8
  • 4
  • 38
  • 21
  • 7
  • 4
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 7
  • 5
  • 16
  • 9
  • 8
  • 4
  • 5
  • 14
  • 6
  • 6
  • 5
  • 4
  • 16
  • 4
  • 5
  • 4
  • 6
  • 4
  • 5
  • 24
  • 4
  • 13
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 11
  • 5
  • 5
  • 5
  • 7
  • 6
  • 4
  • 6
  • 9
  • 5
  • 6
  • 7
  • 34
  • 10
  • 41
  • 10
  • 8
  • 14
  • 18
  • 5
  • 12
  • 4
  • 22
  • 12
  • 36
  • 4
  • 8
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 6
  • 15
  • 9
  • 4
  • 38
  • 5
  • 5
  • 10
  • 4
  • 6
  • 6
  • 6
  • 4
  • 10
  • 10
  • 6
  • 4
  • 5
  • 7
  • 4
  • 12
  • 8
  • 6
  • 16
  • 4
  • 4
  • 4
  • 6
  • 7
  • 6
  • 15
  • 20
  • 4
  • 6
  • 4
  • 10
  • 5
  • 7
  • 4
  • 6
  • 8
  • 15
  • 11
  • 24
  • 6
  • 5
  • 4
  • 5
  • 7
  • 4
  • 4
  • 7
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 15
  • 10
  • 4
  • 11
  • 8
  • 4
  • 4
  • 5
  • 47
  • 41
  • 7
  • 22
  • 8
  • 6
  • 12
  • 4
  • 4
  • 24
  • 11
  • 4
  • 4
  • 4
  • 10
  • 17
  • 4
  • 6
  • 6
  • 6
  • 5
  • 4
  • 4
  • 27
  • 11
  • 45
  • 8
  • 7
  • 4
  • 5
  • 4
  • 16
  • 6
  • 6
  • 5
  • 8
  • 15
  • 14
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 8
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 4
  • 18
  • 20
  • 4
  • 4
  • 8
  • 5
  • 15
  • 5
  • 10
  • 9
  • 5
  • 15
  • 4
  • 55
  • 27
  • 4
  • 4
  • 4
  • 21
  • 7
  • 18
  • 22
  • 91
  • 11
  • 5
  • 6
  • 16
  • 4
  • 5
  • 4
  • 5
  • 6
  • 21
  • 15
  • 4
  • 10
  • 4
  • 6
  • 6
  • 14
  • 11
  • 6
  • 5
  • 6
  • 5
  • 13
  • 5
  • 36
  • 7
  • 6
  • 5
  • 7
  • 20
  • 7
  • 5
  • 6
  • 19
  • 38
  • 8
  • 18
  • 12
  • 9
  • 5
  • 5
  • 5
  • 13
  • 15
  • 5
  • 10
  • 5
  • 9
  • 70
  • 8
  • 5
  • 9
  • 6
  • 6
  • 10
  • 5
  • 15
  • 14
  • 7
  • 11
  • 22
  • 15
  • 5
  • 6
  • 6
  • 16
  • 9
  • 8
  • 13
  • 11
  • 5
  • 13
  • 5
  • 6
  • 11
  • 5
  • 15
  • 6
  • 5
  • 11
  • 6
  • 9
  • 6
  • 11
  • 5
  • 8
  • 7
  • 6
  • 5
  • 28
  • 6
  • 8
  • 5
  • 8
  • 20
  • 13
  • 31
  • 8
  • 15
  • 8
  • 5
  • 29
  • 6
  • 6
  • 5
  • 15
  • 6
  • 5
  • 15
  • 7
  • 18
  • 28
  • 17
  • 12
  • 7
  • 16
  • 6
  • 14
  • 5
  • 29
  • 12
  • 27
  • 37
  • 5
  • 5
  • 5
  • 5
  • 6
  • 5
  • 14
  • 12
  • 8
  • 6
  • 6
  • 9
  • 7
  • 6
  • 5
  • 12
  • 88
  • 12
  • 5
  • 16
  • 13
  • 6
  • 6
  • 5
  • 12
  • 14
  • 11
  • 6
  • 8
  • 14
  • 11
  • 6
  • 18
  • 20
  • 7
  • 21
  • 7
  • 5
  • 61
  • 7
  • 15
  • 7
  • 5
  • 6
  • 13
  • 22
  • 5
  • 7
  • 5
  • 5
  • 13
  • 6
  • 6
  • 6
  • 5
  • 7
  • 6
  • 7
  • 23
  • 6
  • 10
  • 13
  • 13
  • 14
  • 13
  • 5
  • 15
  • 9
  • 15
  • 5
  • 5
  • 11
  • 11
  • 8
  • 6
  • 29
  • 6
  • 31
  • 26
  • 5
  • 6
  • 10
  • 5
  • 8
  • 10
  • 14
  • 7
  • 7
  • 6
  • 5
  • 8
  • 6
  • 9
  • 13
  • 9
  • 5
  • 7
  • 6
  • 7
  • 8
  • 7
  • 8
  • 35
  • 12
  • 9
  • 7
  • 6
  • 5
  • 6
  • 5
  • 8
  • 18
  • 9
  • 11
  • 5
  • 7
  • 6
  • 7
  • 6
  • 6
  • 83
  • 8
  • 5
  • 5
  • 6
  • 10
  • 8
  • 6
  • 5
  • 6
  • 6
  • 9
  • 45
  • 7
  • 5
  • 14
  • 6
  • 5
  • 5
  • 5
  • 12
  • 7
  • 6
  • 13
  • 6
  • 7
  • 5
  • 8
  • 9
  • 5
  • 5
  • 8
  • 8
  • 6
  • 7
  • 5
  • 5
  • 5
  • 10
  • 43
  • 7
  • 7
  • 7
  • 16
  • 6
  • 19
  • 11
  • 5
  • 13
  • 13
  • 17
  • 15
  • 15
  • 5
  • 5
  • 5
  • 25
  • 11
  • 11
  • 8
  • 7
  • 22
  • 14
  • 8
  • 15
  • 8
  • 7
  • 5
  • 11
  • 18
  • 5
  • 11
  • 8
  • 11
  • 8
  • 24
  • 10
  • 9
  • 6
  • 7
  • 13
  • 8
  • 10
  • 6
  • 13
  • 8
  • 5
  • 5
  • 13
  • 24
  • 13
  • 5
  • 7
  • 7
  • 15
  • 8
  • 7
  • 8
  • 5
  • 91
  • 5
  • 6
  • 10
  • 25
  • 5
  • 5
  • 8
  • 11
  • 8
  • 8
  • 5
  • 9
  • 5
  • 18
  • 5
  • 92
  • 5
  • 6
  • 44
  • 11
  • 10
  • 7
  • 89
  • 20
  • 5
  • 14
  • 9
  • 10
  • 9
  • 11
  • 15
  • 7
  • 9
  • 5
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 16
  • 20
  • 5
  • 11
  • 10
  • 5
  • 12
  • 15
  • 14
  • 6
  • 12
  • 6
  • 5
  • 10
  • 5
  • 8
  • 9
  • 22
  • 16
  • 8
  • 5
  • 6
  • 9
  • 12
  • 7
  • 20
  • 7
  • 5
  • 5
  • 5
  • 9
  • 5
  • 14
  • 10
  • 8
  • 15
  • 9
  • 45
  • 6
  • 6
  • 8
  • 5
  • 5
  • 15
  • 8
  • 10
  • 6
  • 8
  • 11
  • 8
  • 6
  • 6
  • 5
  • 6
  • 10
  • 7
  • 37
  • 10
  • 41
  • 9
  • 7
  • 6
  • 12
  • 10
  • 10
  • 22
  • 11
  • 10
  • 17
  • 16
  • 21
  • 5
  • 11
  • 22
  • 9
  • 10
  • 20
  • 57
  • 10
  • 10
  • 22
  • 8
  • 9
  • 6
  • 7
  • 10
  • 18
  • 21
  • 12
  • 5
  • 10
  • 47
  • 24
  • 12
  • 6
  • 9
  • 10
  • 16
  • 8
  • 7
  • 12
  • 16
  • 18
  • 5
  • 12
  • 7
  • 5
  • 15
  • 9
  • 7
  • 8
  • 10
  • 5
  • 89
  • 10
  • 8
  • 20
  • 15
  • 5
  • 5
  • 8
  • 15
  • 6
  • 8
  • 31
  • 5
  • 11
  • 13
  • 9
  • 13
  • 18
  • 8
  • 23
  • 6
  • 5
  • 6
  • 15
  • 5
  • 18
  • 11
  • 11
  • 8
  • 9
  • 6
  • 8
  • 5
  • 7
  • 20
  • 13
  • 10
  • 5
  • 8
  • 6
  • 6
  • 5
  • 11
  • 10
  • 9
  • 5
  • 18
  • 7
  • 10
  • 10
  • 5
  • 7
  • 8
  • 8
  • 26
  • 10
  • 14
  • 6
  • 21
  • 9
  • 5
  • 5
  • 6
  • 5
  • 5
  • 5
  • 18
  • 7
  • 6
  • 47
  • 9
  • 6
  • 5
  • 25
  • 6
  • 5
  • 43
  • 7
  • 14
  • 67
  • 18
  • 6
  • 11
  • 6
  • 6
  • 5
  • 33
  • 7
  • 5
  • 23
  • 14
  • 20
  • 10
  • 7
  • 6
  • 6
  • 6
  • 11
  • 7
  • 22
Verlag
  • 2
  • 10434
  • 3
  • 3
  • 1
  • 2
  • 3
  • 1
  • 39
Preis
  • 42
  • 361
  • 8073
  • 2012
Sprachen
  • 10483
  • 16
  • 13
  • 1
Verfügbarkeit
  • 10474
  • 14
Eigenschaften
  • 1
Katalog
  • 10488
  • 576
10.488  Treffer  für „Lecture Notes in Computer Science“


    Gebser / Sergey Practical Aspects of Declarative Languages

    26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-52037-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50520-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Iliadis / Papaleonidas / Angelov Artificial Neural Networks and Machine Learning - ICANN 2023

    32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44206-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cheng / Pedaste / Bardone Innovative Technologies and Learning

    7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-65883-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ogata / Martí-Oliet Rewriting Logic and Its Applications

    15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-65940-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Avni / Giacobbe / Johnson AI Verification

    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65111-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cranefield / Nardin / Lloyd Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII

    International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82038-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90659-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Caino-Lores / Diehl / Zeinalipour Euro-Par 2024: Parallel Processing Workshops

    Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90202-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45331-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45328-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lemaire / Ifrim / Bagnall Advanced Analytics and Learning on Temporal Data

    9th ECML PKDD Workshop, AALTD 2024, Vilnius, Lithuania, September 9-13, 2024, Revised Selected Papers
    2025
    Verlag: Springer
    ISBN: 978-3-031-77065-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Arcaini / Yue / Fredericks Search-Based Software Engineering

    15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-48795-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zeinalipour / Kirkeby / Blanco Heras Euro-Par 2023: Parallel Processing Workshops

    Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-48802-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Voevodin / Sobolev / Yakobovskiy Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49434-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Athanasopoulos / Mennink Information Security

    26th International Conference, ISC 2023, Groningen, The Netherlands, November 15-17, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49186-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bekos / Chimani Graph Drawing and Network Visualization

    31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49274-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Georgiou / Kranakis Algorithmics of Wireless Networks

    19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48881-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Muthukkumarasamy / Sudarsan / Shyamasundar Information Systems Security

    19th International Conference, ICISS 2023, Raipur, India, December 16-20, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49098-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brunetti / Frosini / Rinaldi Discrete Geometry and Mathematical Morphology

    Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-57792-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Köthe / Rother Pattern Recognition

    45th DAGM German Conference, DAGM GCPR 2023, Heidelberg, Germany, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-54604-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baratgin / Jacquet / Yama Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-55244-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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