Buchportal für Bücher die eine ISBN tragen.

nach "Person" filtern

Alexander Bentkamp (2)
Henning Wachsmuth (2)
Ilaria Canavotto (2)
Jesper Larsson Träff (2)
Mikhail Kovalev (2)
Petro Lutsyk (2)
Qingfeng Chen (2)
Romain Wacquez (2)
Sara Brunetti (2)
Vicenç Torra (2)

nach "Medientyp" filtern

Bücher (6968)
eBooks (6967)

Reihe Lecture Notes in Computer Science

Springer International Publishing ×
Buchcover Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
 
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing
eBook
2026
Buchcover Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
 
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing
Softcover
2026
79,17 €
Buchcover Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
 
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing
Softcover
2026
79,17 €
Buchcover Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
 
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing
eBook
2026
Buchcover Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
 
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing
Softcover
2026
79,17 €
Buchcover Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
 
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Springer International Publishing
eBook
2026
Buchcover Superposition for Higher-Order Logic
 
Superposition for Higher-Order Logic
 
Alexander Bentkamp
Springer International Publishing
Softcover
2025
117,69 €
Buchcover Superposition for Higher-Order Logic
 
Superposition for Higher-Order Logic
 
Alexander Bentkamp
Springer International Publishing
eBook
2025
Buchcover Frontiers of Combining Systems
 
Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 27–October 3, 2025, Proceedings
Springer International Publishing
eBook
2025
Buchcover Software Engineering and Advanced Applications
 
Software Engineering and Advanced Applications
51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part I
Springer International Publishing
Softcover
2025
87,73 €

13.937 Treffer 1 2 3 4 ...