×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [p holds]
Documents
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 1 Summer school on Formal Models
214 views
Technology
Exposing Architecture in Hybrid Programs
112 views
Documents
Statistical Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University
218 views
Documents
Protein Synthesis An intro to this section!. Transcription Making RNA from DNA 296-297; 300-303
220 views
Documents
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning
220 views
Documents
Statistical Probabilistic Model Checking
42 views
Documents
Extensible Untrusted Code Verification Robert Schneck with George Necula and Bor-Yuh Evan Chang May 14, 2003 OSQ Retreat
216 views
Documents
Prof. Fateman CS 164 Lecture 231 Foundations of Theory of Programming Languages: Introduction to Lambda Calculus Lecture 23
212 views
Documents
Fundamentals of Fault-Tolerant Distributed Computing In Asynchronous Environments
52 views