Buku-buku ini membentuk inti kurikulum ilmu komputer dan daftar bacaan profesional. Mereka mencakup algoritma, sistem, bahasa, teori, dan kerajinan yang lebih luas dari rekayasa perangkat lunak - bacaan penting bagi siapa saja yang serius tentang ilmu komputer.
Buku Teks Dasar Ilmu Komputer
Buku-buku yang menetapkan dasar teoritis dan praktis ilmu komputer.
| Buku | Pengarang | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Struktur dan Interpretasi Program Komputer Edisi ke-2, MIT Press | Harold Abelson, Gerald Jay Sussman, Julie Sussman | 1996 | Menengah-Lanjut | 'SICP' yang legendaris - bisa dibilang buku teks ilmu komputer yang paling berpengaruh yang pernah ditulis. Mengajarkan komputasi sebagai model mental menggunakan Scheme. Tersedia secara gratis secara online. |
| Pengantar Algoritma Edisi ke-4, MIT Press | Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein | 2022 | Menengah-Lanjut | Buku teks algoritma definitif ('CLRS') yang digunakan di lebih dari 1.000 universitas. Pembahasan yang ketat tentang semua algoritma standar dengan bukti dan analisis. |
| Sistem Komputer: Perspektif Seorang Programmer Edisi ke-3, Pearson | Randal E. Bryant, David R. O'Hallaron | 2015 | Menengah-Lanjut | 'CSAPP' dari CMU - pengantar terbaik untuk sistem komputer dari sudut pandang seorang programmer. Mencakup kode mesin, memori, penghubungan, proses, dan jaringan. |
Teori Komputasi
Automata, keterhitungannya, teori kompleksitas, dan logika.
| Buku | Pengarang | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Pengantar Teori Komputasi Edisi ke-3, Cengage | Michael Sipser | 2012 | Menengah-Lanjut | Buku teks teori standar untuk sarjana. Penanganan yang jelas dan ketat tentang automata, keterhitungannya, dan kompleksitas dengan bukti yang elegan. |
| Kompleksitas Komputasi: Pendekatan Modern Cambridge University Press | Sanjeev Arora, Boaz Barak | 2009 | Lanjut | Teori kompleksitas pascasarjana modern yang mencakup P vs NP, randomisasi, derandomisasi, kompleksitas kuantum, dan bukti interaktif. Tersedia secara gratis secara online. |
| Pengantar Teori Automata, Bahasa, dan Komputasi Edisi ke-3, Pearson | John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman | 2006 | Lanjut | Penanganan klasik yang ketat tentang bahasa formal dan teori automata. |
Sistem Operasi dan Pemrograman Sistem
Bagaimana sistem operasi bekerja dan bagaimana cara memprogramnya.
| Buku | Pengarang | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Sistem Operasi: Tiga Bagian Mudah Buku Arpaci-Dusseau | Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau | 2018 | Menengah | Buku teks OS modern, gratis, dan sangat baik yang terorganisir di sekitar virtualisasi, konkurensi, dan persistensi. Buku teks CS gratis terbaik. |
| Konsep Sistem Operasi Edisi ke-10, Wiley | Abraham Silberschatz, Peter B. Galvin, Greg Gagne | 2018 | Menengah | 'Buku dinosaurus' - buku teks OS standar yang telah lama ada dengan cakupan yang komprehensif. |
| Antarmuka Pemrograman Linux No Starch Press | Michael Kerrisk | 2010 | Lanjut | Referensi definitif untuk pemrograman sistem Linux. Cakupan menyeluruh tentang panggilan sistem dan API POSIX. |
Bahasa Pemrograman dan Kompiler
Desain bahasa, implementasi, dan paradigma pemrograman.
| Buku | Pengarang | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Kompiler: Prinsip, Teknik, dan Alat Edisi ke-2, Pearson | Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman | 2006 | Lanjut | 'Buku Naga' - buku teks standar kompiler yang mencakup lexing, parsing, pemeriksaan tipe, optimisasi, dan generasi kode. |
| Pragmatik Bahasa Pemrograman Edisi ke-4, Morgan Kaufmann | Michael L. Scott | 2015 | Menengah-Lanjut | Penanganan komprehensif tentang bahasa pemrograman dan implementasinya. |
| Jenis dan Bahasa Pemrograman MIT Press | Benjamin C. Pierce | 2002 | Lanjut | Buku teks teori tipe kanonik. Penting bagi siapa saja yang tertarik pada teori bahasa pemrograman atau metode formal. |
Kerajinan Perangkat Lunak dan Klasik
Buku-buku yang harus dibaca oleh setiap programmer profesional tentang kerajinan pemrograman.
| Buku | Pengarang | Tahun | Tingkat | Deskripsi |
|---|---|---|---|---|
| Seni Pemrograman Komputer Addison-Wesley | Donald E. Knuth | 1968-sekarang | Lanjut | Karya monumental multi-volume Knuth ('TAOCP'). Bukan bacaan ringan tetapi referensi utama tentang algoritma dasar. |
| Programmer Pragmatik Edisi Ulang Tahun ke-20, Addison-Wesley | David Thomas, Andrew Hunt | 2019 | Pemula-Menengah | Kebijaksanaan yang disaring dari dua pengembang berpengalaman tentang kerajinan pemrograman. Bacaan wajib bagi insinyur perangkat lunak baru. |
| Kode Lengkap Edisi ke-2, Microsoft Press | Steve McConnell | 2004 | Menengah | Panduan paling komprehensif tentang praktik konstruksi perangkat lunak yang pernah ditulis. |