Mathematics for Computer Science PDF Download – Lehman, Leighton & Meyer (MIT OCW)
Free MIT OCW textbook covering proofs, discrete structures, counting, probability, and recurrences for computer science, by Lehman, Leighton, and Meyer.
Computer Science
Free, open-license Computer Science books in PDF for university (BSCS, BSIT and Software Engineering) students in Pakistan. This section covers the core HEC-curriculum courses — Programming Fundamentals, Object-Oriented Programming, Data Structures and Algorithms, Database Systems, Operating Systems and more.Each book is chosen to match the courses actually taught in Pakistani BS programs, so students can practise coding concepts and revise theory for their semester exams without cost. One book often serves multiple degree programs, so you will find the same title referenced across BSCS, BSIT and Software Engineering.
Competitive Programmer’s Handbook
BSCS students preparing for programming contests — or anyone who wants a fast-paced, problem-oriented tour of algorithmic techniques — can …
Algorithms (DPV)
BSCS students taking an Algorithms or Design and Analysis of Algorithms course — or anyone who wants a rigorous, proof-oriented …
Algorithms
BSCS students taking a Design and Analysis of Algorithms course — or anyone who wants a rigorous, proof-oriented algorithms education …
You Don’t Know JS Yet
BSCS students taking a Web Development or JavaScript elective course — or any working developer who wants to genuinely understand …
The Rust Programming Language
BSCS students taking a Systems Programming, Programming Languages, or Advanced Programming elective course can read the complete textbook “The Rust …
Crafting Interpreters
BSCS students taking a Compilers, Programming Languages, or Language Implementation elective course can read the complete textbook “Crafting Interpreters” by …
Structure and Interpretation of Computer Programs (SICP)
BSCS students taking a Programming Languages, Principles of Programming, or Functional Programming elective course can read the complete textbook “Structure …
Modeling and Simulation in Python
BSCS and Engineering students taking a Modeling and Simulation or Computational Science elective course can read the complete textbook “Modeling …
Think Data Structures: Algorithms and Information Retrieval in Java
BSCS students taking a Data Structures, Algorithms, or Java-based programming elective course can read the complete textbook “Think Data Structures: …
Think DSP: Digital Signal Processing in Python
BSCS and BSEE students taking a Signal Processing or Digital Signal Processing elective course can read the complete textbook “Think …