 |
|
 | | Real-Time Systems: Formal Specification and Automatic VerificationReal-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... | | |
|
Molecular Computation Models: Unconventional ApproachesWith the increasing complexity of software systems and their widespread growth into many aspects of our lives, the need to search for new models, paradigms, and ultimately, technologies, to manage this problem is evident. The way nature solves various problems through processes evolving during billions of years was always an inspiration to many... | | | | BBQ Sauces, Rubs & Marinades For Dummies (Cooking)Think only master chefs can create the savory, succulent barbecue masterpieces you love to eat? Nonsense! BBQ Sauces, Rubs & Marinades For Dummies shows you everything you need to dig in, get your apron dirty, and start stirring up scrumptious sauces, magical marinades, and rubs to remember.
Featuring 100 bold new recipes,... |
|
The Designer's Guide to VHDL, Volume 3, Third Edition (Systems on Silicon)VHDL may sound like a new Internet language, but it really stands for VHSIC (Very High Speed Integrated Circuit) Hardware Definition Language. VHDL borrows ideas from software engineering (architectural, behavior, and formal models, as well as modular design) and is used to design today's custom integrated circuits, from cell phones to... | | Introduction to the Mathematics of Medical Imaging, Second EditionAt the heart of every medical imaging technology is a sophisticated mathematical model of the measurement process and an algorithm to reconstruct an image from the measured data. This book provides a firm foundation in the mathematical tools used to model the measurements and derive the reconstruction algorithms used in most imaging modalities in... | | |
|
Psychological Types (Collected Works of C.G. Jung Vol.6)One of the most important of Jung's longer works, and probably the most famous of his books, Psychological Types appeared in German in 1921 after a "fallow period" of eight years during which Jung had published little. He called it "the fruit of nearly twenty years' work in the domain of practical psychology," and in... | | An Approach to Modelling Software Evolution ProcessesAn Approach to Modelling Software Evolution Processes describes formal software processes that effectively support software evolution. The importance and popularity of software evolution increase as more and more successful software systems become legacy systems. For one thing, software evolution has become an important characteristic in... | | The Philosophy of Mathematical PracticeContemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and philosophy of mathematics. But anyone familiar with... |
|
| Result Page: 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 |
