Ditapis dengan
Ditemukan 488 dari pencarian Anda melalui kata kunci: subject="1"
Logic, Artificial Intelligence, and Robotics
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 287
- Judul Seri
- -
- No. Panggil
- 27786
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 287
- Judul Seri
- -
- No. Panggil
- 27786
Logic Colloquium '98
A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosop…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 541
- Judul Seri
- -
- No. Panggil
- 27807
Logic Programming
November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurre…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- 690
- Judul Seri
- -
- No. Panggil
- 27759
A History of Modern Africa
The new, fully-updated edition of the acclaimed textbook covering 200 years of African history A History of Modern Africa explores two centuries of the continent’s political, economic, and social history. This thorough yet accessible text help readers to understand key concepts, recognize significant themes, and identify the processes that shaped …
- Edisi
- -
- ISBN/ISSN
- 1119381770
- Deskripsi Fisik
- 448
- Judul Seri
- -
- No. Panggil
- 28010
Differentiating Instruction and Assessment for English Language Learners
"Explains why and shows how to differentiate assessments, assignments, and instruction for English language learners according to English language proficiency level and other background factors"--
- Edisi
- -
- ISBN/ISSN
- 9781934000380
- Deskripsi Fisik
- 304
- Judul Seri
- -
- No. Panggil
- 28200
Aplikasi Komputer Farmasi
Buku ajar Aplikasi Komputer Farmasi merupakan hasil karya penelitian penyusun yang didanai Kemenristekdikti anggaran 2019. Penyusun Buku Ajar Aplikasi Komputer Farmasi adalah Halimah Tus Sadiah, M.Kom Muhamad Saad Nurul Ishlah, M.Comp Nisa Najwa Rokhmah S.Farm, Apt, M.Farm Zaldy Rusli, M.Farm Buku ajar ini disusun untuk digunakan oleh Mahasiswa dan …
- Edisi
- -
- ISBN/ISSN
- 6239169625
- Deskripsi Fisik
- 259
- Judul Seri
- -
- No. Panggil
- 28168
Stability of Buildings
Part 1 provides a definition of stability and looks at various forms of instability, highlighting the responsibility for design engineers. Describes actions in depth and explores stability systems including horizontal and vertical, how to accommodate movement, braced and unbraced, performance requirements and earthquake design. Deals with stability …
- Edisi
- -
- ISBN/ISSN
- 9781906335267
- Deskripsi Fisik
- -
- Judul Seri
- -
- No. Panggil
- 28105
Tauhid
Kebesaran dan keagungan Syekh Shaduq, menjadikan pemimpin kota Rey, yakni Rukn al-Dawlah al-Dailami meminta Syekh Shaduq untuk menetap di Rey dan menjadi pemimpin para pengikut Syi’ah. Akhirnya ia pun tinggal di Rey hingga wafatnya pada tahun 381 H. Syekh Shaduq hidup ketika masyarakat Syi’ah secara umum memiliki kebebasan yang relatif luas sehi…
- Edisi
- -
- ISBN/ISSN
- 6023060560
- Deskripsi Fisik
- 436
- Judul Seri
- -
- No. Panggil
- 28154
Aplikasi Komputer untuk Akuntansi
Buku ini membahas penggunaan komputer untuk mengolah transaksi akuntasi menggunakan aplikasi paket aplikasi software Accurate serta Microsoft Excel. Buku ini ditekankan pada pemberian dasar untuk perancangan sistem akuntansi.
- Edisi
- -
- ISBN/ISSN
- 9792963839
- Deskripsi Fisik
- -
- Judul Seri
- -
- No. Panggil
- 28179
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah