Home Advanced Search

Advanced Search - Page 1

Life, Heat, and Altitude: Physiological Effects of Hot Climates and Great Heights

PDF
English
Year: 1938
Author: David Bruce Dill

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

PDF
English
Year: 1989
Author: David L. Dill

Public Policy for Academic Quality: Analyses of Innovative Policy Instruments

PDF
English
Year: 2010
Author: David D. Dill, Maarja Beerkens (auth.), David D. Dill, Maarja Beerkens (eds.)

Public Policy for Academic Quality: Analyses of Innovative Policy Instruments

PDF
English
Year: 2010
Author: David D. Dill, Maarja Beerkens (auth.), David D. Dill, Maarja Beerkens (eds.)

The A to Z Guide to Healthier Living

EPUB
English
Year: 2011
Author: David B. D.Min Biebel,James E. MD Dill,Bobbie RN Dill

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

PDF
English
Year: 2011
Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

PDF
English
Year: 2011
Author: David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

PDF
English
Year: 1999
Author: David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)

Markets in Higer Education: Rhetoric or Reality?

PDF
English
Year: 2004
Author: Pedro Teixeira, Ben Jongbloed, Alberto Amaral, David Dill (auth.), Pedro Teixeira, Ben Jongbloed, David Dill, Alberto Amaral (eds.)

Expanding the Frontiers of Visual Analytics and Visualization

PDF
English
Year: 2012
Author: John Dill, Rae Earnshaw, David Kasik (auth.), John Dill, Rae Earnshaw, David Kasik, John Vince, Pak Chung Wong (eds.)