Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-301
Collection Type	Indeks Artikel prosiding/Sem
Title	A Short overview on modern parallel SAT-Solvers, Hal. 201-206
Author	Steffen Holldobler, Norbert Manthey, Van Hau Nguyen, Julian Steckilna, Peter Steinke;
Publisher	ICACSIS'2011: International conference of advanced computer science and information systems, Jakarta, 17th-18th, December 2011
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-301		TERSEDIA

Tidak ada review pada koleksi ini: 36516

Tidak ada abstrak pada koleksi ini

Latest Collection

Deteksi Perubahan Penutup Lahan Berdasarkan Algoritma Wavelet A Troust Dengan Menggunakan Citra SAR (151-157)

Type: Indeks Artikel prosiding/Sem

Evaluation of the Ergonomics Instrumentation As A Cognitive Measuring Instrument In The lighting Prevalence on Workers Response Time (164-168)

Type: Indeks Artikel prosiding/Sem

Bergonomics Improvement of Inside the Tractor Cab: Climatization, Vibration-Proff, Driving Position and Instrumentation Control (161-163)

Type: Indeks Artikel prosiding/Sem

Design and Siulation Neural Network-Based Control Type Regulator fot Antilock Braking System (156-160)

Type: Indeks Artikel prosiding/Sem

Design and simulation of Adaptive Neural Network Fuzzy Inference System (ANFIS) for Continuous Casting Mold Level Control (151-155)

Type: Indeks Artikel prosiding/Sem

Ekstraksi Karakteristik Sidik Jari : Penentuan Posisi Core Dan Delta (147-150)

Type: Indeks Artikel prosiding/Sem

Implementation of Fuzzy Logic Controller for Solar Array Maximum Power Point Tracker Using Inexpensive 8-bit Microcontroller (144-150)

Type: Indeks Artikel prosiding/Sem

Kontrol Gerakan Kamera Mengikuti Gerakan Suatu Obyek (143-146)

Type: Indeks Artikel prosiding/Sem

Rancangan Sistem Pengendalian Debit Dan Suhu Air Pada Budidaya Ikan Patin (139-142)

Type: Indeks Artikel prosiding/Sem

Real-time Vessel Automatic Docking Using Adaptive Fuzzy System-based Controller (139-143)

Type: Indeks Artikel prosiding/Sem

Favorite