Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Informasi Umum Stock File Digital Member Review Table of Content Abstract

Find Similar Add to Favorite

Tipe Koleksi Indeks Artikel Jurnal
Nama Jurnal ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY
Volume [14(2005): 4]
Judul Artikel Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526
Penulis
Penerbit Jurnal New York: The Association for Computing Machinery
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
TERSEDIA
Tidak ada review pada koleksi ini: 13437
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
Login
Advanced Search