A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises....
This graduate level textbook introduces fundamental concepts and methods in machine learning. It describes several important modern algorithms, provides the theoretical underpinnings of these algorithms, and illustrates key a...
Introduction to the Economics and Mathematics of Financial Markets fills the longstanding need for an accessible yet serious textbook treatment of financial economics. ...
he third edition of this standard text retains the popular cookbook features of earlier editions and includes expanded and new coverage of such topics as bank valuation, the Black Litterman portfolio selection model, Monte Ca...
