Total Books: 81 - 85 /85
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suite
Vegetables I
The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lire la suite
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suite
Wide-Bandwidth High Dynamic Range D
The book provides the reader a thorough understanding of error mechanisms at high frequencies. It explains their effects ...
Lire la suite
