Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.133 Bee P
Collection Type	Indeks Artikel LNCS
Title	Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414
Author	Chu Min Li; Felip Manya; Jordi Planes;
Publisher	Springer, 2005
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.133 Bee P		TERSEDIA

Tidak ada review pada koleksi ini: 38392

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisi Faktor yang Mememengaruhi Niat Beralih Pengguna Langganan Aplikasi Weverse dari Gratis ke Berbayar dengan Pendekatan Push-Pull-Mooring

Type: Skripsi

Iterative Redesign and Usebility Testing of my First Media Self-Service: Applying Nielsen's Poisson Model to Identify Usability Problems

Type: Skripsi

Software System Engineering Internship di PT.Cisco System Indonesia

Type: Kerja Praktek (KP)

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)

Favorite