Library Section
Parallel SAT Solving in Bounded Model Checking | UPT Perpustakaan UHAMKA
Informasi dan layanan perpustakaan dalam tampilan yang lebih bersih dan modern.
Smart Search
Cari koleksi dengan cepat sesuai kebutuhan Anda.Pencarian Spesifik
Sesuaikan filter untuk hasil lebih presisi.
Belum ada riwayat. Mulai ketik untuk menyimpan pencarian Anda.
Ketersediaan
Copy Status
Fakultas Teknologi Industri dan Informatika
Belum ditentukan Kode Klasifkasinya
:
Tersedia
Highlights
Informasi Detail
- Judul Seri
- -
- Penerbit
- : ., 2011
- Deskripsi Fisik
- -
- Bahasa
- Indonesia
- Tipe Isi
- -
- Tipe Media
- -
- Tipe Pembawa
- -
- Tipe Koleksi
- e-Article Oxford Journal
- Edisi
- -
- Subjek
-
-
- Info Detail Spesifik
- -
- Pernyataan Tanggungjawab
- -
Explore more
Versi lain/terkait
Tidak tersedia versi lain
Digital
Lampiran Berkas
Community
