Online Public Access Catalog
PERPUSTAKAAN INSTITUT SAINS DAN BISNIS ATMA LUHUR PANGKALPINANG
Tampung
Login
Registrasi
Cari
Browse
Judul
Pengarang
Penerbitan
Subyek
Nomor Panggil
ISBN
ISSN
ISMN
Sembarang
Monograf
Terbitan Berkala
Skripsi
Tesis
Bahan Grafis
Rekaman Video
Musik
Bahan Kartografis
Bahan Campuran
Sumber Elektronik
Rekaman Suara
Film
Bentuk Mikro
Manuskrip
Bahan Ephemeral
Semua Bahan
Pencarian lanjut
-
Riwayat Pencarian
-
Bantuan
×
Bantuan
Pencarian sederhana adalah pencarian koleksi dengan menggunakan hanya satu kriteria pencarian saja.
Ketikkan kata kunci pencarian, misalnya : " Sosial kemasyarakatan "
Pilih ruas yang dicari, misalnya : " Judul " .
Pilih jenis koleksi misalnya " Monograf(buku) ", atau biarkan pada pilihan " Semua Jenis Bahan "
Klik tombol "Cari" atau tekan tombol Enter pada keyboard
Home
Pencarian Sederhana
Programming
Menampilkan
1 - 1
dari
1
hasil (0.64145684242249 detik)
Pilih semua
1
Logic In Computer Science : Modelling and Reasoning about Systems
Jenis Bahan
Sumber Elektronik [Teks,Sumber sambung jaring]
Pengarang
Michael Huth (Pengarang)
Mark Ryan (Pengarang)
Penerbitan
Cambridge : Cambridge University Press, 2004
Konten Digital
pdf
Ketersediaan
0 dari 0 ekslempar
Nomor Panggil
-
Artikel
Tidak ada data
1