Perpustakaan Universitas Nahdlatul Ulama Yogyakarta
Beranda
Informasi
Berita
Bantuan
Pustakawan
Area Anggota
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}}
Principles of Model Checking
Chistel Baier
Joost
Pieter Katoen
Edisi
-
ISBN/ISSN
978-0-262-02649-9
Deskripsi Fisik
975 hlm.; 30 cm.
Judul Seri
-
No. Panggil
RF 003.3 BAI p
Edisi
-
ISBN/ISSN
978-0-262-02649-9
Deskripsi Fisik
975 hlm.; 30 cm.
Judul Seri
-
No. Panggil
RF 003.3 BAI p
Ketersediaan
1
Tambahkan ke dalam keranjang
Tampilkan Detail
Sitasi
Hasil Pencarian
Ditemukan
1
dari pencarian Anda melalui kata kunci:
Pengarang :
"Joost-Pieter Katoen"
Permintaan membutuhkan
0,00045
detik untuk selesai
XML Result
JSON Result
Saran
Anak Saleh dalam Asuhan Ibu Muslimah
A. Choiran Marzuki
Revitalisasi Peran Ninik Mamak Dalam Pemerintahan Nagari
Betty Sumarty
Panerapan Model Unified Theory of Acceptance and Use of Technology 2 Terhadap Minat dan Perilaku Penggunaan E-Ticket di Yogyakarta
Nia Auliya
Meningkatkan Kinerja Fungsi Legislasi DPRD : Buku 2
Riant Nugroho - Agung Djojosoekarto - Inosentius Samsul - Novianto Murti Hantoro
Demokrasi Seolah-olah Kumpulan Tulisan Gus Dur Tentang Politik & Demokrasi
Abdurrahman Wahid
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
Bahan Buku Ajar
Book Chapter
coll_type_name
Jurnal
Laporan Penelitian
Majalah
Modul - Pembelajaran
Modul - Praktikum
NU Corner
Pojok Gus Dur
Referensi
Sirkulasi
Sirkulasi - Fiksi
Tugas Akhir - Skripsi
Lokasi
Semua Lokasi
location_name
Perpustakaan UNU Yogyakarta
GMD
Semua GMD/Media
Art Original
Cartographic Material
CD-ROM
Chart
Computer File
Computer Software
Depok
Digital Versatile Disc
Diorama
Electronic Resource
Filmstrip
Flash Card
Game
Globe
Kit
Manuscript
Map
Microform
Microscope Slide
Model
Motion Picture
Multimedia
Music
Picture
Realia
Slide
Sound Recording
Text
Video Recording