Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-281
Collection Type	Indeks Artikel prosiding/Sem
Title	A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62
Author	Robert R. Schneck; George C. Necula;
Publisher	Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-281		TERSEDIA

Tidak ada review pada koleksi ini: 36706

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