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
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
-
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
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
-
Ketersediaan
1
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,00472
detik untuk selesai
XML Result
JSON Result
Saran
Nb3Sn Accelerator Magnets
Daniel Schoerling - Alexander V. Zlobin
Kesehatan reproduksi remaja dan wanita
Kusmiran, Eny
Memuja mantra
saputra, Heru S.P.
Panduan penyelenggaraan perpustakaan sekolah
Sumantri, M.T.
Shahih Sunan Abu Daud: Seleksi Hadits Shahih dari Kitab Sunan Abu Daud (Buku 1)
Muhammad Nashiruddin al-Albani - Tajuddin Arief
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