 |
|
 Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007.
The 18 revised full papers, 5 revised poster papers, and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected for... | | Handbook of Software Quality AssuranceThe industry's top guide to software quality -- completely updated!
Practical techniques for mission-critical and commercial software.
Build a great software quality organization.
Prepare for ASQ Software Quality Engineer Certification.
Software quality assurance has never been more challenging -- nor more... | | Systems Bioinformatics: An Engineering Case-Based ApproachThe high-throughput nature of bioinformatics and system biology has made traditional biological methods, which tend to focus one or two molecules at a time, obsolete. It has made engineering and problem solving skills essential to attack the resulting complex, multiscale problems. Certain technologies, such as robotics automation, microfabrication,... |
|
The Logic of Scientific Discovery (Routledge Classics)`One of the most important documents of the twentieth century.' - Sir Peter Medawar, New Scientist
`One cannot help feeling that, if it had been translated as soon as it had been originally published, philosophy in this country might have been saved some detours. Professor Popper's thesis has that quality of greatness that, once... | | Guidebook to Mechanism in Organic Chemistry (6th Edition)A classic textbook on mechanistic organic chemistry which is characterised particularly by its clarity, careful choice of examples and its general approach that is designed to lead to a ready understanding of the subject matter. This guidebook is aimed clearly at the needs of the student, with a thorough understanding of, and provision for, the... | | Advanced Vehicle TechnologyThis eagerly awaited second edition of Heinz Heisler's "Advanced Vehicle Technology" is a comprehensive and thorough description of vehicle bodies and components. The second edition has been rigorously updated to provide additional material on subjects such as antilock braking, vehicle aerodynamics, tire tread design advances,... |
|
|
Reuse Methodology Manual for System-on-a-Chip DesignsReuse Methodology Manual for System-on-a-Chip Designs, Third Edition outlines a set of best practices for creating reusable designs for use in an SoC design methodology. These practices are based on the authors' experience in developing reusable designs, as well as the experience of design teams in many companies around the world.... | | | | Math Toolkit for Real-Time ProgrammingDo big math on small machines Write fast and accurate library functions Master analytical and numerical calculus Perform numerical integration to any order Implement z-transform formulas Need to learn the ins and outs of the fundamental math functions in
Master analytical and numerical calculus with... |
|
| Result Page: 1055 1054 1053 1052 1051 1050 1049 1048 1047 1046 1045 1044 1043 1042 1041 1040 1039 1038 1037 |
