Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004.33 Mal h
Collection Type	Indeks Artikel LNCS
Title	Data-structures for the verification of timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 346-360
Author	Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004.33 Mal h		TERSEDIA

Tidak ada review pada koleksi ini: 38757

Tidak ada abstrak pada koleksi ini

Latest Collection

Strategic pricing Using Genetic Algorithm (280-285)

Type: Indeks Artikel prosiding/Sem

Time Domain Based Web Usage Mining (273-279)

Type: Indeks Artikel prosiding/Sem

A Web-Based Course Scheduler Integrated With Effective Heuristics and Genetic Algorithm Technique (267-272)

Type: Indeks Artikel prosiding/Sem

On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (147-158)

Type: Indeks Artikel prosiding/Sem

A Matrix Interface For A Web Search System (263-266)

Type: Indeks Artikel prosiding/Sem

Improving The Classification Ablility of Neural Networks Using Exponential Smearing On Clustered Data (257-262)

Type: Indeks Artikel prosiding/Sem

F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146)

Type: Indeks Artikel prosiding/Sem

Advances In Applying Stochastic-Dominance Relationships To Bounding Probability Distributions In Bayesian Networks (251-256)

Type: Indeks Artikel prosiding/Sem

Parallelism and Concurrency Control Performance in Distributed Database Machines (122-133)

Type: Indeks Artikel prosiding/Sem

Principle Component Decomposition For Automatic Context Induction (243-250)

Type: Indeks Artikel prosiding/Sem

Favorite