Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004.62 Sec
Collection Type	Indeks Artikel LNCS
Title	Automatically proving termination where simplification orderings fail (LNCS- Lecture Notes in Computer Science 1214), Hal. 269-284
Author	Thomas Arts; Jurgen Giensi;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004.62 Sec		TERSEDIA

Tidak ada review pada koleksi ini: 39169

Tidak ada abstrak pada koleksi ini

Latest Collection

Strategi Migrasi Sistem Lawas Genting dengan Arsitektur Monolitik ke Microservices: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

IT Infrastructure architecture: infrastructure building blocks and concepts, 4 Edt

Type: Buku

Evaluasi Tingkat Kematangan Adopsi Devops: Studi Kasus Badan Pusat Statistik

Type: Karya Akhir (KA)

REKOMENDASI PENEMPATAN PEGAWAI MENGGUNAKAN ALGORITMA SUPERVISED MACHINE LEARNING DAN RULE-BASED EXPERTS: STUDI KASUS INSTANSI PENDIDIKAN

Type: Karya Akhir (KA)

Evaluasi Usability dan Rekomendasi Desain Antarmuka Perbaikan Antarmuka Permata Karir: Studi Kasus PT Bank Permata Tbk

Type: Karya Akhir (KA)

Pengukuran Tingkat Kesadaran Pegawai terhadap Keamanan Informasi: Studi Kasus Badan Kepegawaian Negara

Type: Karya Akhir (KA)

Faktor-Faktor Yang Memengaruhi Implementasi Satu Data Di Pemerintahan Kota Depok

Type: Karya Akhir (KA)

Evaluasi Usability & Rekomendasi Perbaikan Desain Antarmuka Sistem Self-Service dalam Penyelesaian Kendala Pelanggan E-commerce

Type: Karya Akhir (KA)

Optimasi Penentuan Target Pemeriksaan Pelanggan Anomali Studi Kasus Perusahaan Tenaga Listrik

Type: Karya Akhir (KA)

Evaluasi Penggunaan dan Rekomendasi Perbaikan Omnichannel Management System pada PT Paragon Technology and Innovation

Type: Karya Akhir (KA)

Favorite