![Signal Processing and Machine Learning with Applications]( "Signal Processing and Machine Learning with Applications")
Textbook
Richter, M. M., Paul, S. (2021)
The authors offer a comprehensive guide to machine learning applied to signal processing and recognition problems, and then discuss real applications in domains such as speech …
Available Formats:
Hardcover
eBook
![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
![Compiler Design]( "Compiler Design")
Textbook
Hack, S., Wilhelm, R., Seidl, H. (2021)
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. …
Available Formats:
Hardcover
eBook
![Digital Image Processing and Image Formation]( "Digital Image Processing and Image Formation")
Textbook
Jähne, B. (2020)
Since the first edition of "Digital Image Processing" was published in 1991 it has found its way to many desks and classrooms. The book offers an integral view of image processing …
Available Formats:
Book with w. online files/update
eBook
![Multimedia Big Data Computing for IoT Applications]( "Multimedia Big Data Computing for IoT Applications")
Textbook
Tanwar, S. (Ed), Tyagi, S. (Ed), Kumar, N. (Ed) (2020)
This book considers all aspects of managing the complexity of Multimedia Big Data Computing (MMBD) for IoT applications and develops a comprehensive taxonomy. It also discusses a …
Available Formats:
Hardcover
eBook
![Earth Systems Data Processing and Visualization Using MATLAB]( "Earth Systems Data Processing and Visualization Using MATLAB")
Textbook
Şen, Z. (2020)
This book is designed to provide easy means of problem solving based on the science philosophical and logical rules that lead to effective and reliable software at the service of …
Available Formats:
Hardcover
eBook
![Individual-based Methods in Forest Ecology and Management]( "Individual-based Methods in Forest Ecology and Management")
Textbook
Pommerening, A., Grabarnik, P. (2019)
Model-driven individual-based forest ecology and individual-based methods in forest management are of increasing importance in many parts of the world. For the first time this …
Available Formats:
Hardcover
eBook
![Modelling and Simulation]( "Modelling and Simulation")
Textbook
Birta, L. G., Arbez, G. (2019)
This hands-on textbook/reference presents an introduction to the fundamental aspects of modelling and simulation, both for those wishing to learn about this methodology and also …
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
![Designing Enterprise Information Systems]( "Designing Enterprise Information Systems")
Textbook
Shishkov, B. (2019)
This book brings together enterprise modeling and software specification, providing a conceptual background and methodological guidelines that concern the design of enterprise …
Available Formats:
Hardcover
eBook
![Future-Proof Software-Systems]( "Future-Proof Software-Systems")
Textbook
Furrer, F. J. (2019)
This book focuses on software architecture and the value of architecture in the development of long-lived, mission-critical, trustworthy software-systems. The author introduces …
Available Formats:
Hardcover
eBook
![Learning C# by Programming Games]( "Learning C# by Programming Games")
Textbook
van Toll, W., Egges, A., Fokker, J. D. (2019)
Developing computer games is a perfect way to learn how to program in modern programming languages. This book teaches how to program in C# through the creation of computer games – …
Available Formats:
Hardcover
eBook
![Distributed Real-Time Systems]( "Distributed Real-Time Systems")
Textbook
Erciyes, K. (2019)
This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common …
Available Formats:
Hardcover
eBook
![Programming for Computations - Python]( "Programming for Computations - Python")
Textbook
Linge, S., Langtangen, H. P. (2019)
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
![Python for Probability, Statistics, and Machine Learning]( "Python for Probability, Statistics, and Machine Learning")
Textbook
Unpingco, J. (2019)
This textbook, fully updated to feature Python version 3.7, covers the key ideas that link probability, statistics, and machine learning illustrated using Python modules. The …
Available Formats:
Hardcover
eBook
![A Beginners Guide to Python 3 Programming]( "A Beginners Guide to Python 3 Programming")
Textbook
Hunt, J. (2019)
This textbook on Python 3 explains concepts such as variables and what they represent, how data is held in memory, how a for loop works and what a string is. It also introduces …
Available Formats:
Softcover
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
![Introduction to Software Design with Java]( "Introduction to Software Design with Java")
Textbook
Robillard, M. P. (2019)
This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers …
Available Formats:
Softcover
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
![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