



  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....   


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...   Introductory Statistics with R (Statistics and Computing)
This book provides an elementarylevel introduction to R, targeting both nonstatistician scientists in various fields and students of statistics. The main mode of presentation is via code examples with liberal commenting of the code and the output, from the computational as well as the statistical viewpoint. Brief sections introduce the...   Approximation Algorithms
Covering the basic techniques used in the latest research work, the author consolidates progress made so far, including some very recent and promising results, and conveys the beauty and excitement of work in the field. He gives clear, lucid explanations of key results and ideas, with intuitive proofs, and provides critical examples and numerous... 



Result Page: 440 439 438 437 436 435 434 433 432 431 430 429 428 427 426 425 424 