Reihe Lecture Notes in Computer ScienceBücher × 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 3 - Specialized Needs Annexes, Summaries, and IndexesDerived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1Springer International PublishingSoftcover202679,17 € Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII Springer BerlinSoftcover202580,24 € Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingSoftcover2025117,69 € Software Engineering and Advanced Applications51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part ISpringer International PublishingSoftcover202587,73 € Software Engineering and Advanced Applications51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part IISpringer International PublishingSoftcover202579,17 € Software Engineering and Advanced Applications51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part IIISpringer International PublishingSoftcover202587,73 € Geometric Science of Information7th International Conference, GSI 2025, Saint-Malo, France, October 29–31, 2025, Proceedings, Part ISpringer International PublishingSoftcover202587,73 € Geometric Science of Information7th International Conference, GSI 2025, Saint-Malo, France, October 29–31, 2025, Proceedings, Part IISpringer International PublishingSoftcover202579,17 €15.833 Treffer 1 2 3 4 ...