Loading...
Advanced Search
Welcome Guest
RSS
RSS
Public Health
Computer Engineering
Agriculture
Environment
Legacy Lectures
Home
Authors
Public Health
|
Computer Engineering
|
Agriculture
|
Environment
Assist researchers in planning and analyzing their research efforts
Member Login
Log in or sign up for more personalized features
Please fill in your email.
Please fill in a valid email
Please fill in your password
sign up
Remember me
Forgot your password?
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
CSC 480: Artificial Intelligence: Propositional and Predicate Logic
69 Slide(s),
1,482 Views, Added 10 years ago, in English
Classified as :
Computer Engineering
»
Theory of Computation
»
Analysis of Algorithms and Problem Complexity
Computer Engineering
»
Theory of Computation
»
Logic of Programs
»
Program Constructs
and 22 more...
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 :
Computer Engineering
»
Data
»
Data Structures
»
Records
Computer Engineering
»
Data
»
Data Storage Representations
»
Linked representations
and 18 more...
Chapter 4: SQL
98 Slide(s),
769 Views, Added 10 years ago, in English
Classified as :
Computer Engineering
»
Software
»
Programming Languages
»
Language Classifications
»
Specialized application languages
Computer Engineering
»
Software
»
Programming Languages
»
Language Constructs and Features
»
Procedures, functions, and subroutines
and 9 more...
CS162 Operating Systems and Systems Programming : Tips for Working in a Project Team/ Cooperating Processes and Deadlock
By Stoica, Ion
35 Slide(s),
1,880 Views, Added 10 years ago, in English
Classified as :
Computer Engineering
»
Hardware
»
Arithmetic and Logic Structures
»
High-Speed Arithmetic
»
Algorithms
Computer Engineering
»
Hardware
»
Arithmetic and Logic Structures
»
High-Speed Arithmetic
»
Cost/performance
and 19 more...
Previous
1
2
3
Next
Computer Engineering (57,730)
Artificial Intelligence (
2,759
)
Computer Applications (
321
)
Computer Graphics (
1,072
)
Computer Systems Organization (
441
)
Computing Environment (
712
)
Data (
11,409
)
Document and Text Processing (
193
)
Hardware (
11,191
)
Image Processing and Computer Vision (
2,524
)
Information Systems (
4,028
)
Mathematics of Computing (
393
)
Pattern Recognition (
1,110
)
Simulation and Modeling (
1,216
)
Software (
14,813
)
Symbolic and Algebraic Manipulation (
48
)
Theory of Computation (
391
)
Analysis of Algorithms and Problem Complexity (
47
)
Computation by Abstract Devices (
5
)
Logic of Programs (
15
)
Program Constructs (
4
)
Semantics of Programming Languages (
2
)
Specifying and Verifying and Reasoning about Programs (
5
)
Mathematical Logic and Formal Languages (
38
)
Unclassified (
18,885
)
Based on the
ACM
Computing Classification System
Automatically Rated
Rated By Users
Your Feedback
Title:
Content:
You forgot to fill in your feedback
Thank You
Your feedback has been sent successfully
Register
Please
sign up
or login in Science Supercourse to enjoy all its facilities !
Please fill in your email.
Please fill in a valid email
Please fill in your password