Home » Computer Engineering » Theory of Computation » Logic of Programs (15) lectures

Order By: Newest |Rating |View Count

5 Bit Encoder Used for Analog to Digital Converter
By Ou, Jeng - Bendale, Sandeep - Landicho, Charisse - Bae, Jae
15 Slide(s), 341 Views, Added 10 years ago, in English
Classified as :
Computer Engineering » Theory of Computation » Logic of Programs » Specifying and Verifying and Reasoning about Programs
Design of Variable Input Delay Gates for Low Dynamic Power Circuits
By Raja, Tezaswi - D. Agrawal, Vishwani - L. Bushnell, Michael
23 Slide(s), 366 Views, Added 10 years ago, in English
Classified as :
Computer Engineering » Theory of Computation » Logic of Programs » Specifying and Verifying and Reasoning about Programs » Specification techniques
Data and Knowledge Management
By Oz, Effy
37 Slide(s), 2,092 Views, Added 10 years ago, in English
Classified as :
and 18 more...