Loại tài liệu:    Chỉ tìm trong: 
171-180 trong số 397 kết quả
Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday
Tác giả: Michael J Dinneen, Bakhadyr Khoussainov, Prof Andre Nies
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 
Algorithm animation
Tác giả: Marc H Brown
Xuất bản: Cambridge Massachusetts: MIT Press, 1988
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.6
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Algorithmic aspects of machine learning
Tác giả: Ankur Moitra
Xuất bản: United Kingdom: Cambridge University Press, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Algorithm design
Tác giả: Jon Kleinberg, Év Tardos
Xuất bản: Boston: PearsonAddisonWesley, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Pearls of functional algorithm design
Tác giả: Richard Bird
Xuất bản: Cambridge New York: Cambridge University Press, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.31
 
Learning in embedded systems
Tác giả: Leslie Pack Kaelbling
Xuất bản: Stanford Calif: Dept of Computer Science Stanford University, c1990
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Algorithmic combinatorics on partial words
Tác giả: Francine Blanchet-Sadri
Xuất bản: Boca Raton FL: Chapman HallCRC, c2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Bio-inspired Computing – Theories and Applications [electronic resource] : 11th International Conference, BIC-TA 2016, X...
Tác giả: Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục