Ditapis dengan
Asal-usul Manusia : Menurut Bibel, Al-Qur'an, Sains
Buku ini dimaksudkan untuk menjawab masalah-masalah disekitar pertentangan-pertentangan lama antara sains dan agama. Selama lebih dari empat puluh tahun, penulisnya mencurahkan perhatian pada bidang biologi molekuler dan genetika serta menelaah dari dekat kitab-kitab suci Agama-agama monoteistik---Yahudi, Nasrani dan Islam. berdasarkan itu semua, ia menyimpulkan bahwa sains dan agama, sebalik…
- Edisi
- Cet. Ke-12
- ISBN/ISSN
- -
- Deskripsi Fisik
- 267 hlm; 20cm
- Judul Seri
- -
- No. Panggil
- 572 Buc a
Logika Matematika untuk Ilmu Komputer
Buku ini membahas : Pengenalan Logika matematika, pengantar logika proposisonal, metode-metode logika proposisional, pengantar logika predikat, komponen-komponen sintaktik, kuantor-kuantor, penafsiran dan validitas, derivasi, ekuaivalen logis untuk logika predikat, tablo semantik untuk logika predikat, bentuk normal prenex dan resolusi untuk logika predikat.
- Edisi
- Ed.1.
- ISBN/ISSN
- 9797635686
- Deskripsi Fisik
- xix,458 hlm.; 23 cm
- Judul Seri
- -
- No. Panggil
- 511.3Soe l
Persamaan Diferensial biasa
Buku ini membahas : 1. Konsep Penyelesaian PDB 2. Menentukan PDB 4. PD Prdo Satu Derajat satu 5. Penerapan Persamaan Diferensial 6. Persamaan Diferensial Linier 7. PD Linier Orde Dua Nonhomogen dengan Koefisien Konstanta 8. PD Linier Homogen Orde n dengan Konefisien Konstanta 9. PD Linier NonHomogen Orde n dengan Konefisien Konstanta 10. Sistem Persamaan Diferensial
- Edisi
- Ed. 1
- ISBN/ISSN
- 9789792939828
- Deskripsi Fisik
- 144 hlm;23 cm
- Judul Seri
- -
- No. Panggil
- 515.3 Bam p
Pengenalan Manajemen Sains
Buku ini membahas tentang; Pemrograman Linear, Metode Grafik, Metode Simpleks, serta analisis kepekaan.
- Edisi
- Cet. 1
- ISBN/ISSN
- 9799686458
- Deskripsi Fisik
- ix, 221 hlm.; 20,5 cm
- Judul Seri
- -
- No. Panggil
- 500 tir P
Toeri bahasa dan otomata
Buku ini terdiri dari sebelas bab yang membahas tentang; Otomata: Metode dan aplikasinya, otomata hingga, ekspresi regular dan bahasa, sifat-sifat bahasa reguler, tata bahasa dan bahasa bebas konteks, pushdown automata, sifat bahasa bebas konteks, pengenalan mesin turing, undecidability, problema yang intractable, serta kelas tambahan dalam problem.
- Edisi
- Ed. 1
- ISBN/ISSN
- -
- Deskripsi Fisik
- xvi,608 hlm; 23 cm
- Judul Seri
- -
- No. Panggil
- 510 Hop t
Ilmu Alamiah Dasar (Cet. 17 )
Pembahasan dalam buku ini meliputi Pengenalan IPA dan ruang lingkupnya, perkembangan teknologi dan dampaknya, serta hubungannya dengan kelangsungan hidup manusia. Sebagai buku teks yang disajikan secara lengkap, sistematis, dan dilengkapi dengan soal latihan.
- Edisi
- Cet. 17
- ISBN/ISSN
- 9795260634
- Deskripsi Fisik
- xi + 175 hlm., 20 cm
- Judul Seri
- -
- No. Panggil
- 500. Abd. i
Ilmu Alamiah Dasar : Untuk IAIN, STAIN, PTAIS Semua fakultas dan jurusan komp…
Materi yang dibahas dalam buku ini mencakup : Bab I Perkembangan pola pikir manusia yang berlandaskan pada mitos Bab II Perkembangan pola pikir manusia di Eropa dan dunia Islam Bab III Kelahiran pengetahuan alamiah modern Bab IV Metode ilmiah, sikap ilmiah dan langkah-langkah operasional metode ilmiah Bab V Kelahiran alam semesta ditinjau dari sudut Islam dan ilm…
- Edisi
- Cet. Ke-1
- ISBN/ISSN
- -
- Deskripsi Fisik
- 255 hlm; 21 Cm
- Judul Seri
- -
- No. Panggil
- 500 Mas i
Ilmu alamiah dasar : untuk perguruan tinggi non eksakta dan umum (Cet. 9)
Buku ini terdiri dari lima bab, yang membahas tentang; Materi dan energi, alam semesta dan tata surya, biosfer dan makhluk hidup, serta manusia dan lingkungannya.
- Edisi
- Cet. 9
- ISBN/ISSN
- 9794213039
- Deskripsi Fisik
- xviii, 232 hlm. : Bibl.; 21 cm.
- Judul Seri
- -
- No. Panggil
- 500 JAS i
Transformasi Laplace
Dalam buku pada bab dimulai dengan perumusan defenisi, prinsip dan teorema bersama dengan ilusrasi dan bahan-bahan deskriptif lainya secara jitu, diikuti dengan kumpulan soal-soal yang dipecahkan dan soal-soal tambahan. Tujuan soal-soal yang dipecahkan adalah untuk membantu memperjelas dan memperdalam penguasaan teori, dan mempertajam bagian-bagian penting .
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 254 halaman: ilustrasi;24 cm
- Judul Seri
- -
- No. Panggil
- 515 Mur m
Analisis regresi : Dasar dan penerapannya dengan R
Buku ini membahas tentang regresi dan korelasi dan memberikan contoh pengolahan data untuk mendapatkan model hubungan antara berbagai macam variabel yang umumnya menggunakan software yang berlisensi seperti SPSS, Minitab dll.
- Edisi
- Cetakan Kedua, Februari
- ISBN/ISSN
- 9786024220341
- Deskripsi Fisik
- x,218 hlm : Ilustrasi ; 20 cm
- Judul Seri
- -
- No. Panggil
- 519.5 ROB a
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah