|
|
|
|
|
|
The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... | | How to Use Excel in Analytical Chemistry and in General Scientific Data AnalysisSpreadsheets provide one of the most easily learned routes to scientific computing. This book uses Excel®, the most powerful spreadsheet available, to explore and solve problems in general and chemical data analysis. It follows the usual sequence of college textbooks in analytical chemistry: statistics, chemical equilibria, pH calculations,... | | Handbook of Logic in Computer Science 5"Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read."--he Bulletin of Mathematics Books Logic is now widely recognized as one of the foundational... |
|
| | Teach Yourself VISUALLY Excel 2007 (Tech)Are you a visual learner? Do you prefer instructions that show you how to do something — and skip the long-winded explanations? If so, then this book is for you. Open it up and you'll find clear, step-by-step screen shots that show you how to tackle more than 150 Excel 2007 tasks. Each task-based spread includes easy, visual directions for... | | |
|
|
Result Page: 798 797 796 795 794 793 792 791 790 789 788 787 786 785 784 783 782 781 780 |