Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Int c
Collection Type	Indeks Artikel LNCS
Title	A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213
Author	Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Int c		TERSEDIA

Tidak ada review pada koleksi ini: 38823

Tidak ada abstrak pada koleksi ini

Latest Collection

A Comparison Of High-Availability Media Recovery Techniques (98-109)

Type: Indeks Artikel prosiding/Sem

Chart Patterns Extraction and Recognition In CBR System for Financial Forecasting (227-232)

Type: Indeks Artikel prosiding/Sem

An Intelligent Appointment System Using The Hybrid Of Data Base and Neural Network (221-226)

Type: Indeks Artikel prosiding/Sem

k-propagated Self-Organizing Maps (215-220)

Type: Indeks Artikel prosiding/Sem

A Lipreading System For Japanese Language Based on The Hypercolumn Neural Network (209-214)

Type: Indeks Artikel prosiding/Sem

Extending Relational Database with Deferred Referential Integrity Checking and Intelligent Joins (88-97)

Type: Indeks Artikel prosiding/Sem

Analysis of Complex Systems by Teacher-forced Information Theoretic Competitive Learning (203-208)

Type: Indeks Artikel prosiding/Sem

Incorporating Hierarchy in a Relational Model of Data (78-87)

Type: Indeks Artikel prosiding/Sem

Clustering Analysis Using A Self-Organized Network Inspired By Immune Algorithm (197-202)

Type: Indeks Artikel prosiding/Sem

Processing Aggregate Relational Queries with Hard Time Constraints (68-77)

Type: Indeks Artikel prosiding/Sem

Favorite