Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 354 kết quả
A course on mathematical logic
Tác giả: S M Srivastava
Xuất bản: New York ; London: Springer , 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The complexity of Boolean functions
Tác giả: Ingo Wegener
Xuất bản: Stuttgart Chicester [West Sussex] ; New York: B.G. Teubner ; J. Wiley , 1987
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Introduction to languages and the theory of computation
Tác giả: John C Martin
Xuất bản: New York, NY: McGraw-Hill , 2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Mathematical logic
Tác giả: Ian Chiswell, Wilfrid Hodges
Xuất bản: London ; New York: Oxford University Press , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The Art of Proof [electronic resource] : Basic Training for Deeper Mathematics
Tác giả: Matthias Beck, Ross Geoghegan
Xuất bản: New York, NY: Matthias Beck and Ross Geoghegan , 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A concise introduction to mathematical logic
Tác giả: Wolfgang Rautenberg
Xuất bản: New York, NY: Springer , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Symbolic-Numeric Computation [electronic resource]
Tác giả: Dongming Wang, Lihong Zhi
Xuất bản: Basel: Birkhauser Verlag AG , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
An introduction to Kolmogorov complexity and its applications [electronic resource]
Tác giả: Ming Li, P MB Vitányi
Xuất bản: New York: Springer , 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A nonlinear dynamics perspective of Wolfram's New kind of science
Tác giả: Leon O Chua
Xuất bản: Singapore ; Hackensack, N.J: World Scientific , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.35
 
Theory of computation
Tác giả: Dexter Kozen
Xuất bản: London: Springer , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.352
 

Truy cập nhanh danh mục