Eric C.R. Hehner's Documents

Eric C.R. Hehner's Documents

A Practical Theory of Programming, 2nd Edition (Monographs in Computer Science)

A Practical Theory of Programming, 2nd Edition (Monographs in Computer Science)
Read more
A practical theory of programming

A practical theory of programming
Read more
A Practical Theory of Programming

A Practical Theory of Programming
Read more
Optical Astronomical Spectroscopy

Optical Astronomical Spectroscopy
Read more
Avionics: Elements, Software and Functions

Avionics: Elements, Software and Functions
Read more
Avionics: Development and Implementation

Avionics: Development and Implementation
Read more
Telecommunications demystified

Telecommunications demystified
Read more
An introduction to soil mechanics and foundations

An introduction to soil mechanics and foundations
Read more
Linear statistical inference and its applications

Linear statistical inference and its applications
Read more
An introduction to soil mechanics and foundations, 3rd edition

An introduction to soil mechanics and foundations, 3rd edition
Read more
Research Methodology: Methods and Techniques

Research Methodology: Methods and Techniques
Read more
Research Methodology: Methods and Techniques

Research Methodology: Methods and Techniques
Read more
Astrophysical Techniques

Astrophysical Techniques
Read more
Astrophysical techniques

Astrophysical techniques
Read more
Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
Read more
Handbook of Statistics 26: Psychometrics

Handbook of Statistics 26: Psychometrics
Read more
Overactive Bladder in Clinical Practice

Overactive Bladder in Clinical Practice
Read more
Handbook of statistics 29B Sample Surveys: Inference and Analysis

Handbook of statistics 29B Sample Surveys: Inference and Analysis
Read more
Handbook of Statistics 29A Sample Surveys: Design, Methods and Applications

Handbook of Statistics 29A Sample Surveys: Design, Methods and Applications
Read more
Handbook of statistics 17 Order statistics: applications

Handbook of statistics 17 Order statistics: applications
Read more
Order Statistics: Applications

Order Statistics: Applications
Read more
Parallel Computers: Architecture, Programming and Algorithms

Parallel Computers: Architecture, Programming and Algorithms
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 14 conf., TACAS 2008

Tools and Algorithms for the Construction and Analysis of Systems, 14 conf., TACAS 2008
Read more
Handbook of Statistics_29B, Volume 29: Sample Surveys: Inference and Analysis

Handbook of Statistics_29B, Volume 29: Sample Surveys: Inference and Analysis
Read more
Anatomy Of The Dicotyledons Vol I

Anatomy Of The Dicotyledons Vol I
Read more
Applied analysis of the Navier-Stokes equations

Applied analysis of the Navier-Stokes equations
Read more
Handbook of Statistics_29B, Volume 29: Sample Surveys: Inference and Analysis

Handbook of Statistics_29B, Volume 29: Sample Surveys: Inference and Analysis
Read more
Introduction to Statistical Inference

Introduction to Statistical Inference
Read more
Positive Psychological Assessment: A Handbook of Models and Measures

Positive Psychological Assessment: A Handbook of Models and Measures
Read more
Overactive Bladder in Clinical Practice

Overactive Bladder in Clinical Practice
Read more