 |
|
 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.... |  |  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... |  |  |
|
 |  |  |  |  Control of Noise and Structural Vibration: A MATLAB®-Based Approach
Control of Noise and Structural Vibration presents a MATLAB®-based approach to solving the problems of undesirable noise generation and transmission by structures and of undesirable vibration within structures in response to environmental or operational forces. The fundamentals of acoustics, vibration and coupling between vibrating... |
|
|
|
| Result Page: 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 |