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, ...
Continue reading
Vegetables I
The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Continue reading
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 ...
Continue reading
Wide-Bandwidth High Dynamic Range D
The book provides the reader a thorough understanding of error mechanisms at high frequencies. It explains their effects ...
Continue reading
