Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 114 kết quả
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australi...
Tác giả: Georges Gonthier, Michael Norrish
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Sele...
Tác giả: Hong Gao, Qin Lu
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revis...
Tác giả: Minghui Dong, Jingxia Lin, Xuri Tang
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
Tác giả: Robert Mercaş, Daniel Reidenbach
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
New Frontiers in Parallel Robots
Tác giả: Zhufeng Shao, Caro Stéphane, Caro Stéphane, Zhufeng Shao, Dan Zhang, Dan Zhang
Xuất bản: Basel: MDPI Multidisciplinary Digital Publishing Institute, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Foundations of Probabilistic Programming
Tác giả: Gilles Barthe, Gilles Barthe, Joost-Pieter Katoen, Joost-Pieter Katoen, Alexandra Silva, Alexandra Silva
Xuất bản: Cambridge New York NY: Cambridge University Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  001.642
 
Elements of Causal Inference : Foundations and Learning Algorithms
Tác giả: Jonas Peters, Dominik Janzing, Bernhard Schölkopf
Xuất bản: Cambridge: The MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.31
 
Network anomaly detection : a machine learning perspective
Tác giả: Dhruba K Bhattacharyya
Xuất bản: : ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 
Advances in computers. volume 82 elektronisk ressurs
Tác giả:
Xuất bản: Amsterdam Boston: ElsevierAcademic Press, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Advances in biometrics for secure human authentication and recognition
Tác giả: Phalguni Gupta, Dakshina Ranjan Kisku, Jamuna Kanta Sing
Xuất bản: Boca Raton: CRC PressTaylor Francis Group, 2013
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.4
 

Truy cập nhanh danh mục