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
Superposition for Higher-Order Logic
- Authors:
- Alexander Bentkamp
- Copyright: 2027
Available Renditions
- Soft cover
- eBook

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

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

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

Lectures on Parallel Computing
- Authors:
- Jesper Larsson Träff
- Copyright: 2026
Available Renditions
- Soft cover
- eBook

Publish with us
- Contact the Publishing Editor
- Ronan Nugent
Abstracted and indexed in
- ACM Digital Library
- Astrophysics Data System (ADS)
- Chemical Abstracts Service (CAS)
- DBLP
- EI Compendex
- INSPEC
- Japanese Science and Technology Agency (JST)
- Norwegian Register for Scientific Journals and Series
- SCImago
- SCOPUS
- WTI AG
- zbMATH
