Ditapis dengan
e-Book - Introduction to Theoretical Computer Science
Buku referensi ini digunakan sebagai diktat utama untuk mata kuliah ilmu komputer teoretis tingkat lanjut di Harvard University dan MIT. Penulis mengambil pendekatan modern dengan mendefinisikan komputer sebagai fungsi matematika, bukan perangkat fisik. Cakupan materi meliputi Mesin Turing, pembuktian teori P vs NP, sirkuit Boolean, batasan komputasi tidak terputuskan (uncomputability), dasar-d…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 656 halaman; ilustrasi diagram ; 28 cm
- Judul Seri
- -
- No. Panggil
- 004.0151 BOA i
e-Book - Mathematics for Computer Science
Buku teks legendaris ini menjabarkan fondasi matematika yang melandasi seluruh ilmu komputer dan rekayasa perangkat lunak. Materi di dalamnya terbagi ke dalam tiga pilar utama: (1) Konsep dasar pembuktian matematika formal, logika proposisi, induksi, dan rekursi; (2) Struktur diskret yang mencakup teori graf, mesin keadaan (state machines), dan teori bilangan modular untuk kriptografi; (3) Teor…
- Edisi
- Digital Draft Edition
- ISBN/ISSN
- -
- Deskripsi Fisik
- ilustrasi diagram ; 25,4 cm x 17,8 cm x 5,1 cm
- Judul Seri
- -
- No. Panggil
- 004.015 1 LEH m
e-Book - Computer Science I
Buku referensi pengantar ini dikembangkan dan digunakan secara resmi untuk mata kuliah Honors Computer Science I di University of Nebraska–Lincoln. Dirancang untuk menegaskan prinsip bahwa "Ilmu Komputer bukan sekadar pemrograman biasa", materi di dalamnya mencakup dasar pemecahan masalah, struktur kontrol, fungsi, tipe data dasar, larik (arrays), hingga manajemen memori dasar. Teks digital l…
- Edisi
- Digital Draft Edition / Versi 1.3.6
- ISBN/ISSN
- -
- Deskripsi Fisik
- xx, 643 halaman : ilustrasi kode berwarna ; 28 cm
- Judul Seri
- -
- No. Panggil
- 005.1 BOU c
e-Book - Logic for Computer Science. Lecture Notes
Bahan ajar tingkat lanjut ini dirancang untuk membekali mahasiswa pascasarjana ilmu komputer dengan fondasi logika formal yang kuat. Fokus utama materi ini adalah menjembatani teori logika murni dengan aplikasi praktis dalam komputasi, seperti spesifikasi formal perangkat lunak, verifikasi program, dan penalaran otomatis (automated reasoning). Dokumen digitalnya didistribusikan secara terbuka u…
- Edisi
- CUGS Edition
- ISBN/ISSN
- -
- Deskripsi Fisik
- 125 halaman : ilustrasi diagram ; 28 cm
- Judul Seri
- -
- No. Panggil
- 004.015 1 SZA l
e-Book - Pengantar Sistem Komputer (Introduction to Computer Systems)
Dokumen ajar ini dirancang untuk memberikan landasan teoretis dan praktis yang kuat bagi mahasiswa tahun pertama di bidang teknologi informasi. Pembahasan dimulai dari pemetaan fungsi komponen utama (unit masukan, unit keluaran, unit penyimpanan, dan CPU). Selanjutnya, buku ini mengupas sistem bilangan (biner, oktal, heksadesimal) dan dasar logika sirkuit digital. Pada bagian akhir, pembaca dib…
- Edisi
- Course Notes Edition
- ISBN/ISSN
- -
- Deskripsi Fisik
- 109 halaman : ilustrasi diagram ; 28 cm
- Judul Seri
- -
- No. Panggil
- 004 TIL p
e-Book - Buku Referensi Python untuk Data Science: Analisis Data, Visualisas…
Buku referensi ini disusun untuk membantu mahasiswa, peneliti, dan praktisi teknologi memahami ekosistem Python dalam konteks ilmu data secara komprehensif. Materi di dalamnya dirancang secara aplikatif, menjembatani teori statistika komputasi dengan contoh pengodean langsung. Dokumen buku ini telah dipublikasikan secara terbuka melalui platform repositori penerbit Repository Media Penerbit Ind…
- Edisi
- Cet. 1
- ISBN/ISSN
- 978-634-7184-00-9
- Deskripsi Fisik
- iv + 215 hlm; 18,2 x 25,7 cm
- Judul Seri
- -
- No. Panggil
- 005.133 MUL p
e-Book - Big Data dan Predictive Analytics
Buku ajar ini dirancang untuk membekali mahasiswa dan praktisi teknologi informasi dengan pemahaman holistik mengenai pemanfaatan data bervolume besar. Pembahasan di dalamnya mencakup karakteristik dasar Big Data, arsitektur penyimpanan data modern, serta implementasi algoritma analitik prediktif seperti analisis regresi, pemodelan deret waktu (time series), dan teknik machine learning dasar. M…
- Edisi
- Cet. 1
- ISBN/ISSN
- 978-634-720-497-4
- Deskripsi Fisik
- 276 hlm; 15,5 x 23 cm
- Judul Seri
- -
- No. Panggil
- 005.7 JUS b
e-Book - DATA SCIENCE FOR BEGINNERS
: Buku referensi ini ditujukan untuk mahasiswa, peneliti, maupun praktisi awam yang ingin terjun ke dunia sains data tanpa latar belakang pemrograman yang kuat. Pembahasan di dalamnya disusun runut mulai dari eksplorasi data, statistika dasar, hingga pengenalan algoritma populer seperti Linear Regression, Decision Trees, Support Vector Machines, dan Neural Networks. Buku versi digitalnya telah …
- Edisi
- Cet. 1
- ISBN/ISSN
- 978-634-04-2976-3
- Deskripsi Fisik
- ix + 125 hlm; 15,5 x 23 cm
- Judul Seri
- -
- No. Panggil
- 006.3 LES d
e-Book - Ilmu Data
: Buku ajar ini dirancang khusus untuk memenuhi kebutuhan literatur akademik berbahasa Indonesia dalam bidang sains data. Ditulis oleh akademisi dari Universitas Islam Riau, isinya memandu mahasiswa untuk memahami fondasi konseptual ilmu data secara bertahap, mendefinisikan peran berbagai profesi dalam ekosistem data (seperti Data Scientist, Data Engineer, dan Data Analyst), serta memberikan co…
- Edisi
- Cet. 1
- ISBN/ISSN
- 978-623-8687-36-7
- Deskripsi Fisik
- xv, 297 halaman; 15,5 x 23 cm
- Judul Seri
- -
- No. Panggil
- 005.7 NAS i
e-Book - Data Science For Dummies®
: Buku ini dirancang sebagai titik awal yang ramah bagi para mahasiswa, profesional IT, serta analis bisnis yang ingin memahami wilayah sains data secara makro tanpa langsung dibebani oleh sintaks pemrograman yang rumit. Fokus utamanya adalah memberikan pemahaman bagaimana mengombinasikan rekayasa data (data engineering), analisis data statistika, dan pemahaman domain bisnis untuk menghasilkan …
- Edisi
- -
- ISBN/ISSN
- 978-1-118-84152-5
- Deskripsi Fisik
- ±408 halaman; 18 x 23 cm
- Judul Seri
- -
- No. Panggil
- 005.74 Pie d
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah