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	PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440
Author	Ricardo Corin; Ari Saptawijaya; Sandro Etalle;
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: 38355

Tidak ada abstrak pada koleksi ini

Latest Collection

Data Transmission System over Residential Power Distribution Network Based On Carrier Current Transceiver (73-77)

Type: Indeks Artikel prosiding/Sem

Riset propagasi Gelombang Radio Di Daerah Jakarta (68-72)

Type: Indeks Artikel prosiding/Sem

Sistem Pengenalan Wajah 3D Menggunakan JSD Cylindrical-Hidden Layer: Domain Spasial dan Ruang Eigennya (90-94)

Type: Indeks Artikel prosiding/Sem

28 GHz Line-Of-Sight Link Propagation Experiment in Surabaya Indonesia (64-67)

Type: Indeks Artikel prosiding/Sem

Sistem Pengenalan Wajah 3D Menggunakan Perhitungan Jarak Terpendek pada Garis Ciri dalam Ruangan Eigen (84-89)

Type: Indeks Artikel prosiding/Sem

3D Radio Wave Propagation Model in Urban Areas (59-64)

Type: Indeks Artikel prosiding/Sem

Aplikasi Algoritma Genetika dalam Pemilihan Parameter Motor Induksi Tiga Phasa Untuk Penghitungan Torsi Transient Pompa Air Bersih (53-58)

Type: Indeks Artikel prosiding/Sem

Rectifier Tiga Fasa 12-Pulsa Dengan Rating k VA Transformator Rendah (49-52)

Type: Indeks Artikel prosiding/Sem

Fair Share Amount, Metode untuk Men-generate Codebook dengan Jumlah Vektor Besar pada Kuantisasi Vektor (79-83)

Type: Indeks Artikel prosiding/Sem

Implementasi Sistem Monitoring dan telecommand untuk Sistem Managemen Energi (EMS) di PENS-ITS (46-48)

Type: Indeks Artikel prosiding/Sem

Favorite