Reihe Lecture Notes in Computer Science 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 Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII Springer BerlinSoftcover202580,24 € Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII Springer BerlineBook2025 Electronic Voting10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, ProceedingsSpringer International PublishingSoftcover202542,79 € Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingSoftcover2025117,69 €31.985 Treffer 1 2 3 4 ...