Loại tài liệu:    Chỉ tìm trong: 
31-39 trong số 39 kết quả
Basic category theory for computer scientists
Tác giả: Benjamin C Pierce
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Cellular automata machines : a new environment for modeling
Tác giả: Tommaso Toffoli, Norman Margolus
Xuất bản: Cambridge Massachusetts: MIT Press, 1987
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Computability : Turing, G�odel, Church, and beyond
Tác giả: B Jack Copeland, Carl J Posy, Oron Shagrir
Xuất bản: Cambridge Massachusetts: MIT Press, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.352
 
The little prover
Tác giả: Daniel P Friedman, Carl Eastlund
Xuất bản: Cambridge Massachusetts: MIT Press, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.36028563
 
Analytical methods for dynamics modelers
Tác giả: Rogelio Oliva, Nathaniel D Osgood, Hazhir Rahmandad
Xuất bản: Cambridge Massachusetts: MIT Press, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.8
 
The Continued Exercise of Reason : Public Addresses by George Boole
Tác giả: Brendan Dooley
Xuất bản: Cambridge: MIT Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
Tác giả: John Gregg
Xuất bản: New York: IEEE Press, 1998
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.324
 
Error estimation for pattern recognition
Tác giả: Ulisses de Mendon A�Aca Braga-Neto, Edward R Dougherty
Xuất bản: Chichester West Sussex: Wiley Blackwell, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.43
 
Fuzzy set and its extension : the intuitionistic fuzzy set
Tác giả: Tamalika Chaira
Xuất bản: Hoboken New Jersey: John Wiley Sons Inc, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3223
 

Truy cập nhanh danh mục