Home
Search
Katalog & Koleksi
Katalog
Informasi
Pemilihan Jurnal untuk Publikasi Ilmiah
Peraturan Tel-U Open Library
Sumber Daya Informasi Pendukung Kegiatan Penelitian
Surat Bebas Kewajiban Perpustakaan (SBKP)
Layanan Assistive Technology
Fasilitas Cek Similarity, iThenticate dan Turnitin
Cara Akses Scopus
Standar Layanan Open Library
Cara Akses Koleksi Electronic Book Open Library
Layanan Document Delivery Service
Tentang Kami
Tahun Terbit
Koleksi
Reset
Judul
No. Katalog
Barcode
Unit
D3 Manajemen Pemasaran
D3 Perhotelan
D3 Rekayasa Perangkat Lunak Aplikasi
D3 Sistem Informasi
D3 Sistem Informasi Akuntansi
D3 Teknologi Komputer
D3 Teknologi Telekomunikasi
D4 Teknologi Rekayasa Multimedia
S1 Administrasi Bisnis
S1 Administrasi Bisnis (international Class)
S1 Administrasi Bisnis - Pindahan
S1 Akuntansi
S1 Akuntansi - Pindahan
S1 Desain Interior
S1 Desain Komunikasi Visual
S1 Desain Komunikasi Visual (international Class)
S1 Desain Produk
S1 Digital Public Relations
S1 Rekayasa Perangkat Lunak
S1 Ilmu Komunikasi
S1 Ilmu Komunikasi (international Class)
S1 Informatika
S1 Informatika (international Class)
S1 Informatika - Pindahan
S1 International Ict Business
S1 Kriya
S1 Manajemen (manajemen Bisnis Telekomunikasi & Informatika)
S1 Seni Rupa
S1 Sistem Informasi
S1 Sistem Informasi (international Class)
S2 Desain
S1 Teknik Biomedis
S1 Teknik Elektro (international Class)
S1 Teknik Fisika
S1 Teknik Industri
S1 Teknik Industri (international Class)
S1 Teknik Komputer
S1 Teknik Komputer - Pindahan
S1 Teknik Logistik
S1 Teknik Telekomunikasi
S1 Teknik Telekomunikasi (international Class)
S1 Teknik Telekomunikasi - Pindahan
S1 Teknologi Informasi
S2 Informatika
S2 Manajemen
S2 Teknik Elektro
S2 Teknik Industri
S3 Informatika
S1 Teknik Elektro
S1 Data Sains
S2 Ilmu Forensik
S2 Manajemen Pjj
S1 Informatika Pjj
S2 Sistem Informasi
S2 Ilmu Komunikasi
S2 Administrasi Bisnis
S1 Teknik Sistem Energi
S1 Penyiaran Konten Digital
S1 Manajemen Bisnis Rekreasi
S1 Sistem Informasi - Pindahan
S1 Akuntansi (international Class)
S1 Sistem Informasi - Kampus Jakarta
S1 Desain Komunikasi Visual - Kampus Jakarta
D3 Teknik Telekomunikasi - Kampus Jakarta
S1 Teknik Telekomunikasi - Kampus Jakarta
S1 Teknologi Informasi - Kampus Jakarta
S1 Informatika - Kampus Jakarta
S2 Akuntansi
S3 Teknik Elektro
S3 Management
S1 Teknik Komputer - Kampus Surabaya
S1 Teknik Elektro - Kampus Surabaya
S1 Rekayasa Perangkat Lunak - Kampus Surabaya
S1 Teknik Telekomunikasi - Kampus Surabaya
S1 Sistem Informasi - Kampus Surabaya
S1 Teknik Industri - Kampus Surabaya
S1 Teknologi Informasi - Kampus Surabaya
S1 Bisnis Digital - Kampus Surabaya
S1 Informatika - Kampus Surabaya
S1 Data Sains - Kampus Surabaya
S1 Teknik Logistik - Kampus Surabaya
S1 Teknik Telekomunikasi - Jakarta - Pindahan
S1 Teknologi Informasi - Jakarta - Pindahan
S1 Sistem Informasi - Jakarta - Pindahan
D4 Teknologi Rekayasa Multimedia - Pindahan
D4 Sistem Informasi Kota Cerdas
D3 Teknik Telekomunikasi - Kampus Purwokerto
S1 Teknik Informatika - Kampus Purwokerto
S1 Teknik Telekomunikasi - Kampus Purwokerto
S1 Teknik Elektro - Kampus Purwokerto
S1 Teknik Industri - Kampus Purwokerto
S1 Desain Komunikasi Visual - Kampus Purwokerto
S1 Sistem Informasi - Kampus Purwokerto
S1 Rekayasa Perangkat Lunak - Kampus Purwokerto
S1 Bisnis Digital - Kampus Purwokerto
S1 Desain Produk - Kampus Purwokerto
S1 Teknologi Pangan - Kampus Purwokerto
S1 Teknik Logistik - Kampus Purwokerto
S1 Sains Data - Kampus Purwokerto
S1 Teknik Biomedis - Kampus Purwokerto
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
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
Kondisi
Tersedia
Dipinjam
Rusak
Hilang
Expired
Hilang Diganti
Sedang Diproses
Cadangan
Weeding
Barcode
Katalog
Unit
Penerimaan
Kondisi
Actions
1 result
23.21.1602-1
Formal Methods for Software Engineering: Languages, Methods, Application Domains
23.21.1602 – Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Klasifikasi 005.1 – Buku - Elektronik (E-Book) (Non-Sirkulasi)
Lokasi Tel-U Gedung Manterawu Lantai 5
S1 Informatika
Beli
Tersedia