![Compiler Design]( "Compiler Design")
Textbook
Hack, S., Wilhelm, R., Seidl, H. (2019)
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
![Signal Processing and Machine Learning with Applications]( "Signal Processing and Machine Learning with Applications")
Textbook
Richter, M. M., Paul, S. (2019)
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. (2019)
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
![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
![Introduction to Intelligent Surveillance]( "Introduction to Intelligent Surveillance")
Textbook
Yan, W. Q. (2019)
This practically-oriented textbook introduces the fundamentals of designing digital surveillance systems powered by intelligent computing techniques. The text offers comprehensive …
Available Formats:
Hardcover
eBook
![Digital Business Analysis]( "Digital Business Analysis")
Textbook
Milani, F. (2019)
This book frames business analysis in the context of digital technologies. It introduces modern business analysis techniques, including a selection of those in the Business …
Available Formats:
Hardcover
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
![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
![Introduction to Hybrid Intelligent Networks]( "Introduction to Hybrid Intelligent Networks")
Textbook
Guan, Z., Hu, B., Shen, X. S. (2019)
This book covers the fundamental principles, new theories and methodologies, and potential applications of hybrid intelligent networks. Chapters focus on hybrid neural networks …
Available Formats:
Hardcover
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
![Java in Two Semesters]( "Java in Two Semesters")
Textbook
Charatan, Q., Kans, A. (2019)
This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part …
Available Formats:
eBook
Hardcover
![Autonomous Cyber Deception]( "Autonomous Cyber Deception")
Textbook
Al-Shaer, E., Wei, J., Hamlen, K. W., Wang, C. (2019)
This textbook surveys the knowledge base in automated and resilient cyber deception. It features four major parts: cyber deception reasoning frameworks, dynamic decision-making …
Available Formats:
Hardcover
eBook
![Ethical and Secure Computing]( "Ethical and Secure Computing")
Textbook
Kizza, J. M. (2019)
This engaging textbook highlights the essential need for a strong ethical framework in our approach to computer, information and engineering science. Through thought-provoking …
Available Formats:
Softcover
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
![Cinderella's Stick]( "Cinderella's Stick")
Textbook
Tzitzikas, Y., Marketakis, Y. (2018)
This book explains the main problems related to digital preservation using examples based on a modern version of the well-known Cinderella fairy tale. Digital preservation is the …
Available Formats:
Hardcover
eBook
![Learning Java with Games]( "Learning Java with Games")
Textbook
Xu, C. (2018)
This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts. Instead of teaching game design using Java, …
Available Formats:
Hardcover
eBook
![Conformance Checking]( "Conformance Checking")
Textbook
Carmona, J., van Dongen, B., Solti, A., Weidlich, M. (2018)
This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking …
Available Formats:
Hardcover
eBook
![Introductory Computer Forensics]( "Introductory Computer Forensics")
Textbook
Lin, X. (2018)
This textbook provides an introduction to digital forensics, a rapidly evolving field for solving crimes. Beginning with the basic concepts of computer forensics, each of the …
Available Formats:
Hardcover
eBook
![Formal Methods for Nonmonotonic and Related Logics]( "Formal Methods for Nonmonotonic and Related Logics")
Textbook
Schlechta, K. (2018)
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the …
Available Formats:
Hardcover
eBook
![Formal Methods for Nonmonotonic and Related Logics]( "Formal Methods for Nonmonotonic and Related Logics")
Textbook
Schlechta, K. (2018)
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
eBook