Textbook
Biham, E., Dunkelman, O. (2021)
Block ciphers are widely used to protect information over the Internet, so assessing their strength in the case of malicious adversaries is critical to public trust. Such security …
Available Formats:
Hardcover
eBook
Textbook
Öchsner, A. (2020)
This book is the 2nd edition of an introduction to modern computational mechanics based on the finite element method. It includes more details on the theory, more exercises, and …
Available Formats:
Hardcover
eBook
Textbook
O’Regan, G. (2020)
This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing …
Available Formats:
Softcover
eBook
Textbook
Linge, S., Langtangen, H. P. (2020)
This book is published open access under a CC BY 4.0 license. This book presents computer programming as a key method for solving mathematical problems. This second edition of the …
Available Formats:
Hardcover
eBook
Textbook
Barbu, A., Zhu, S. (2019)
This book seeks to bridge the gap between statistics and computer science. It provides an overview of Monte Carlo methods, including Sequential Monte Carlo, Markov Chain Monte …
Available Formats:
Hardcover
eBook
Textbook
Lifschitz, V. (2019)
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but …
Available Formats:
Hardcover
eBook
Textbook
Sanders, P., Mehlhorn, K., Dietzfelbinger, M., Dementiev, R. (2019)
This textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and …
Available Formats:
Hardcover
eBook
Textbook
Ono, H. (2019)
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining …
Available Formats:
Softcover
eBook
Textbook
Li, M., Vitányi, P. (2019)
This must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of …
Available Formats:
Hardcover
eBook
Textbook
Neri, F. (2019)
This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical …
Available Formats:
Hardcover
eBook
Textbook
Nielson, F., Riis Nielson, H. (2019)
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The …
Available Formats:
Hardcover
eBook
Textbook
Forsyth, D. (2019)
Machine learning methods are now an important tool for scientists, researchers, engineers and students in a wide range of areas. This book is written for people who want to adopt …
Available Formats:
Hardcover
eBook
Textbook
Meier, A., Kaufmann, M. (2019)
This book offers a comprehensive introduction to relational (SQL) and non-relational (NoSQL) databases. The authors thoroughly review the current state of database tools and …
Available Formats:
Softcover
eBook
Textbook
Unpingco, J. (2019)
This book, fully updated for Python version 3.6+, covers the key ideas that link probability, statistics, and machine learning illustrated using Python modules in these areas. …
Available Formats:
Hardcover
eBook
Textbook
Crespi Reghizzi, S., Breveglieri, L., Morzenti, A. (2019)
This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used …
Available Formats:
Hardcover
eBook
Textbook
Ghatak, A. (2019)
Deep Learning with R introduces deep learning and neural networks using the R programming language. The book builds on the understanding of the theoretical and mathematical …
Available Formats:
Hardcover
eBook
Textbook
Mirkin, B. (2019)
This text examines the goals of data analysis with respect to enhancing knowledge, and identifies data summarization and correlation analysis as the core issues. Data …
Available Formats:
Softcover
eBook
Textbook
Upadhyaya, B. P. (2019)
This practically-focused textbook presents a concise tutorial on data structures and algorithms using the object-functional language Scala. The material builds upon the foundation …
Available Formats:
Softcover
eBook
Textbook
Uehara, R. (2019)
This textbook introduces basic algorithms and explains their analytical methods. All algorithms and methods introduced in this book are well known and frequently used in real …
Available Formats:
Hardcover
eBook
Textbook
Schlechta, K. (2019)
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I …
Available Formats:
Hardcover