Lompat ke konten
Menu
Tentang Kami
Kebijakan Mutu Perpustakaan
Profil
Layanan
Jam Buka Perpustakaan
Tata Tertib Perpustakaan
Staff
Staff Magang Perpustakaan
Kontak
Koleksi
Katalog Koleksi
Jurnal Terakreditasi Nasional
E-Book
Open Access E-Book
Prosiding
Repository
Agenda & News
Agenda
Berita
Guide
Kerja Sama
Link Perpustakaan Lain
Links
SAT
Catalog
Bahasa:
Indonesia
English
Perpustakaan Pusat
>
Proceeding
>
Direct Link
Type: Direct Link
Proceedings 9th International Workshop on Developments in Computational Models
Proceedings 8th International Workshop on Developments in Computational Models
Proceedings Second Workshop on Synthesis
Proceedings Ninth Workshop on Model-Based Testing
Proceedings 15th International Workshop on Verification of Infinite-State Systems
Navigasi pos
Pos-pos lama
Pos-pos baru