Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 134 kết quả
Proof, logic and formalization
Tác giả: Michael Detlefsen
Xuất bản: London ; New York: Routledge , 1992
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Tracking reason : proof, consequence, and truth
Tác giả: Jody Azzouni
Xuất bản: Oxford ; New York: Oxford University Press , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Philosophical, logical and scientific perspectives in engineering [electronic resource]
Tác giả: Zek©ai Sen
Xuất bản: Cham ; New York: Springer , 2014
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  620.001
 
Sequential logic and verilog HDL fundamentals
Tác giả: Joseph Cavanagh
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.39
 
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
 
Asynchronous operators of sequential logic : venjunction & sequention : digital circuit analysis and design
Tác giả: Vadim Vasyukevich
Xuất bản: Berlin ; New York: Springer , 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 
Hướng dẫn thí nghiệm DSP sử dụng FPGA
Tác giả: Nguyễn Tuấn Phước, Nguyễn Minh Khánh Ngọc
Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2014
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  621.3822
 
Tư tưởng lôgíc học của Huệ Thi và Công Tôn Long
Tác giả: Nguyễn Ngọc Hà
Xuất bản: Triết học , 2021
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  100
 
Digital design and computer architecture
Tác giả: David Money Harris, Sarah L Harris
Xuất bản: Amsterdam: Morgan Kaufmann , 2013
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.381
 
A Baker's dozen : real analog solutions for digital designers
Tác giả: Bonnie Baker
Xuất bản: Amsterdam ; Boston: Elsevier/Newes , 2005
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 

Truy cập nhanh danh mục