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 Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII Springer BerlineBook2025 Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingeBook2025 Frontiers of Combining Systems15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 27–October 3, 2025, ProceedingsSpringer International PublishingeBook2025 Software Engineering and Advanced Applications51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part ISpringer International PublishingeBook2025 Software Engineering and Advanced Applications51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part IISpringer International PublishingeBook2025 Software Engineering and Advanced Applications51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part IIISpringer International PublishingeBook2025 Geometric Science of Information7th International Conference, GSI 2025, Saint-Malo, France, October 29–31, 2025, Proceedings, Part ISpringer International PublishingeBook202515.981 Treffer 1 2 3 4 ...