Home Advanced Search

Advanced Search - Page 1

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (eds.)
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Greg Morrisett (auth.), Catuscia Palamidessi (eds.)
The Interrogators: Inside the Secret War Against Al Qaeda
  • EPUB
  • English
  • Year: 2004
  • Author: Chris Mackey, Greg Miller
The Cambridge companion to utilitarianism
  • PDF
  • English
  • Year: 2014
  • Author: Ben Eggleston, Dale Miller (eds.)
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)
The Apprentice: Trump, Russia and the Subversion of American Democracy
  • EPUB
  • English
  • Year: 2018
  • Author: Greg Miller
Watch
  • EPUB
  • English
  • Year: 2009
  • Author: Miller, Greg
Watch
  • PDF
  • English
  • Year: 2009
  • Author: Greg Miller
Putinomics: Power and Money in Resurgent Russia
  • EPUB
  • English
  • Year: 2018
  • Author: Chris Miller
search