Loại tài liệu:    Chỉ tìm trong: 
381-390 trong số 590 kết quả
BIOS
Tác giả:
Xuất bản: : Puslitbang Sinergis Asa Professional, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Studia Universitatis Babes-Bolyai: Series Informatica
Tác giả:
Xuất bản: : BabesBolyai University ClujNapoca, 2009
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023,...
Tác giả: Uli Sattler, Uli Sattler, Martin Suda, Martin Suda
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceed...
Tác giả: Brigitte Pientka, Brigitte Pientka, Cesare Tinelli, Cesare Tinelli
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Chapter Continuous Anything for Distributed Research Projects
Tác giả: Frank Griesinger, Jörg Domaschka, Simon Volpert
Xuất bản: : InTechOpen, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
The Once-Only Principle [electronic resource] : The TOOP Project
Tác giả: Robert Krimmer, Szymon Mamrot, Andriana Prentza
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 
Managed Software Evolution [electronic resource]
Tác giả: Michael Goedicke, Wilhelm Hasselbring, Jan Keim, Lukas Märtin, Ralf Reussner, Birgit Vogel-Heuser
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Expert Oracle Database Architecture [electronic resource] : Third Edition
Tác giả: Thomas Kyte, Darl Kuhn
Xuất bản: Berkeley CA: Apress Imprint Apress, 2014
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 

Truy cập nhanh danh mục