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

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)

Analisis Faktor-faktor yang Memengaruhi Praktik Knowledge Sharing dan Dampaknya Terhadap Kemampuan Inovasi Perusahaan: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

PT XYZ-Pengembangan Aplikasi Mobile untuk Platform Android

Type: Kerja Praktek (KP)

Transformasi Arsitektur Aplikasi Accounting System Berbasis Arsitektur Cloud-Native Menggunakan Pendekatan Model Driven: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

Pembuatan Real Time Monitoring Dashboard untuk OCBC NISP

Type: Kerja Praktek (KP)

Favorite