UPT Perpustakaan UNS
Open Source Library Management System
Menu
Beranda
Warta Perpustakaan
Info Perpustakaan
Lokasi Perpustakaan
Area Anggota
Metadata Export
Klasifikasi Desimal Dewey
Aktivasi Mandiri
Pustakawan
Bantuan pencarian
MASUK Pustakawan
Tentang SLiMS
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
Koleksi
Cari
Pencarian Spesifik
Abstraction, Refinement and Proof for Probabilistic Systems
McIver, Annabelle. - Morgan, Charles Carroll.
Detail Cantuman
Sitasi
Bagikan:
Hasil Pencarian
Ditemukan
1
dari pencarian Anda melalui kata kunci:
author="Morgan, Charles Carrol...
Permintaan membutuhkan
3.32915
detik untuk selesai
XML Result
JSON Result
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog
Pencarian Spesifik
Judul
Pengarang
Subjek
ISBN/ISSN
Tipe Koleksi
Semua Koleksi
Artikel
BI Corner
Buku
CR
Difabel
Disertasi
DUTCH
Jawa
Koleksi Aussie Banget Corner
Koleksi China Center
Koleksi E Book
Koleksi Jepang
Koleksi Lama
Koleksi SNI
Lap. Kegiatan
Lap. Penelt. Dosen
Laporan Kerja Praktek
Majalah
Reference
REP
Skripsi
SNI Corner
TA
Textbook
Thesis
Tinjauan Buku
Lokasi
Semua Lokasi
00
008
009
01
010
012
013
014
015
016
017
018
019
02
021
022
023
024
026
027
028
029
031
032
033
034
035
036
037
038
111
117
14
147
B.1
B.10
B.4
B.8
B.9
B2.1
B2.2
B2.3
Buku Umum Lantai 1
Disertasi
F1.1
F1.11
F1.12
F1.13
F1.2
F1.4
F1.5
F1.8
F1.9
FKOR UNS
Gedung Baru Lantai 3 (Koleksi Belanda)
Gedung Baru Lantai 3 (Koleksi Jawa)
Gedung Baru Lantai 3 (Koleksi Lama)
Gedung Baru Lantai 4 (500)
Gedung Baru Lantai 4 (China Center)
Gedung Baru Lantai 5 (600)
Gedung Baru Lantai 6 (700, 800, 900)
Gedung Lama Lantai 1 Timur (SNI Corner)
Gedung Lama Lantai 1 Timur 000
Gedung Lama Lantai 1 Timur 100
Gedung Lama Lantai 1 Timur 200
Gedung Lama Lantai 1 Timur 300
Gedung Lama Lantai 1 Timur 310
Gedung Lama Lantai 1 Timur 320
Gedung Lama Lantai 1 Timur 330
Gedung Lama Lantai 2 Timur (CR)
Gedung Lama Lantai 2 Timur 340
Gedung Lama Lantai 2 Timur 350
Gedung Lama Lantai 2 Timur 360
Gedung Lama Lantai 2 Timur 370
Gedung Lama Lantai 2 Timur 380
Gedung Lama Lantai 2 Timur 390
Gedung Lama Lantai 2 Timur 400
Gedung Lama Lantai 2 Utara [R. Baca Skripsi, Thesis, Disertasi, Laporan Penelitian]
Gudang Koleksi 000-339
Gudang Lantai 2
Gudang Lantai 3
Gudang Lantai 4
Gudang Lantai 5
Gudang Lantai 6
Gudang Lt 2 buku non data
Gudang lt. 2 Buku Masuk Data
Gudang lt. 5 (600)
K1.10
K1.2
K1.3
K1.5
K1.6
Ked
KK
Koleksi 000-339
Koleksi E Book
Koleksi hibah dari Jepang
Lantai 1 (BI Corner)
Lantai 1 barat
Lantai 1 sebelah barat
Lantai 1 Timur koleksi 000
Lantai 1 Utara - Tengah (Referensi)
lantai 2 gedung lama utara
Lantai 2 Utara
Lantai 3 ( Karya UNS )
Lantai 3 ( Perbaikan )
Lantai 4 Aussie Banget Corner
Lantai I Utara
Lantai I Utara Bag. Tengah (Referensi, Rep.)
Lantai II Barat (Skripsi, Tesis, Disertasi)
Lantai II Timur
Lantai II Timur Bag. Utara
Laporan KM
Lobby Ruang Difabel Corner
M2.4
M2.6
Pemrosesan Bahan Pustaka
Perpustakaan PGSD Kebumen
PKL
PKL Kimia
PKL MI
PKL TI
PKLTI(S1)
Program Pasca sarjana
PTK
R. Majalah
RA
Rak Display 1
RB
RD
ref
RR
Ruang Baca PGSD Kleco
Ruang Baca Sekolah Vokasi Madiun
RUANG INTERNET
Ruang Kepala
Ruang Koleksi Difabel Corner
Ruang Pemrosesan Koleksi
Ruang Pengolahan
Rusak
SIR
sirkulasi
SNI Corner
TE
GMD
Semua GMD/Media
[electronic resource].
Art Original
Artikel
Buku
Cartographic Material
CD-ROM
CD/Disket
Chart
Computer File
Computer Software
Digital Versatile Disc
Dinamika
Diorama
Disertasi
E Book
electronic
Electronic Resource
Equipment
Filmstrip
Flash Card
Game
Globe
Kit
Lap. Kegiatan
Lap. Penelt. Dosen
Majalah
Manuscript
Map
Microform
Microscope Slide
Model
Motion Picture
Multimedia
Music
Opini
Penelitian
Peta
Picture
print
Realia
REP
Skripsi
Slide
Sound Recording
TA
Tahukah Anda
Technical Drawing
Text
Thesis
Tinjauan Buku
Cari
