Søkt på: specifications
Vi gjorde et søk på tittelen istedenfor specifications som gavtotalt 15 treff
Programming with Specifications
Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. Specifications express information …
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing world, we are dependent on …
Larch: Languages and Tools for Formal Specification
Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the …
Intensive One-Session Treatment of Specific Phobias
Whether it's dogs, spiders, blood, heights or some other fear, specific phobias are one of the most prevalent mental health problems, affecting as many as one in eight people. In …
Specification and Development of Interactive Systems
This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches …
Site-Specific Recombinases
This books aims to provide an up-to-date guide to using recombinases in the laboratory. Chapters guide the reader through construction of transgenic animals, recombinase-mediated …
Isospecific Polymerization of Olefins
The discoveries of organometallic catalysts for olefin polymerization by Karl Ziegler and that of stereoregular olefin polymers by Giulio Natta are probably the two most important …
Specification of Software Systems
This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach …
Patient-Specific Modeling of the Cardiovascular System
Peter Hunter Computational physiology for the cardiovascular system is entering a new and exciting phase of clinical application. Biophysically based models of the human heart and …
Site-Specific Protein Labeling
This detailed volume provides in-depth protocols for protein labeling techniques and applications, with an additional focus on general background information on the design and …
Application-Specific Mesh-based Heterogeneous FPGA Architectures
This book presents a new exploration environment for mesh-based, heterogeneous FPGA architectures. It describes state-of-the-art techniques for reducing area requirements in FPGA …
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis
This book is a collection of articles that present the most recent cutting edge results on specification and estimation of economic models written by a number of the world's …