Universitas Islam Negeri Maulana Malik Ibrahim Malang | Pusat Perpustakaan

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

cover

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

cover

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: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

Hasil Pencarian

Ditemukan 2 dari pencarian Anda melalui kata kunci: Pengarang : Isil Dillig

Permintaan membutuhkan 0,00145 detik untuk selesai

XML Result JSON Result

Saran

Metodologi studi islam :percikan pemikiran tokoh dalam membumikan agama (Seri pemikiran tokoh)

Hasan Baharun [et.al]

Studi sistem hukum Indonesia : untuk kompetensi bidang ilmu-ilmu sosial dan ilmu politik dan dalam payung pancasila

FARIED ALI - Anwar Sulaiman - Femmy Silaswaty Faried

African Land Reform Under Economic Liberalisation

Shinichi Takeuchi

Ahlulbait dan al-Quran : warisan abadi nabi yang suci

Ma'rifat, Muhammad Hadi

Tan Malaka, gerakan kiri, dan revolusi Indonesia / Edisi 2 (Buku 1)

Harry A. Poeze - Hersri Setiawan