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
Permintaan membutuhkan
0,00047
detik untuk selesai
XML Result
JSON Result
Saran
Di Puncak Rapsodia: Tempat Tersunyi di Pesantren
Ilham Saenong
Metodologi Penelitian
Elvera - Yesita Astarina
Penyakit - penyakit, Keracunan & Alergi yang Sering Menyerang Orang di Pedesaan & Perkotaan
Adi Heru Sutomo
Cross-Border Mergers and Acquisitions
Scott C. Whitaker
Smart Entrepreneur: Belajar dari Kesuksesan Pengusaha Top Dunia
M. Suyanto
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