Home
Search
Katalog & Koleksi
Katalog
Informasi
Cara Akses dan Download eBook
Turnitin FeedBack Studio: Panduan Cepat untuk Akun Instruktur
Pemilihan Jurnal untuk Publikasi Ilmiah
Akses Eikon Refinitiv
Tata Cara Approval Laporan Magang & KP
Tata Cara Upload Laporan Magang & KP
Fitur Mobile App: Layanan Book Delivery
Peraturan Tel-U Open Library
Sumber Daya Informasi Pendukung Kegiatan Penelitian
Surat Bebas Kewajiban Perpustakaan (SBKP)
Tentang Kami
Tahun Terbit
Koleksi
Reset
Judul
No. Katalog
Barcode
Unit
Jenis
Buku - Circulation (Dapat Dipinjam)
Buku - Reference (Hanya Baca di Tempat)
Buku - Restricted Use (Khusus Untuk Dosen)
Karya Ilmiah - Skripsi (S1) - Reference
Karya Ilmiah - Thesis (S2) - Reference
Karya Ilmiah - TA (D3) - Reference
Laporan Magang - Reference
Artikel - Restricted Use
Case Studies
Teaching Note - Restricted Use
Majalah - Reference
CD - Reference
DVD - Reference
Kaset - Reference
Buku - Elektronik (E-Book)
Disertasi - Reference
Research Report - Reference
E-Article
Proceeding ( Electronic )
Proceeding
Bahan Ajar
Bahan Ajar - Hardcopy
Buku Rekreatif - Circulation
Case Study Mahasiswa
Buku Softskill - Circulation
Buku History Of Indonesia - Reference
Jurnal Nasional - Reference
Jurnal Terakreditasi DIKTI - Reference
Jurnal Internasional - Reference
Majalah Ilmiah - Reference
Majalah Populer - Reference
e-Article Paper Review
Modul Praktikum ( Electronic )
Modul Praktikum
e-Laporan Seminar/Pelatihan/Workshop TPA
E- Article Staf
Sharing Knowledge Material
e - Article Journal
VCD-Reference
VCD-Reference
Buku - Circulation (BI Corner)
Workshop
Seminar
Buku - Elektronik (E-Book) Restricted
Buku Abdimas
skripsi
Buku yang Diterbitkan
Buku yang Tidak Diterbitkan
Buku yang Diterbitkan Internasional
Menterjemahkan Buku yang Diterbitkan
Menyunting Buku yang Diterbitkan
Buku - Elektronik (E-Book) Kindle
Buku Referensi
Buku Bahan Ajar
Buku - Elektronik (E-Book) Tel-U Press
Buku - LAC
ePoster
Institutional Content
Majalah Bundling
Majalah Bundling-Reference
Karya Ilmiah - Disertasi (S3) - Reference
Digital Knowledge Institution
Lokasi
Tel-U Gedung FKB Lantai 4
Tel-U Kampus Geger Kalong
Tel-U Kampus Setiabudi
Tel-U Gedung FKB Lantai 4 (Dalam)
Tel-U Gedung FIT Lantai 1
Tel-U Gedung FIK Lantai 4
Tel-U Gedung FIT Lantai 1 (Dalam)
Tel-U Gedung LC Lantai 3
Tel-U Gedung Manterawu Lantai 5
Tel-U Jakarta - Kampus A
Tel-U Jakarta - Kampus B
Tel-U Surabaya
Tel-U TOSS
Tel-U Jakarta - Kampus C
Tel-U Purwokerto
Kondisi
Tersedia
Dipinjam
Rusak
Hilang
Expired
Hilang Diganti
Sedang Diproses
Cadangan
Weeding
Barcode
Katalog
Unit
Penerimaan
Kondisi
Actions
1 result
24.21.1420-1
Concise Guide to Software Verification: From Model Checking to Annotation Checking
24.21.1420 – Marieke Huisman, Anton Wijs
Klasifikasi 005.1 – Buku - Elektronik (E-Book) (Non-Sirkulasi)
Lokasi Tel-U Gedung Manterawu Lantai 5
31
Beli
Tersedia