Loại tài liệu:    Chỉ tìm trong: 
Tìm được 8 kết quả
Automata Theory with Modern Applications [electronic resource]
Tác giả: James A Anderson
Xuất bản: Cambridge: Cambridge University Press, 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.35
 
Lectures in logic and set theory
Tác giả: George J Tourlakis
Xuất bản: Cambridge UK New York: Cambridge University Press, 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Computational complexity : a modern approach
Tác giả: Sanjeev Arora, Boaz Barak
Xuất bản: Cambridge New York: Cambridge University Press, 2009
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.352
 
Computational complexity : a conceptual perspective
Tác giả: Oded Goldreich
Xuất bản: Cambridge New York: Cambridge University Press, 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.352
 
Appalachian set theory : 2006-2012
Tác giả: James Cummings, Ernest Schimmerling
Xuất bản: Cambridge UK New York: Cambridge University Press, 2013
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.322
 
Computability, enumerability, unsolvability : directions in recursion theory
Tác giả: S B Cooper, T A Slaman, S S Wainer
Xuất bản: Cambridge England New York: Cambridge University Press, 1996
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.35
 
Model theory with applications to algebra and analysis
Tác giả: Zoé Mari Chatzidakis
Xuất bản: Cambridge UK New York: Cambridge University Press, 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Forcing idealized
Tác giả: Jindřich Zapletal
Xuất bản: Cambridge New York: Cambridge University Press, 200
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  511.322
 
1

Truy cập nhanh danh mục