"The third novel in Terry Pratchett and Stephen Baxter's "Long Earth" series, which Io9 calls "a brilliant science fiction collaboration.""--

This edited book presents recent developments and state-of-the-art review in various areas of mathematical programming and game theory. It is a peer-reviewed re

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of t

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio

Mathematical programming: an overview; solving linear programs; sensitivity analysis; duality in linear programming; mathematical programming in practice; integ