Daftar Buku Ilmu Komputer untuk Pemrograman Tingkat Lanjut

Sebuah daftar bacaan literatur ilmu komputer edisi tahun 2025 telah dirilis dan ditujukan bagi para praktisi yang ingin mendalami pemrograman secara mendalam. Berbeda dari daftar buku pemrograman pada umumnya, kurasi ini mencakup literatur teknis tingkat lanjut untuk memahami sistem komputer hingga tingkat terbawah.

Pengantar Pemrograman dan Bahasa Dasar

Bagian pengantar mencakup karya Stepanov berjudul From Mathematics to Generic Programming dan The Elements of Programming, serta Modern C karya Gustedt. Daftar ini juga menyertakan C Interfaces and Implementations karya Hanson dan The C++ Programming Language karya Stroustrup.

Selain itu, terdapat buku C++ Move Semantics karya Josuttis yang dinilai memberikan justifikasi kuat bagi bahasa pemrograman Rust, disusul dengan The Rust Programming Language karya Klabnik, Nichols, dan Krycho. Penggunaan bahasa C dan C++ dianggap penting karena menjadi bahasa pengantar yang diterapkan pada sebagian besar perangkat keras dan sistem operasi utama.

Pertarungan dan Algoritma Tingkat Lanjut

Kategori brawling combat memuat A Discipline of Programming karya Dijkstra yang dinilai sebagai buku terindah di bidang ilmu komputer, serta The Art of Computer Programming karya Knuth terutama volume 1 dan 4B edisi ketiga. Terdapat pula Hacker’s Delight karya Warren edisi kedua dan Advanced Programming in the UNIX Environment karya Stevens dan Rago.

Literatur jaringan dan sistem operasi turut direkomendasikan, seperti UNIX Network Programming edisi kedua karya Stevens, Structure and Interpretation of Computer Programs edisi kedua karya Abelson dan Sussman, Networking Algorithmics karya Varghese, serta The Design and Implementation of the FreeBSD Operating System karya McKusick. Buku The Linux Programming Interface karya Kerrisk dan Communications Networks karya Garcia dan Widjaja juga masuk dalam daftar.

Aspek teoretis dan arsitektur komputer diperdalam melalui Queueing Systems volume 1 karya Kleinrock, Computer Architecture: A Quantitative Approach karya Hennessy dan Paterson, serta Optimizing Compilers for Modern Architectures karya Kennedy. Buku acuan standar seperti Introduction to Algorithms oleh CLRS, Metric and Multidimensional Data Structures oleh Samet, serta Is Parallel Programming Hard, And, If So, What Can You Do About It? oleh McKenney turut melengkapi daftar ini.

Sejumlah literatur spesifik lainnya meliputi Algorithms on Strings karya Crochemere dkk, Parallel Computer Architecture karya Culler dkk, Computation Structures karya Ward dan Halstead, The Anatomy of a High-Performance Microprocessor karya Shriver dan Smith, Approximation Algorithms karya Vazirani, Randomized Algorithms oleh Raghavan dan Motwani, Computers and Intractability karya Garey dan Johnson, Introduction to the Theory of Computation karya Sipser, serta Matrix Computations karya Golub dan Van Loan.

Literasi Tingkat Lanjut dan Matematika Pendukung

Untuk tingkat lanjut, daftar tersebut merekomendasikan Computational Complexity karya Arora dan Barak, Types and Programming Languages karya Pierce, Purely Functional Data Structures karya Okasaki, Concepts, Techniques, and Models of Computer Programming karya Van Roy dan Haridi, serta The Lambda Calculus karya Barendregt.

Penguasaan bidang matematika pendukung ditekankan melalui Linear Algebra Done Right karya Axler dan Concrete Mathematics karya Knuth. Disiplin kombinatorika, probabilitas, statistik, serta aljabar linear perlu dikuasai dengan baik, sementara kalkulus dan persamaan diferensial dinilai sebagai pengetahuan dasar.

Daftar bacaan penutup juga mencakup Hacking the Planet dengan Notcurses, sementara buku mengenai pembelajaran mesin, komputasi kuantum, akselerator, dan keamanan informasi sengaja tidak dimasukkan dalam kurasi tersebut.