About this book series

The seriesLecture Notes in Computer Science (LNCS), including its subseries Lecture Notesin Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI),has established itself as a medium for the publication of new developments incomputer science and information technology research, teaching, and education. 

LNCS enjoys close cooperation with the computer science R & D community,the series counts many renowned academics among its volume editors and paperauthors, and collaborates with prestigious societies. Its mission is to servethis international community by providing an invaluable service, mainly focusedon the publication of conference and workshop proceedings and postproceedings.LNCS commenced publication in 1973.

This book series contains subseries
View subseries
Electronic ISSN
1611-3349
Print ISSN
0302-9743
Series Editor
  • Elisa Bertino,
  • Wen Gao,
  • Bernhard Steffen,
  • Moti Yung

Book titles in this series

  1. Superposition for Higher-Order Logic

    Authors:
    • Alexander Bentkamp
    • Copyright: 2027

    Available Renditions

    • Soft cover
    • eBook
  2. Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language

    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1

    Editors:
    • S. Tucker Taft
    • Robert A. Duff
    • Randall L. Brukardt
    • Erhard Ploedereder
    • Copyright: 2027

    Available Renditions

    • Soft cover
    • eBook
  3. Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing

    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1

    Editors:
    • S. Tucker Taft
    • Robert A. Duff
    • Randall L. Brukardt
    • Erhard Ploedereder
    • Copyright: 2027

    Available Renditions

    • Soft cover
    • eBook
  4. Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes

    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1

    Editors:
    • S. Tucker Taft
    • Robert A. Duff
    • Randall L. Brukardt
    • Erhard Ploedereder
    • Copyright: 2027

    Available Renditions

    • Soft cover
    • eBook
  5. Lectures on Parallel Computing

    Authors:
    • Jesper Larsson Träff
    • Copyright: 2026

    Available Renditions

    • Soft cover
    • eBook

Abstracted and indexed in

  1. ACM Digital Library
  2. Astrophysics Data System (ADS)
  3. Chemical Abstracts Service (CAS)
  4. DBLP
  5. EI Compendex
  6. INSPEC
  7. Japanese Science and Technology Agency (JST)
  8. Norwegian Register for Scientific Journals and Series
  9. SCImago
  10. SCOPUS
  11. WTI AG
  12. zbMATH