Loại tài liệu:    Chỉ tìm trong: 
31-38 trong số 38 kết quả
A course in mathematical logic
Tác giả: Manin ëIìU I, Neal Koblitz
Xuất bản: New York: Springer Verlag, 1977
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
An algebraic introduction to mathematical logic
Tác giả: D W Barnes, J M Mack
Xuất bản: New York: SpringerVerlag, 1975
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Toán rời rạc và lý thuyết đồ thị
Tác giả: Lê Văn Luyện, Nguyễn Kim Hưng
Xuất bản: TPHCM: HUTECH, 2018
Bộ sưu tập: Sách giáo trình
Bản in + eBook (pdf)
ddc:  511
 
Simulated Annealing : Theory with Applications
Tác giả: Rui Chibante, Rui Chibante
Xuất bản: Croatia: IntechOpen, 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511
 
Ellipse fitting for computer vision : implementation and applications
Tác giả: Kenʼichi Kanatani
Xuất bản: Sl: Morgan Claypool, 2016
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Proofs and refutations : the logic of mathematical discovery
Tác giả: Imre Lakatos
Xuất bản: Cambridge New York: Cambridge University Press, 197
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
Tác giả: Juha Kontinen, Roman Kossak, Andrés Villaveces, Åsa Hirvonen
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Discrete Mathematics
Tác giả: L Lov´asz, K Vesztergombi
Xuất bản: : Lecture Notes Yale University Spring, 1999
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 

Truy cập nhanh danh mục