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...
Multiparadigm Constraint Programming Languages (Cognitive Technologies)
"Modeling" has become one of the primary concerns in modern Software
Engineering. The reason is simple: starting development processes from clear
and succinct models has proven to foster not only quality but also productivity.
With the advance of modeling there also came a desire for automatic code
generation from models....
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: 262 261 260 259 258 257 256 255 254 253 252 251 250 249 248 247 246 245 244 |