Trustworthy Compilers (Quantitative Software Engineering Series)
The Most Complete, Real-World Guide to Compiler
Development—and the Principles of Trustworthy Compilers
Drawing on the author's over thirty years of expertise in compiler development, research, and instruction, Trustworthy Compilers introduces and analyzes the concept of trustworthy compilers and the principles...
Analysis and Control of Boolean Networks: A Semi-tensor Product Approach
Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of...
Handbook of Computer Vision and Applications, Volume 1
This handbook oers a fresh approach to computer vision. The whole
vision process from image formation to measuring, recognition, or reacting
is regarded as an integral process. Computer vision is understood
as the host of techniques to acquire, process, analyze, and understand
complex higher-dimensional data from our environment...
|Result Page: 81 80 79 78 77 76 75 74 73 72 |