With a foreword by Robin Milner and drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of …
The B method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a…
"OpenCV Computer Vision with Python" shows you how to use the Python bindings for OpenVV. By following clear and concise examples, you will develop a computer vision application that tracks faces in live video and applies special effects to them. If you have always wanted to lea…
"OpenCV Computer Vision with Python" shows you how to use the Python bindings for OpenVV. By following clear and concise examples, you will develop a computer vision application that tracks faces in live video and applies special effects to them. If you have always wanted to lea…
Data-Parallel Programming demonstrates that architecture-independent parallel programming is possible by describing in detail how programs written in a high-level SIMD programming language may be compiled and efficiently executed-on both shared-memory multiprocessors and distrib…
"This volume presents a collection of revised refereed papers selected from the contributions presented at the European Conference on Artificial Evolution, AE '95, held in Brest, France, in September 1995; also included are a few papers from the predecessor conference, AE '94. B…