Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.133 Gab l
Collection Type	Indeks Artikel LNCS
Title	Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66
Author	S. Baselice; P.A. Bonatti; M. Gelfond;
Publisher	Springer, 2005
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.133 Gab l		TERSEDIA

Tidak ada review pada koleksi ini: 38316

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Model Bisnis dan Fitur Platform Startup Decluttering Barang Second Hand Menggunakan Metode Lean StartUp

Type: Karya Akhir (KA)

Model Pengelolaan Technical Debt Dengan Metode Lean Dan Agile: Studi Kasus Perusahaan Sekuritas PT XYZ

Type: Karya Akhir (KA)

Identifikasi Faktor Penting Untuk Meningkatkan Kualitas TeamWork Menggunakan Kerangka ATWQ: Studi Kasus StartUp Di Indonesia

Type: Karya Akhir (KA)

Tingkat Kematangan Dan Rekomendasi Perbaikan Tata Kelola Teknologi Informasi Berdasarkan Kerangka Kerja COBIT 2019: Studi Kasus Mahkamah Agung Republik Indonesia

Type: Karya Akhir (KA)

Creating Value with Social Media Analytics, Third Edition

Type: Buku

Evaluasi Pelaksanaan Manajemen Proyek Pengembangan Perangkat Lunak Untuk Tim Kecil Dengan Pendekatan CMMI 3.0 Dan Persyaratan Standar ISO 9001:2015

Type: Karya Akhir (KA)

Monetisasi Perangkat Lunak Pengelolaan Event Berbasis Internet: Studi Kasus Natacara

Type: Karya Akhir (KA)

Perancangan Aplikasi Securities Crowdfunding (SCF) untuk Bisnis Makanan dan Minuman : Studi Kasus PT Matajari Mitra Solusi

Type: Skripsi

Analisis Peringkat Faktor Penentu Kesuksesan Proyek Pembaruan Aplikasi SOA Menggunakan Analytic Hierarchy Process (AHP) dan Rekomendasi Perbaikan: Studi Kasus PT Bank XYZ

Type: Karya Akhir (KA)

Kerangka Kerja Transisi dan Adopsi Agile: Studi Kasus Aplikasi Perizinan Online Kementrian ESDM

Type: Karya Akhir (KA)

Favorite