Filter
Programmering
Filter
A comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, machine learning, and other topics. Some books on …
A broad introduction to algorithms for decision making under uncertainty, introducing the underlying mathematical problem formulations and the algorithms for solving them. …
A new version of the classic and widely used text with implementations in JavaScript. Ever since the publication of its first edition in 1984, Structure and Interpretation of …
A textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language. This introductory textbook teaches the principles …
Best practices for addressing the bias and inequality that may result from the automated collection, analysis, and distribution of large datasets. Human-centered data science is a …
Fundamental theory and practical algorithms of weakly supervised classification, emphasizing an approach based on empirical risk minimization. Standard machine learning techniques …
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a …