This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...
Lire la suite
First Steps: Developing BizTalk Applications is a primer to most other introductory BizTalk books. If you feel like traditional ...
Lire la suite
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lire la suite
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suite
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suite
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suite
This book contains all you need to understand and make use of ActionScript, and to have some fun while learning. The Foundation ...
Lire la suite
Foundation Flash Applications for Mobile Devices is the book you need to learn how to take advantage of new audience of ...
Lire la suite
You've long been enamored with the Python language, and have mastered its many nuances. Yet something seems to be missing—a ...
Lire la suite
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lire la suite
The primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and ...
Lire la suite
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suite
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suite
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suite
An integrated introduction to the analysis of drugs, poisons, and other foreign compounds in biological and related specimens. ...
Lire la suiteA gastric ulcer also known as stomach ulcer is an excoriated area of stomach caused principally by the digestive action ...
Lire la suite