patrick woodcock Patrick Woodcock's Documents - EPDF.PUB

Patrick Woodcock's Documents

Patrick Woodcock's Documents

Always Die Before Your Mother: Poems

Always Die Before Your Mother: Poems
Read more
Always Die Before Your Mother: Poems

Always Die Before Your Mother: Poems
Read more
Using Z

Using Z
Read more
Peter Carey ~ 2nd Edition (Contemporary World Writers)

Peter Carey ~ 2nd Edition (Contemporary World Writers)
Read more
Lethal Impulses

Lethal Impulses
Read more
Anarchism: A history of libertarian ideas and movements

Anarchism: A history of libertarian ideas and movements
Read more
Geology And Environment In Britain And Ireland

Geology And Environment In Britain And Ireland
Read more
No title

No title
Read more
Using Z.Specification,refinement,and proof

Using Z.Specification,refinement,and proof
Read more
Using Z: Specification, Refinement, and Proof

Using Z: Specification, Refinement, and Proof
Read more
Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005

Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005
Read more
Team Metrics: Resources for Measuring and Improving Team Performance

Team Metrics: Resources for Measuring and Improving Team Performance
Read more
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3,

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3,
Read more
In sight of the suture: Palaeozoic geology of the Isle of Man in its Iapetus Ocean context

In sight of the suture: Palaeozoic geology of the Isle of Man in its Iapetus Ocean context
Read more
The Sales Excellence Pocket Book (Management Pocket Book Series)

The Sales Excellence Pocket Book (Management Pocket Book Series)
Read more
The Ashgate Research Companion to Ethics and International Relations

The Ashgate Research Companion to Ethics and International Relations
Read more
Nonlinear Wave Dynamics: Selected Papers of the Symposium Held in Honor of Philip L-F Liu's 60th Birthday

Nonlinear Wave Dynamics: Selected Papers of the Symposium Held in Honor of Philip L-F Liu's 60th Birthday
Read more
Das Kulturpublikum: Fragestellungen und Befunde der empirischen Forschung

Das Kulturpublikum: Fragestellungen und Befunde der empirischen Forschung
Read more
Theoretical Aspects of Computing - ICTAC 2007, 4 conf

Theoretical Aspects of Computing - ICTAC 2007, 4 conf
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
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
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
Human Cognitive Abilities in Theory and Practice

Human Cognitive Abilities in Theory and Practice
Read more
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Read more
IL-5 Receptor

IL-5 Receptor
Read more
Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Read more