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: 
51-60 trong số 182 kết quả
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 Thêm vào giỏ
 
Advanced Logic Computing and Hybrid Crypto-Steganography for Molecular Information Coding Using Gold/Silver Nanoclusters
Tác giả: Mohamed Nabeel Mattath, Sumon Pratihar, Thimmaiah Govindaraju, Shuo Shi
Xuất bản: United States: ACS applied materials & interfaces , 2025
Bộ sưu tập: NCBI
ddc:  332.4042
 Thêm vào giỏ
 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Tác giả: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Drools JBoss Rules 5.0 developer's guide [electronic resource] : develop rules-based business logic using the Drools platform
Tác giả: Michal Bali, Sammy Larbi, James Taylor
Xuất bản: Birmingham, UK: Packt Publishing , 2009.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.2762
 Thêm vào giỏ
 
New Achievements in Evolutionary Computation
Tác giả: Peter Korosec, Peter Korosec
Xuất bản: Croatia: IntechOpen , 2010
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Game Theory
Tác giả: Qiming Huang, Qiming Huang
Xuất bản: Croatia: IntechOpen , 2010
Bộ sưu tập: Tài liệu truy cập mở
ddc:  823.912
 Thêm vào giỏ
 
Evolutionary Computation
Tác giả: Wellington Pinheiro dos Santos, Wellington Pinheiro dos Santos
Xuất bản: IntechOpen , 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  827.009
 Thêm vào giỏ
 
Grid Computing : Technology and Applications, Widespread Coverage and New Horizons
Tác giả: Soha Maad, Soha Maad
Xuất bản: Croatia: IntechOpen , 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Trước 4 5 6 7 8 Tiếp

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