Pusat Perpustakaan
Universitas Islam Negeri Maulana Malik Ibrahim Malang
Beranda
Informasi
Berita
Bantuan
Pustakawan
Area Anggota
Masuk
Pilih Bahasa :
Bahasa Arab
Bahasa Bengal
Bahasa Brazil Portugis
Bahasa Inggris
Bahasa Spanyol
Bahasa Jerman
Bahasa Indonesia
Bahasa Jepang
Bahasa Melayu
Bahasa Persia
Bahasa Rusia
Bahasa Thailand
Bahasa Turki
Bahasa Urdu
Pencarian berdasarkan :
SEMUA
Pengarang
Subjek
ISBN/ISSN
ATAU COBA
Pencarian Spesifik
Pencarian terakhir:
{{tmpObj[k].text}}
Computer Aided Verification
Isil Dillig
Serdar Tasiran
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-25540-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-25540-4
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Computer Aided Verification
Isil Dillig
Serdar Tasiran
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-25543-5
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Edisi
1st ed. 2019
ISBN/ISSN
978-3-030-25543-5
Deskripsi Fisik
-
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Hasil Pencarian
Ditemukan
2
dari pencarian Anda melalui kata kunci:
Pengarang :
Isil Dillig
Permintaan membutuhkan
0,00586
detik untuk selesai
XML Result
JSON Result
Saran
الكتاب المصنّف في الأحاديث والآثار - 1
العبسي، عبدالله بن محمد بن أبي شيبة
Ketetapan - ketetapan MPR-RI : hasil Sidang Istimewa (Kabinet Reformasi Pembangunan) tahun 1998 dan UU No.9 tahun 1998 tentang kemerdekaan menyampaikan pendapat di muka umum
Majelis Permusyawaratan Rakyat
Decentralization in Latin America : learning through experience
George E. Peterson
Zaifu al Nuqud al Islamiyah
Dhaifullah bin Yahya al Zahrani
The Search for Empowerment Social as Idea and Practice at the World Bank
Anthony J. Bebbington [...et.al]
Pilih subjek yang menarik bagi Anda
×
Karya Umum
Filsafat
Agama
Ilmu-ilmu Sosial
Bahasa
Ilmu-ilmu Murni
Ilmu-ilmu Terapan
Kesenian, Hiburan, dan Olahraga
Kesusastraan
Geografi dan Sejarah
Pencarian Spesifik
×
Judul
Pengarang
Subjek
ISBN/ISSN
Tipe Koleksi
Semua Koleksi
Disertasi
Fiction
Koleksi Khusus
Laporan Penelitian
PKPBA
Referensi
Skripsi
Tesis
Textbook
Umum
Lokasi
Semua Lokasi
My Library
Perpustakaan Fak. Kedokteran dan Ilmu Kesehatan
Perpustakaan Pasca Sarjana
Perpustakaan Pascasarjana
Perpustakaan Pusat UIN
PSG
PSIKOLOGI
UIN
GMD
Semua GMD/Media
Art Original
Article Index
Book
Cartographic Material
CD-ROM
Chart
Compact Disk
Computer File
Computer Software
Digital Versatile Disc
Diorama
Dissecting Discrimination
Distance and Digital Education
Electronic Resource
Equipment
Filmstrip
Flash Card
Game
Globe
gmd_name
Jurnal
Kit
Liquidity, Markets and Trading
Manuscript
Map
Markets and Trading in Action\
Microform
Microscope Slide
Model
Motion Picture
Multimedia
Music
Picture
print
Printed Media
Realia
Slide
Sound Recording
Technical Drawing
Text
Text - Riset
Transparency
Video Recording