English
Indonesia
Perpustakaan Poliwangi
Digital Library Management System
Beranda
Informasi
Berita
Bantuan
Pustakawan
Masuk
Pustakawan
Dosen/Mahasiswa
Pencarian berdasarkan :
SEMUA
Pengarang
Subjek
ISBN/ISSN
ATAU COBA
Pencarian Spesifik
Pencarian terakhir:
{{tmpObj[k].text}}
MODEL CHECKING AND ARTIFICIAL INTELLIGENCE
DORON A. PELED
MICHAEL J. WOOLDRIDGE
Edisi
FIRST ED.
ISBN/ISSN
978-3-642-00430-8
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
-
Ketersediaan
2
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Hasil Pencarian
Ditemukan
1
dari pencarian Anda melalui kata kunci:
Pengarang :
"DORON A. PELED"
Permintaan membutuhkan
0.00225
detik untuk selesai
Saran
EVALUASI SISTEM DRAINASE JALAN DIDESA BALAK DUSUN WONOREJO KECAMATAN SONGGON KABUPATEN BANYUWANGI
EMY WULANDARI
PENGARUH PARTISIPASI MASYARAKAT KAMPUNG MANDAR TERHADAP DESTINASI WISATA PANTAI BOOM DI KABUPATEN BANYUWANGI
SUKRON HAKIKI
PERTANIAN TERPADU UNTUK MENDUKUNG KEDAULATAN PANGAN NASIONAL
BAMBANG HENDRO SUNARMINTO
BUDAYA ORGANISASI TEORI,PENELITIAN, DAN PRAKTIK
KUSDI
PENGARUH STABILISASI ABU DAUN BAMBU TERHADAP NILAI PARAMETER KUAT GESER PADA TANAH LEMPUNG EKSPANSIF (STUDI KASUS, DESA GUMUKREJO, PURWOHARJO, BANYUWANGI)
Anisa Dwi Rahmawati
Pilih subjek yang menarik bagi Anda
×
Filsafat dan Psikologi
Agama
Ilmu - Ilmu Sosial
Bahasa
Ilmu Sains (Ilmu Alam dan Matematika)
Teknologi dan Ilmu Terapan
Kesenian, Hiburan, dan Olahraga
Kesusastraan
Geografi, Sejarah & Disiplin Ilmu Berkaitan
Pencarian Spesifik
×
Judul
Pengarang
Subjek
ISBN/ISSN
Tipe Koleksi
Semua Koleksi
Fiksi
Laporan Magang Kerja Industri
Laporan MBKM
Laporan Tugas Akhir
Modul
Monograf
Novel
Paper/Jurnal
Penelitian
Pengabdian Kepada Masyarakat
Perpustakaan Luar
Proposal Tugas Akhir
Reference
Textbook
Lokasi
Semua Lokasi
Koleksi Online
Perpustakaan Lantai 2
Perpustakaan Lantai 3
GMD
Semua GMD/Media
CD
Kaset
Text