کتاب های Jane Strother
کتاب های نویسنده
صفحه ۱ از ۲ در بین ۳۵ کتاب.
PDF
Computer-Aided Reasoning: ACL2 Case Studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000DJVU
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000EPUB
The Colored Pencil Artist’s Drawing Bible
Jane Strother, 2011DJVU
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990DJVU
A Computational Logic Handbook
Robert S. Boyer, J. Strother Moore, 1988PDF
A Computational Logic Handbook
Robert S. Boyer, J Strother Moore, 1988DJVU
A computational logic
Robert S. Boyer, J.Strother Moore, 1979DJVU
A computational logic
Robert S. Boyer, J.Strother Moore, 1979PDF
A Computational Logic (ACM monograph series)
Robert S. Boyer, J. Strother Moore, 1979PDF
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990PDF
A Computational Logic
Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.), 1979PDF
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000DJVU
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010PDF
Introduction to Abstract Algebra
J. Strother Moore (Auth.), 1975PDF
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
J Strother Moore, 1996EPUB
Vladimir Markov and Russian Primitivism: A Charter for the Avant-Garde
Z. S. Strother, 2015PDF
Black & Decker The Complete Guide to Dream Bathrooms
Ruth Strother (Editor), 2008EPUB
EPUB
The reminiscences of George Strother Gaines: pioneer and statesman of early Alabama and Mississippi, 1805-1843
George Strother Gaines, 1998PDF
The Dog Friendly Home DIY Projects for Dog Lovers
Ruth Strother, 2011EPUB
The Dog Friendly Home: DIY Projects for Dog Lovers
Ruth Strother, 2011MOBI
The Dog Friendly Home: DIY Projects for Dog Lovers
Ruth Strother, 2011PDF
Traditional Box Projects
Strother Purdy, 2010PDF
