Loại tài liệu:    Chỉ tìm trong: 
111-120 trong số 627 kết quả
Introduction to logic and computer design
Tác giả: Alan B Marcovitz
Xuất bản: Boston: McGraw Hill , 2007
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  621.395
 
Coherent systems
Tác giả: Karl Schlechta
Xuất bản: : Elsevier , 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.322
 
Principles of modern digital design
Tác giả: Parag K Lala
Xuất bản: Hoboken, N.J: Wiley-Interscience , 2007
Bộ sưu tập: Khoa học ứng dụng
Bản in + eBook (pdf)
ddc:  621.395
 
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
 
Logic and computer design fundamentals
Tác giả: M Morris Mano, Charles R Kime
Xuất bản: Upper Saddle River, NJ: Pearson/Prentice Hall , 2004
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.395
 
Advanced techniques in logic synthesis, optimizations and applications
Tác giả: Kanupriya Gulati, Sunil P Khatri
Xuất bản: New York: Springer , 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.395
 
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
 
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
 
Math proofs demystified elektronisk ressurs
Tác giả: Stan Gibilisco
Xuất bản: New York: McGraw-Hill , 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Proof, logic and formalization
Tác giả: Michael Detlefsen
Xuất bản: London ; New York: Routledge , 1992
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục