Reihe Lecture Notes in Computer ScienceeBooks × Consolidated Ada 2022 Reference Manual. Volume 1 - Core LanguageDerived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1Springer International PublishingeBook2026 Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and InterfacingDerived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1Springer International PublishingeBook2026 Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and IndexesDerived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1Springer International PublishingeBook2026 Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingeBook2025 Computational Science – ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part ISpringer International PublishingeBook202585,59 € Advanced Parallel Processing Technologies16th International Symposium, APPT 2025, Athens, Greece, July 13-16, 2025, ProceedingsSpringer SingaporeeBook2025 Applied Cryptography and Network Security WorkshopsACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 2Springer International PublishingeBook2025 Applied Cryptography and Network Security WorkshopsACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, ReviseSpringer International PublishingeBook2025 Applied Cryptography and Network Security WorkshopsACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, ReviseSpringer International PublishingeBook2025 Advances in Cryptology – CRYPTO 202545th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–21, 2025, Proceedings, Part ISpringer International PublishingeBook202515.900 Treffer 1 2 3 4 ...