 |
|
|
 |  |  |  |  Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the... |
|
 Mathematical Logic for Computer Science: Third Edition
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.... |  |  |  |  |
|
 Diagramming the Big Idea: Methods for Architectural Composition
Becoming an architect is a daunting task. Beyond the acquisition of new skills and procedures, beginning designers face an entirely unfamiliar mode of knowledge: design thinking.
In Diagramming the Big Idea, Jeffrey Balmer and Michael T. Swisher introduce the fundamentals of design thinking by illustrating how... |  |  Aligned for Success: Reset Your Body from the Ground Up
How to reach your fitness goals, prevent pain and injury, and achieve optimal performance in work, sports, and life.
Pain is a byproduct of our busy, active lives, but it doesn’t have to be a constant and hindering presence. Whether your daily activity consists of caring for children, or training for marathons, Dr. ... |  |  |
|
| Result Page: 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 |