Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
131-140 trong số 140 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Cross disciplinary advances in quantum computing : NSF sponsored research Conference on Representation Theory, Quantum F...
Tác giả: Leonard L Brown, Deborah Koslover, Kazem Mahdavi
Xuất bản: Providence RI: American Mathematical Society, c2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.12
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop o...
Tác giả: Yasuhiro Suzuki, Toshiyuki Nakagaki, Toshiyuki Nakagaki, Yasuhiro Suzuki
Xuất bản: : Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Par...
Tác giả: Peter Müller
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 Thêm vào giỏ
 
Electromagnetic Wave Scattering by Aerial and Ground Radar Objects
Tác giả: Oleg I Sukharevsky, Oleg I Sukharevsky
Xuất bản: Boca Raton FL: Taylor Francis, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.3848
 Thêm vào giỏ
 
AI Knowledge Transfer from the University to Society : Applications in High-Impact Sectors
Tác giả: José Guadix Martín, Milica Lilic, Milica Lilic, José Guadix Martín, Marina Rosales Martínez, Marina Rosales Martínez
Xuất bản: Boca Raton FL Abingdon Oxon: Taylor Francis, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Jo...
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Trước 12 13 14

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media