Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Book titles in this series
-
-
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
-
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
-
-
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
-
Information Integration and Web Intelligence
27th International Conference, iiWAS 2025, Matsue, Japan, December 8–10, 2025, Proceedings
-
Science of Cyber Security
7th International Conference, SciSec 2025, Copenhagen, Denmark, August 15–17, 2025, Proceedings
-
Digital Humanism
First Interdisciplinary Science and Research Conference, DIGHUM 2025, Vienna, Austria, November 20–21, 2025, Proceedings
-
Cryptology and Network Security
24th International Conference, CANS 2025, Osaka, Japan, November 17–21, 2025, Proceedings
-
Database Systems for Advanced Applications
30th International Conference, DASFAA 2025, Singapore, Singapore, May 26–29, 2025, Proceedings, Part IV