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

Analisis Faktor yang Memengaruhi Adopsi Aplikasi Mobile Diet Sehat pada Kelompok Usia Dewasa

Type: Karya Akhir (KA)

Evaluasi Tingkat Kematangan Dan Penyusunan Rekomendasi Tata Kelola Teknologi Informasi Dengan COBIT 2019: Studi Kasus UKMC Palembang

Type: Karya Akhir (KA)

Prediksi Persediaan Barang Berdasarkan Data Penjualan Dan Data Pembelian Menggunakan Machine Learning

Type: Karya Akhir (KA)

Analisis Tingkat Kesiapan Implementasi Manajemen Pengetahuan: Studi Kasus Sekolah Tinggi Meteorologi Klimtologi Dan Geofisika

Type: Karya Akhir (KA)

Evaluasi Implementasi Scrum Menggunakan Maturity Model Berbasis Scrum Body of Knowledge: Studi Kasus Pengembangan Mobile Banking di Bank XYZ

Type: Karya Akhir (KA)

Perancangan Model Pengukuran Tingkat Kesiapan Implementasi Manajemen Pengetahuan Pada Tim Tanggap Insiden Siber Nasional

Type: Karya Akhir (KA)

Analisis Sentimen dan Pemodelan Topik dalam Pemanfaatan Generative AI pada Pendidikan di Indonesia

Type: Karya Akhir (KA)

ANALISIS TINGKAT KESIAPAN PENERAPAN MANAJEMEN PENGETAHUAN: STUDI KASUS INSTITUT PEMERINTAHAN DALAM NEGERI

Type: Karya Akhir (KA)

Perencanaan Strategis Sistem Informasi: Studi Kasus Deputi Bidang Ekonomi Digital dan Produk Kreatif

Type: Karya Akhir (KA)

Analisis Faktor-Faktor Yang Memengaruhi Loyalitas Pengguna Terhadap Aplikasi Uang Elektronik XYZ

Type: Karya Akhir (KA)

Favorite