Lompat ke konten
Perpustakaan Pusat
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
    • Indonesia Indonesia
    • English English
Perpustakaan Pusat > Proceeding > Direct Link

Type: Direct Link

Proceedings International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications

Proceedings 1st International Workshop on Strategic Reasoning

Proceedings Eighth Workshop on Model-Based Testing

Proceedings 7th International Workshop on Computing with Terms and Graphs

Navigasi pos

Pos-pos lama
Pos-pos baru

Pos-pos Terbaru

  • Sistem ini Bikin Catatanmu Lebih Mudah dipahami!
  • Anjangsana SMA Kristen Filadelfia ke Perpustakaan Universitas Kristen Maranatha
  • Apakah Wikipedia adalah Sumber yang bisa Kita Percaya?
  • Jadi Tahu dan Lebih Paham melalui Kelas Literasi: Penggunaan Aplikasi MyLOFT dan Turnitin Draft Coach
  • Gimana, sih, Caranya Membaca dan Mencari Nomor Panggil Buku? 

Kategori

  • Akademik
  • Uncategorized
PerpustakaanPusat
Universitas Kristen Maranatha
Grha Widya Maranatha (GWM), Lantai 6 & 7
Jl. Prof. drg. Surya Sumantri No. 65
Bandung - 40164, Jawa Barat, Indonesia
+62 22 - 201 2186 | 200 3450, ext. 7063
library@maranatha.edu
  • Tentang Kami
    • Profil
    • Layanan
    • Visi & Misi
    • Struktur Organisasi
    • Kontak
  • Koleksi Digital
    • Jurnal
    • E-Book
    • Prosiding
  • Agenda & Berita
    • Agenda
    • Berita
  • Lainnya
    • Panduan
    • Kerja Sama
© 2025 Universitas Kristen Maranatha
Connect with us:
  • Facebook
  • Instagram
  • Whatsapp
  • Staff
  • Staff Magang Perpustakaan
  • Open Access E-Book
  • Slide Anything Popup Preview