Jörg Dittrich's Documents

Jörg Dittrich's Documents

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Read more
Censored partial regression

Censored partial regression
Read more
First Channel

First Channel
Read more
Tiger Woods: A Biography, 2 edition (Greenwood Biographies)

Tiger Woods: A Biography, 2 edition (Greenwood Biographies)
Read more
Esperanza

Esperanza
Read more
New York to Dallas

New York to Dallas
Read more
De Artapappa's

De Artapappa's
Read more
Latex notes

Latex notes
Read more
The New Sun

The New Sun
Read more
Sovereign

Sovereign
Read more
Oracle 11i E-Business Suite from the front lines

Oracle 11i E-Business Suite from the front lines
Read more
Franny and Zooey

Franny and Zooey
Read more
Liebesmond

Liebesmond
Read more
The Burning of Rome

The Burning of Rome
Read more
L. J. Smith - Vampire Diaries 02 - The Struggle

L. J. Smith - Vampire Diaries 02 - The Struggle
Read more
Lotus Position

Lotus Position
Read more
Four Hundred Billion Stars

Four Hundred Billion Stars
Read more
Seduction of Shamus O'Rourke

Seduction of Shamus O'Rourke
Read more
Truth and Deception

Truth and Deception
Read more
Andrew J. Offutt - Spaceways 13 - Jonuta Rising

Andrew J. Offutt - Spaceways 13 - Jonuta Rising
Read more
Treatment Approaches for Alcohol and Drug Dependence : An Introductory Guide

Treatment Approaches for Alcohol and Drug Dependence : An Introductory Guide
Read more
Below Zero

Below Zero
Read more
The Lost

The Lost
Read more
Neurology for the Non-Neurologist, 6th Edition

Neurology for the Non-Neurologist, 6th Edition
Read more
Genghis Khan and the Making of the Modern World

Genghis Khan and the Making of the Modern World
Read more
Oligomorphic Permutation Groups (London Mathematical Society Lecture Note Series, 152)

Oligomorphic Permutation Groups (London Mathematical Society Lecture Note Series, 152)
Read more
De Groote Pyramide

De Groote Pyramide
Read more
Numerical Methods for Ordinary Differential Equations

Numerical Methods for Ordinary Differential Equations
Read more
The dynamics of taking charge

The dynamics of taking charge
Read more
Limited Conflict Under the Nuclear Umbrella : Indian and Pakistani Lessons from the Kargil Crisis (2001)

Limited Conflict Under the Nuclear Umbrella : Indian and Pakistani Lessons from the Kargil Crisis (2001)
Read more