Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 184 kết quả
Introduction to Louis Michel's lattice geometry through group action
Tác giả: Boris Zhilinskii
Xuất bản: Paris: EDP SCIENCES, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.33
 
Communication complexity : a new approach to circuit depth
Tác giả: Mauricio Karchmer
Xuất bản: Cambridge Massachusetts: MIT Press, 1989
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.324
 
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
 
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
 
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
 
Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Tác giả: Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục