Reihe Lecture Notes in Computer ScienceSpringer International Publishing × 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 1 - Core LanguageDerived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1Springer International PublishingSoftcover202679,17 € 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 PublishingSoftcover202679,17 € 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 PublishingSoftcover202679,17 € 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 PublishingSoftcover2025117,69 € Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingeBook2025 Components Operationally: Reversibility and System EngineeringEssays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th BirthdaySpringer International PublishingSoftcover202562,05 € Computational Science – ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part ISpringer International PublishingSoftcover202587,73 €13.825 Treffer 1 2 3 4 ...