Fachgebiet
Medium
  • 10684
Erscheinungsjahr
  • 329
  • 803
  • 839
  • 619
  • 486
  • 286
  • 308
  • 305
  • 310
  • 266
  • 317
  • 299
  • 301
  • 317
  • 304
  • 260
  • 267
  • 247
  • 216
  • 257
  • 272
  • 234
  • 362
  • 301
  • 257
  • 253
  • 178
  • 176
  • 135
  • 137
  • 134
  • 116
  • 105
  • 93
  • 73
  • 88
  • 59
  • 59
  • 45
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 7
  • 6
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 18
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 8
  • 4
  • 6
  • 16
  • 10
  • 9
  • 6
  • 5
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 7
  • 9
  • 10
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 20
  • 6
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 9
  • 4
  • 5
  • 9
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 10
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 7
  • 4
  • 6
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 15
  • 9
  • 16
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 7
  • 10
  • 4
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 6
  • 15
  • 5
  • 7
  • 10
  • 4
  • 5
  • 14
  • 5
  • 6
  • 14
  • 4
  • 8
  • 24
  • 4
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 4
  • 9
  • 6
  • 5
  • 6
  • 5
  • 4
  • 5
  • 34
  • 4
  • 12
  • 41
  • 14
  • 8
  • 14
  • 15
  • 11
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 4
  • 12
  • 4
  • 6
  • 12
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 9
  • 4
  • 4
  • 4
  • 8
  • 6
  • 10
  • 13
  • 6
  • 5
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 6
  • 4
  • 6
  • 9
  • 15
  • 23
  • 7
  • 7
  • 5
  • 6
  • 6
  • 8
  • 6
  • 6
  • 11
  • 11
  • 4
  • 24
  • 6
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 45
  • 40
  • 11
  • 23
  • 8
  • 13
  • 6
  • 32
  • 13
  • 5
  • 19
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 25
  • 4
  • 4
  • 13
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 11
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 13
  • 8
  • 5
  • 4
  • 7
  • 6
  • 18
  • 55
  • 34
  • 9
  • 4
  • 22
  • 7
  • 17
  • 22
  • 93
  • 6
  • 11
  • 6
  • 4
  • 4
  • 8
  • 5
  • 16
  • 4
  • 11
  • 4
  • 6
  • 6
  • 18
  • 12
  • 8
  • 5
  • 5
  • 4
  • 13
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 12
  • 5
  • 5
  • 41
  • 6
  • 8
  • 10
  • 5
  • 5
  • 10
  • 13
  • 6
  • 8
  • 8
  • 21
  • 39
  • 8
  • 17
  • 8
  • 5
  • 16
  • 15
  • 8
  • 8
  • 67
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 7
  • 6
  • 5
  • 6
  • 10
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 6
  • 6
  • 8
  • 5
  • 12
  • 6
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 31
  • 13
  • 8
  • 24
  • 8
  • 16
  • 34
  • 5
  • 6
  • 9
  • 15
  • 7
  • 5
  • 33
  • 6
  • 6
  • 10
  • 5
  • 8
  • 5
  • 7
  • 16
  • 6
  • 6
  • 15
  • 15
  • 32
  • 20
  • 8
  • 8
  • 6
  • 5
  • 15
  • 23
  • 5
  • 8
  • 26
  • 43
  • 8
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 6
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 19
  • 7
  • 12
  • 7
  • 8
  • 6
  • 13
  • 5
  • 7
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 5
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 6
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 16
  • 11
  • 10
  • 16
  • 5
  • 11
  • 9
  • 28
  • 7
  • 36
  • 28
  • 7
  • 6
  • 6
  • 8
  • 6
  • 18
  • 7
  • 5
  • 9
  • 14
  • 7
  • 6
  • 5
  • 6
  • 10
  • 19
  • 8
  • 6
  • 6
  • 8
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 5
  • 13
  • 8
  • 10
  • 5
  • 5
  • 20
  • 7
  • 5
  • 9
  • 6
  • 6
  • 6
  • 10
  • 8
  • 5
  • 85
  • 7
  • 6
  • 5
  • 5
  • 9
  • 11
  • 5
  • 6
  • 5
  • 11
  • 10
  • 37
  • 5
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 6
  • 10
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 6
  • 7
  • 11
  • 5
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 21
  • 6
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 14
  • 19
  • 15
  • 6
  • 15
  • 5
  • 5
  • 9
  • 27
  • 13
  • 10
  • 11
  • 6
  • 20
  • 5
  • 10
  • 6
  • 15
  • 12
  • 6
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 11
  • 12
  • 7
  • 6
  • 5
  • 13
  • 6
  • 7
  • 9
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 21
  • 15
  • 8
  • 17
  • 12
  • 8
  • 11
  • 9
  • 10
  • 20
  • 5
  • 92
  • 6
  • 50
  • 11
  • 11
  • 6
  • 6
  • 89
  • 17
  • 5
  • 14
  • 12
  • 5
  • 10
  • 9
  • 20
  • 13
  • 5
  • 6
  • 5
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 17
  • 8
  • 6
  • 12
  • 12
  • 16
  • 5
  • 10
  • 9
  • 7
  • 11
  • 5
  • 9
  • 7
  • 22
  • 15
  • 6
  • 5
  • 5
  • 13
  • 6
  • 25
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 9
  • 9
  • 6
  • 16
  • 17
  • 22
  • 26
  • 5
  • 6
  • 20
  • 8
  • 5
  • 11
  • 10
  • 16
  • 5
  • 6
  • 12
  • 8
  • 38
  • 8
  • 48
  • 14
  • 6
  • 11
  • 11
  • 11
  • 9
  • 22
  • 5
  • 8
  • 17
  • 7
  • 14
  • 15
  • 19
  • 6
  • 5
  • 10
  • 5
  • 23
  • 7
  • 25
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 20
  • 12
  • 7
  • 6
  • 10
  • 54
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 6
  • 11
  • 9
  • 89
  • 10
  • 16
  • 5
  • 16
  • 6
  • 5
  • 5
  • 13
  • 11
  • 6
  • 31
  • 5
  • 11
  • 5
  • 5
  • 11
  • 13
  • 19
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 5
  • 13
  • 23
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 23
  • 8
  • 15
  • 10
  • 6
  • 7
  • 6
  • 6
  • 5
  • 16
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 13
  • 14
  • 5
  • 19
  • 11
  • 5
  • 9
  • 5
  • 12
  • 18
  • 6
  • 6
  • 6
  • 41
  • 5
  • 8
  • 5
  • 23
  • 44
  • 14
  • 63
  • 5
  • 18
  • 5
  • 12
  • 11
  • 6
  • 6
  • 32
  • 7
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 12
  • 9
  • 5
  • 20
Verlag
  • 3
  • 10624
  • 3
  • 6
  • 1
  • 6
  • 4
  • 1
  • 36
Preis
  • 47
  • 386
  • 8139
  • 2112
Sprachen
  • 10678
  • 17
  • 13
Verfügbarkeit
  • 10671
  • 13
Eigenschaften
  • 12
Katalog
  • 10684
  • 559
10.684  Treffer  für „Lecture Notes in Computer Science“


    Madeira / Knapp Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77381-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-75386-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-75389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Luo / Zhang CLOUD Computing - CLOUD 2025

    18th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06325-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bergami / Ezhilchelvan / Manolopoulos Database Engineered Applications

    29th International Symposium, IDEAS 2025, Newcastle upon Tyne, UK, July 14-16, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06743-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baras / Papavassiliou / Tsiropoulou Game Theory and AI for Security

    16th International Conference, GameSec 2025, Athens, Greece, October 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08066-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vafeiadis Programming Languages and Systems

    34th European Symposium on Programming, ESOP 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-91120-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giacobbe / Lukina AI Verification

    Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99990-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dalla Preda / Schrittwieser / Naessens Availability, Reliability and Security

    20th International Conference, ARES 2025, Ghent, Belgium, August 11-14, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00623-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Remke / Steffen Formal Methods for Industrial Critical Systems

    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00941-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Rivain / Sasdrich Constructive Approaches for Security Analysis and Design of Embedded Systems

    First International Conference, CASCADE 2025, Saint-Etienne, France, April 2-4, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01404-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lindgren / Rodríguez Bolívar / Janssen Electronic Government

    24th IFIP WG 8.5 International Conference, EGOV 2025, Krems, Austria, August 31 - September 4, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01588-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Senn / Sanguineti / Saudargiene Artificial Neural Networks and Machine Learning - ICANN 2025

    34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04557-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yin / Karatzas / Lopresti Document Analysis and Recognition - ICDAR 2025

    19th International Conference, Wuhan, China, September 16-21, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04623-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Taibi / Smite Software Engineering and Advanced Applications

    51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04199-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tammets / Sosnovsky / Ferreira Mello Two Decades of TEL. From Lessons Learnt to Challenges Ahead

    20th European Conference on Technology Enhanced Learning, EC-TEL 2025, Newcastle upon Tyne and Durham, UK, September 15-19, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03872-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lavi / Zhang Algorithmic Game Theory

    18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03638-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hubballi / Verma / Rudrapatna K. Information Systems Security

    21st International Conference, ICISS 2025, Indore, India, December 16-20, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-13713-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Garlisi / Chatzopoulos Algorithmic Aspects of Cloud Computing

    10th International Symposium, ALGOCLOUD 2025, Warsaw, Poland, September 15-16, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-13743-2
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Misra / Pandey Algorithms and Discrete Applied Mathematics

    12th International Conference, CALDAM 2026, Dharwad, India, February 12-14, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-17155-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen / Jensen / Lengál Verification, Model Checking, and Abstract Interpretation

    27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-15699-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Freitas / Furtado Intelligent Systems

    35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-15983-0
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hogeweg / Jalali / Sedlár Logic, Language, and Computation

    14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-14338-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bianculli / Gómez-Martínez Software Engineering and Formal Methods

    23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10443-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Moosaei / Belavkin / Pardalos Dynamics of Information Systems

    8th International Conference, DIS 2025, London, UK, June 1-5, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-16468-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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