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

Alexandra Silva K. Rustan M. Leino

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81685-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81685-8
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Ketersediaan1

Tambahkan ke dalam keranjang

Tampilkan Detail Sitasi

cover

Computer Aided Verification

Alexandra Silva K. Rustan M. Leino

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81688-9
Deskripsi Fisik: -
Judul Seri: Lecture Notes in Computer Science
No. Panggil: -

Edisi: 1st ed. 2021
ISBN/ISSN: 978-3-030-81688-9
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 : K. Rustan M. Leino

Permintaan membutuhkan 0,00733 detik untuk selesai

XML Result JSON Result

Saran

Membuat surat perjanjian

Dadang Sukandar

Manusia kloning yang pertama telah lahir! : gemuruh geger teknologi rekayasa genetika dari tanaman hingga manusia

Musbikin, Imam

تفسير الفخر الرازي المشتهر بالتفسير الكبير ومفاتيح الغيب -6

الرازي, فخرالدين محمد بن عمر

Hukum fikih seputar al-Qur'an : 200 persoalan khilafiyah berikut tarjihnya

Ahmad Salim

Fahrusu 'Ahaditsu Musnad al Imam al Syafi'i

Yusuf 'Abdu al Rahman al Mar'asyli