David A. Schmidt's Documents

David A. Schmidt's Documents

Denotational Semantics: A Methodology for Language Development

Denotational Semantics: A Methodology for Language Development
Read more
Programming Languages and Systems, 13 conf., ESOP 2004

Programming Languages and Systems, 13 conf., ESOP 2004
Read more
Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: Third International Symposium, SAS ... 3rd

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: Third International Symposium, SAS ... 3rd
Read more
Democratizing France: The Political and Administrative History of Decentralization

Democratizing France: The Political and Administrative History of Decentralization
Read more
Democracy in Europe: The EU and National Polities

Democracy in Europe: The EU and National Polities
Read more
Non-linear Vibrations

Non-linear Vibrations
Read more
Windhunde des Ozeans

Windhunde des Ozeans
Read more
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence)

Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence)
Read more
Non-linear Vibrations

Non-linear Vibrations
Read more
Relations and Kleene Algebra in Computer Science, 9 conf., RelMiCS-AKA 2006

Relations and Kleene Algebra in Computer Science, 9 conf., RelMiCS-AKA 2006
Read more
Byron and the Rhetoric of Italian Nationalism (Nineteenth-Century Major Lives and Letters)

Byron and the Rhetoric of Italian Nationalism (Nineteenth-Century Major Lives and Letters)
Read more
Understanding the business of library acquisitions

Understanding the business of library acquisitions
Read more
Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Artificial Intelligence 5663)

Automated Deduction - Cade-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Artificial Intelligence 5663)
Read more
Lean Integration: An Integration Factory Approach to Business Agility (Addison-Wesley Information Technology)

Lean Integration: An Integration Factory Approach to Business Agility (Addison-Wesley Information Technology)
Read more
Schaum's Outline of Geometry

Schaum's Outline of Geometry
Read more
Schaum's outline of theory and problems of elementary algebra

Schaum's outline of theory and problems of elementary algebra
Read more
Extreme Fear, Shyness, and Social Phobia (Series in Affective Science)

Extreme Fear, Shyness, and Social Phobia (Series in Affective Science)
Read more
Amarts and Set Function Processes

Amarts and Set Function Processes
Read more
Schaum's Outline of Elementary Algebra

Schaum's Outline of Elementary Algebra
Read more
Do Bats Drink Blood?: Fascinating Answers to Questions about Bats

Do Bats Drink Blood?: Fascinating Answers to Questions about Bats
Read more
Spuren im Labor

Spuren im Labor
Read more
RFID im Mobile Supply Chain Event Management. Anwendungsszenarien, Verbreitung und Wirtschaftlichkeit

RFID im Mobile Supply Chain Event Management. Anwendungsszenarien, Verbreitung und Wirtschaftlichkeit
Read more
The Theater of Transformation: Postmodernism in American Drama (Postmodern Studies 37)

The Theater of Transformation: Postmodernism in American Drama (Postmodern Studies 37)
Read more
Warum? Neueste Notizen aus dem beschädigten Leben GERMAN

Warum? Neueste Notizen aus dem beschädigten Leben GERMAN
Read more
Fractured

Fractured
Read more
Quadrupelfuge

Quadrupelfuge
Read more
Chaotic streamlines in convective cells

Chaotic streamlines in convective cells
Read more
Die Komposition von Vergils Georgica: mit 4 Beilagen (Studien zur Geschichte und Kultur des Altertums - Band 16.2-3) issue 2 + 3

Die Komposition von Vergils Georgica: mit 4 Beilagen (Studien zur Geschichte und Kultur des Altertums - Band 16.2-3) issue 2 + 3
Read more
An Unexpected Suitor

An Unexpected Suitor
Read more
Thieme Clinical Companions: Ultrasound

Thieme Clinical Companions: Ultrasound
Read more