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