As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

Contributions by Surhid Gautam and Lit-Mian Chan. This book presents a state-of-the art review of vehicle emission standards and regulations and provides a synthesis of worldwide experience with vehicle emission control technologies and their applications in both industrial and developing countries. Topics covered include: * The two principal...

Developers increasingly want to build rich applications that run in the...

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs)...

This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of "data...

"Follow trends and make money, or don't follow trends and don't make money. Robert Robbins wants investors to follow trends. His effort is to be saluted." —Michael W. Covel, bestselling author of Trend Following, The Complete Turtle Trader, and Trend Commandments

...