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	Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6
Author	Roger B. Hughes;
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: 38804

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