Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound...
From simple myringoplasty to cochlear implantation, this up-to-date reference on middle ear and mastoid surgery is designed for frequent use, easy comprehension, and quick reference. The book describes the latest techniques for virtually every surgery performed in the middle ear and mastoid.
Interactive systems and devices, from mobile phones to office copiers, do not fulfill their potential for a wide variety of reasons--not all of them technical. Press On shows that we can design better interactive systems and devices if we draw on sound computer science principles. It uses state machines and graph theory as a powerful and...
Yes, you can create your own apps for Android devices—and it’s easy to do. This extraordinary book introduces you to App Inventor 2, a powerful visual tool that lets anyone build apps. Learn App Inventor basics hands-on with step-by-step instructions for building more than a dozen fun projects, including a text answering...
A sound understanding of physiology underpins good medical practice. This established textbook provides medical students and others in health-related disciplines with the essential information and learning tools necessary to understand human physiology. The book adopts a student-friendly style with an emphasis on clarity, explanation and...
"This is the second edition of the very successful book on quantum chromodynamics (QCD), which is part of an extensive series of textbooks by Greiner and co-authors. … The second edition is clearly an advance on the first and continues to be a very useful advanced textbook." (C.A Hurst,...
A complete, up-to-date textbook on an increasingly important subject
Robust Systems Theory and Applications covers both the techniques used in linear robust control analysis/synthesis and in robust (control-oriented) identification. The main analysis and design methods are complemented by elaborated examples and a group of worked-out...
This is a comprehensive textbook covering one of the few remaining blind spots on the map of urological literature. To date only a small number of publications have been dedicated to the topic of urgent and emergent problems in urology, important though they are in everyday clinical medicine. The editors are both internationally recognized...
"A much needed reference...well-organized and consise, [the book] provides easy to understand case scenarios and examples...highly recommended for all practitioners in the field of evidence-based neurology and clinical neurological research." --New England Journal of Medicine
Mechanical Engineering Principles offers a student-friendly introduction to core engineering topics
This book introduces mechanical principles and technology through examples and applications rather than theory. John Bird and Carl Ross do not assume any previous background in engineering studies, and as such this book can...
Awarded the Texty Award by the Textbook and Academic Authors Association for the best computer science and engineering textbook of 1997. Key Benefit: This book provides a clear and comprehensive survey of the whole field of data and computer communications and provides an up-to-date tutorial on leading-edge networking technologies. Since its...
'... an elegant, thoughtful, useful and altogether commendable publication.' Contemporary Physics 'The author puts emphasis on training the readers and equipping them with the relevant skills of a working relativist. The text reaches a high pedagogical standard ... In this way the author succeeds in closing a gap in the existing text book...
