Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 24 kết quả
Mathematical logic for computer science
Tác giả: Mordechai Ben-Ari
Xuất bản: New York: Springer, 2012
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015113
 Thêm vào giỏ
 
Computational intelligence : engineering of hybrid systems
Tác giả: Mircea Gh Negoita, Daniel Neagu, Vasile Palade
Xuất bản: Berlin New York: Springer, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Arithmetic and Logic in Computer Systems
Tác giả: Mi Lu
Xuất bản: kđ: WileyBlackwell, 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Logic in Computer Science [electronic resource] : Modelling and Reasoning about Systems
Tác giả: Michael Huth, Mark Ryan
Xuất bản: Cambridge: Cambridge University Press, 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015113
 Thêm vào giỏ
 
Coherent systems
Tác giả: Karl Schlechta
Xuất bản: kđ: Elsevier, 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.322
 Thêm vào giỏ
 
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Tác giả: Antonis C Kakas, Robert Kowalski, Fariba Sadri
Xuất bản: Heidelberg New York: Springer, 2002
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.115
 Thêm vào giỏ
 
Executing temporal logic programs
Tác giả: B C Moszkowski
Xuất bản: Cambridge Cambridgeshire New York: Cambridge University Press, 1986
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Theory of Program Structures: Schemes, Semantics, Verification : Lecture Notes in Computer Science elektronisk ressurs
Tác giả: Sheila A Greibach, G Goos, J Hartmanis
Xuất bản: Berlin Heidelberg: SpringerVerlag, 1975
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  001.642
 Thêm vào giỏ
 
Logic and the organization of information
Tác giả: Martin Frické
Xuất bản: New York: Springer, 2012
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  025
 Thêm vào giỏ
 
Tính toán mềm và ứng dụng
Tác giả: Nguyễn Như Phong
Xuất bản: Hà Nội: Khoa học và Kỹ Thuật, 2008
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  006.3
 Thêm vào giỏ
 
1 2 3 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media