Loại tài liệu:    Chỉ tìm trong: 
Tìm được 24 kết quả
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
Tác giả: Charles Petzold
Xuất bản: Indianapolis, IN: Wiley Pub , 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.352
 
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
 
Simulating complex systems by cellular automata
Tác giả: Alfons Hoekstra, Kroc Jiˆrí, Peter Sloot
Xuất bản: Heidelberg ; New York: Springer , 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.35
 
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
 
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
 
Đơn định và tối thiểu hóa otomat khoảng
Tác giả: Vũ Anh Bùi
Xuất bản: Tin học và điều khiển học , 2014
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.35
 
Xác định độ võng của dây cáp trong tính toán tời cáp treo
Tác giả: Đức Thọ Trần, Ngọc Minh Trần
Xuất bản: Công nghiệp Mỏ , 2012
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.352
 
Computability and randomness
Tác giả: André Nies
Xuất bản: New York: Oxford University Press , 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.352
 
1 2 3 Tiếp

Truy cập nhanh danh mục