Library
126 books.
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
Pattern Recognition and Machine Learning (Information Science and Statistics)
Computer Systems: A Programmer's Perspective (2nd Edition)
Flexible Pattern Matching in Strings: Practical On-Line Search Algorithms for Texts and Biological Sequences
Software Engineering: Modern Approaches- The Book of Why: The New Science of Cause and Effect
Quantum Computing Since Democritus
The Garbage Collection Handbook- The Soul of A New Machine
Introduction to the Theory of Programming Languages (English Language Teaching)
The Algorithm Design Manual- Building Machine Learning Systems with a Feature Store: Batch, Real-Time, and LLM Systems
- Thoughts of a Reformed Computer Scientist: On the Nature of Real and Artificial Intelligence
The DevOps Handbook: How to Create World-Class Agility, Reliability, and Security in Technology Organizations
Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95 (Undergraduate Texts in Computer Science)- The Algebra of Programming
Code- Your AI Survival Guide: Scraped Knees, Bruised Elbows, and Lessons Learned from Real-World AI Deployments
The Pattern On The Stone: The Simple Ideas That Make Computers Work
Advanced Programming Language Design- The Elements Of Computing Systems: Building A Modern Computer From First Principles
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Data Mining: Concepts and Techniques (The Morgan Kaufmann Series in Data Management Systems)- The Art of Multiprocessor Programming, Revised Reprint
Information Theory: A Tutorial Introduction
The Phoenix Project: A Novel About IT, DevOps, and Helping Your Business Win
Programming Collective Intelligence: Building Smart Web 2.0 Applications
The UNIX Philosophy
Computational Intelligence: Concepts to Implementations
The Golden Ticket: P, NP, and the Search for the Impossible
Probability and Computing: Randomized Algorithms and Probabilistic Analysis- Handbook of Practical Logic and Automated Reasoning
- Semantics Engineering with PLT Redex
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Pattern-Oriented Software Architecture Volume 1: A System of Patterns
High Performance Computing - HiPC 2006: 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings (Lecture Notes in Computer Science, 4297)- Data and Reality: A Timeless Perspective on Perceiving and Managing Information in Our Imprecise World, 3rd Edition
Practical Foundations for Programming Languages
Introduction to Algorithms
Computer Architecture: A Quantitative Approach - 5th Edition (The Morgan Kaufmann Series in Computer Architecture and Design)- Software Performance and Scalability: A Quantitative Approach (Quantitative Software Engineering Series)
An Introduction to Information Theory: Symbols, Signals and Noise (Dover Books on Mathematics)
Software Engineering- Cloud Native DevOps with Kubernetes: Building, Deploying, and Scaling Modern Applications in the Cloud
Lambda Calculus with Types (Perspectives in Logic)
Foundations of Computer Science: C Edition (Principles of Computer Science Series)
Feedback Control for Computer Systems: Introducing Control Theory to Enterprise Programmers- Playing Smart: On Games, Intelligence, and Artificial Intelligence (Playful Thinking)
The Art of Multiprocessor Programming
Elements of Information Theory
Operating Systems Concepts
Crafting a Compiler With C
Foundations of Object-Oriented Languages: Types and Semantics
Logic in Computer Science: Modelling and Reasoning about Systems
Hands-On Machine Learning with Scikit-Learn and TensorFlow: Concepts, Tools, and Techniques to Build Intelligent Systems
Deep Learning- Design Concepts in Programming Languages
Foundations of Multidimensional and Metric Data Structures (The Morgan Kaufmann Series in Data Management Systems)
Distributed Computing Through Combinatorial Topology
Engineering a Compiler