Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 500 kết quả
Notes on set theory
Tác giả: Yiannis N Moschovakis
Xuất bản: New York: Springer , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
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
 
Combinatorics
Tác giả: Russell Merris
Xuất bản: Hoboken, NJ: Wiley-Interscience , 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Calculated bets : computers, gambling, and mathematical modeling to win
Tác giả: Steven S Skiena
Xuất bản: Washington, DC : Cambridge, U.K. ; New York: Mathematical Association of America ; Cambridge University Press , 2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
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
 

Truy cập nhanh danh mục