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 :
"Chistel Baier"
Permintaan membutuhkan
0,00037
detik untuk selesai
XML Result
JSON Result
Saran
Ilmu Falak dalam Teori dan Praktik
Muhyiddin Khazin
Intisasi: Membangun Manusia Indonesia: Kumpulan Pidato Aburizal Bakrie
Lalu Mara Satria Wangsa
Hadis tentang Taubat dari Suatu Dosa tetapi Masih Melakukan Dosa yang Lain : (Studi Ma'anil Hadis)
Muhammad Huda
The Environmental Policy Paradox
Zachary A. Smith
Partai dan Pemilih: Kasus Pemilu Era Multipartai 1999, 2004 dan 2009 di Malang Raya Jawa Timur
Asep Nurjaman
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
Modul - Pembelajaran
Modul - Praktikum
NU Corner
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