![Probability in Electrical Engineering and Computer Science]( "Probability in Electrical Engineering and Computer Science")
Textbook
Walrand, J. (2021)
This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents …
Available Formats:
Hardcover
eBook
![Introduction to Discrete Event Systems]( "Introduction to Discrete Event Systems")
Textbook
Cassandras, C. G., Lafortune, S. (2021)
This text is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied …
Available Formats:
Hardcover
eBook
![Mathematical Logic]( "Mathematical Logic")
Textbook
Ebbinghaus, H., Flum, J., Thomas, W. (2021)
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical …
Available Formats:
Hardcover
eBook
![Fundamentals of Quantum Computing]( "Fundamentals of Quantum Computing")
Textbook
Kasirajan, V. (2021)
This introductory book on quantum computing includes an emphasis on the development of algorithms. Appropriate for both university students as well as software developers …
Available Formats:
Hardcover
eBook
![Python Programming for Data Analysis]( "Python Programming for Data Analysis")
Textbook
Unpingco, J. (2021)
This textbook grew out of notes for the ECE143 Programming for Data Analysis class that the author has been teaching at University of California, San Diego, which is a requirement …
Available Formats:
Hardcover
eBook
![Concise Guide to Quantum Computing]( "Concise Guide to Quantum Computing")
Textbook
Kurgalin, S., Borzunov, S. (2021)
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic …
Available Formats:
Hardcover
eBook
![Logical Methods]( "Logical Methods")
Textbook
Antonsen, R. (2021)
Many believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. …
Available Formats:
Softcover
eBook
![Discrete Mathematics and Graph Theory]( "Discrete Mathematics and Graph Theory")
Textbook
Erciyes, K. (2021)
This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and …
Available Formats:
Softcover
eBook
![Algebra and Geometry with Python]( "Algebra and Geometry with Python")
Textbook
Kurgalin, S., Borzunov, S. (2021)
This book teaches algebra and geometry. The authors dedicate chapters to the key issues of matrices, linear equations, matrix algorithms, vector spaces, lines, planes, …
Available Formats:
Hardcover
eBook
![Probabilistic Graphical Models]( "Probabilistic Graphical Models")
Textbook
Sucar, L. E. (2021)
This fully updated new edition of a uniquely accessible textbook/reference provides a general introduction to probabilistic graphical models (PGMs) from an engineering …
Available Formats:
Hardcover
eBook
![Graph Transformation for Software Engineers]( "Graph Transformation for Software Engineers")
Textbook
Heckel, R., Taentzer, G. (2020)
This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling …
Available Formats:
Softcover
Hardcover
eBook
![Understand Mathematics, Understand Computing]( "Understand Mathematics, Understand Computing")
Textbook
Rosenberg, A. L., Trystram, D. (2020)
In this book the authors aim to endow the reader with an operational, conceptual, and methodological understanding of the discrete mathematics that can be used to study, …
Available Formats:
Hardcover
eBook
![Introduction to the Tools of Scientific Computing]( "Introduction to the Tools of Scientific Computing")
Textbook
Smith, E. (2020)
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike widely used standard approaches, it does not …
Available Formats:
Hardcover
eBook
![Understanding Programming Languages]( "Understanding Programming Languages")
Textbook
Jones, C. B. (2020)
This book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of …
Available Formats:
Hardcover
eBook
![The Foundations of Computability Theory]( "The Foundations of Computability Theory")
Textbook
Robič, B. (2020)
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the …
Available Formats:
Hardcover
eBook
![Algorithms and Data Structures]( "Algorithms and Data Structures")
Textbook
Knebl, H. (2020)
This is a central topic in any computer science curriculum. To distinguish this textbook from others, the author considers probabilistic methods as being fundamental for the …
Available Formats:
Hardcover
eBook
![Decidability of Logical Theories and Their Combination]( "Decidability of Logical Theories and Their Combination")
Textbook
Rasga, J., Sernadas, C. (2020)
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and …
Available Formats:
Hardcover
eBook
![The Algorithm Design Manual]( "The Algorithm Design Manual")
Textbook
Skiena, S. S. (2020)
"My absolute favorite for this kind of interview preparation is Steven Skiena’s The Algorithm Design Manual. More than any other book it helped me understand just how …
Available Formats:
Hardcover
eBook
![The Discrete Math Workbook]( "The Discrete Math Workbook")
Textbook
Kurgalin, S., Borzunov, S. (2020)
This practically-focused study guide introduces the fundamentals of discrete mathematics through an extensive set of classroom-tested problems. Each chapter presents a concise …
Available Formats:
Hardcover
eBook
![Ordinal Analysis with an Introduction to Proof Theory]( "Ordinal Analysis with an Introduction to Proof Theory")
Textbook
Arai, T. (2020)
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned …
Available Formats:
Hardcover
eBook