Cliff B. Jones's Documents

Cliff B. Jones's Documents

Theoretical Aspects of Computing - ICTAC 2007, 4 conf

Theoretical Aspects of Computing - ICTAC 2007, 4 conf
Read more
Rigorous Development of Complex Fault-Tolerant Systems, FP6 IST-511599 RODIN project

Rigorous Development of Complex Fault-Tolerant Systems, FP6 IST-511599 RODIN project
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Read more
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria,

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria,
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Read more
Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Read more
Their Eyes Were Watching God: Notes (Cliffs Notes)

Their Eyes Were Watching God: Notes (Cliffs Notes)
Read more
Methods, models and tools for fault tolerance

Methods, models and tools for fault tolerance
Read more
Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP

Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP
Read more
Reflections on the Work of C.A.R. Hoare (History of Computing)

Reflections on the Work of C.A.R. Hoare (History of Computing)
Read more
There You'll Find Me

There You'll Find Me
Read more
Quantitative Geometry of Thrust and Fold Belt Structures (AAPG Methods in Exploration 6)

Quantitative Geometry of Thrust and Fold Belt Structures (AAPG Methods in Exploration 6)
Read more
Understand the Cold War (Teach Yourself)

Understand the Cold War (Teach Yourself)
Read more
There You'll Find Me

There You'll Find Me
Read more
There You'll Find Me

There You'll Find Me
Read more
Electromechanics of particles

Electromechanics of particles
Read more
Electromechanics of Particles

Electromechanics of Particles
Read more
Analytic theory of continued fractions Proc. Loen

Analytic theory of continued fractions Proc. Loen
Read more
There You'll Find Me

There You'll Find Me
Read more
So Not Happening

So Not Happening
Read more
I'm So Sure

I'm So Sure
Read more
20% Chance of Rain: Exploring the Concept of Risk

20% Chance of Rain: Exploring the Concept of Risk
Read more
Behavioral Flexibility in Primates: Causes and Consequences (Developments in Primatology: Progress and Prospects)

Behavioral Flexibility in Primates: Causes and Consequences (Developments in Primatology: Progress and Prospects)
Read more
Save the Date

Save the Date
Read more
So Over My Head

So Over My Head
Read more
Search Engine Optimization: Your visual blueprint for effective Internet marketing (Visual Blueprint)

Search Engine Optimization: Your visual blueprint for effective Internet marketing (Visual Blueprint)
Read more
Search Engine Optimization: Your visual blueprint for effective Internet marketing

Search Engine Optimization: Your visual blueprint for effective Internet marketing
Read more
Laparoscopic Surgery: Principles and Procedures, Second Edition, Revised and Expanded

Laparoscopic Surgery: Principles and Procedures, Second Edition, Revised and Expanded
Read more
The Powers That Be (Room 59)

The Powers That Be (Room 59)
Read more
The Savvy Mom's Book of Legal Forms to Protect Your Family

The Savvy Mom's Book of Legal Forms to Protect Your Family
Read more