![Techniques for Cryptanalysis of Block Ciphers]( "Techniques for Cryptanalysis of Block Ciphers")
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
![Computational Statics and Dynamics]( "Computational Statics and Dynamics")
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
![Mathematics in Computing]( "Mathematics in Computing")
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
![Programming for Computations - Python]( "Programming for Computations - Python")
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
![Monte Carlo Methods]( "Monte Carlo Methods")
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
![Answer Set Programming]( "Answer Set Programming")
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
![Sequential and Parallel Algorithms and Data Structures]( "Sequential and Parallel Algorithms and Data Structures")
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
![Proof Theory and Algebra in Logic]( "Proof Theory and Algebra in Logic")
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
![An Introduction to Kolmogorov Complexity and Its Applications]( "An Introduction to Kolmogorov Complexity and Its Applications")
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
![Linear Algebra for Computational Sciences and Engineering]( "Linear Algebra for Computational Sciences and Engineering")
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
![Formal Methods]( "Formal Methods")
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
![Applied Machine Learning]( "Applied Machine Learning")
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
![SQL & NoSQL Databases]( "SQL & NoSQL Databases")
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
![Python for Probability, Statistics, and Machine Learning]( "Python for Probability, Statistics, and Machine Learning")
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
![Formal Languages and Compilation]( "Formal Languages and Compilation")
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
![Deep Learning with R]( "Deep Learning with R")
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
![Core Data Analysis: Summarization, Correlation, and Visualization]( "Core Data Analysis: Summarization, Correlation, and Visualization")
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
![Data Structures and Algorithms with Scala]( "Data Structures and Algorithms with Scala")
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
![First Course in Algorithms Through Puzzles]( "First Course in Algorithms Through Puzzles")
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
![Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)]( "Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)")
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