David Schmidt

Books by David Schmidt

Total count: 33

• Detecting global variables in denotational specifications.

  Dept. of Computer Science, Univ. of Edinburgh1983-01-01
• Natural deduction theorem proving in set theory.

  Dept. of Computer Science, Univ. of Edinburgh1983-01-01
• A programming notation for tactical reasoning.

  Dept. of Computer Science, Univ. of Edinburgh1983-01-01
• Citizen Lawmakers

  Temple University Press1991-01-01
• Essence of ComputationComplexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

  Springer London, Limited2003-01-01
• Showdown at Red Ridge

  Tandem Library2003-06-01
• Programming Languages and Systems13th European Symposium on Programming, ESOP 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

  Springer London, Limited2004-01-01
• 
  Racing Stripesa junior novelization

  Scholastic2005-01-01
• 
  Paint Effects for the Home

  North Light Books2005-08-26
• Mi'kmaq : Hieroglyphic PrayersReadings in North America's First Indigenous Script

  Nimbus Publishing, Limited2006-01-01
• 
  Air in Judgement

  Cable Publishing2010-01-01
• Jinx of the black lynx

  Cable Pub.2010-01-01
• 
  Game of Spade'sFirst edition.

  Cable Publishing2011-01-01
• Retirement... Is It Still Possible?Retirement, Is It Still Possible?

  CreateSpace Independent Publishing Platform2012-01-01
• Noah's Arghh!

  CreateSpace Independent Publishing Platform2012-01-01
• Salt PondLies, Betrayal, and the Past...

  CreateSpace Independent Publishing Platform2012-01-01
• Pirates of the DanubeThe Erotic Adventures of Pepper MacOralby

  CreateSpace Independent Publishing Platform2012-01-01
• Static Analysis19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

  Springer Berlin / Heidelberg2012-01-01
• Zwischen Simulation und NarrationTheorie des Fantasy-Rollenspiels- Mit Einer Analyse der Spielsysteme das Schwarze Auge , Shadowrun und H. P. Lovecraft's Cthulhu

  Lang GmbH, Internationaler Verlag der Wissenschaften, Peter2012-01-01
• Baron Rides AgainAn Antebellum Tale of Liberation and Sexing

  CreateSpace Independent Publishing Platform2013-01-01
and 13 more