Cover Image

Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

"This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers c...

Full description

Bibliographic Details
Corporate Authors: Asian Computing Science Conference Pathumthani, Thailand, SpringerLink (Online service)
Other Authors: Kanchanasut, Kanchana, 1951-, Lévy, Jean-Jacques, 1947-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1995]
Series:Lecture notes in computer science ; 1023.
Subjects:
Computer algorithms > Congresses.
Parallel processing (Electronic computers) > Congresses.
Knowledge representation (Information theory) > Congresses.
vérification.
spécification.
concurrence.
langage programmation.
représentation connaissance.
algorithme.
Algorithmes > Congrès.
Fonctionnement multitâche > Congrès.
Représentation des connaissances > Congrès.
Computer algorithms.
Knowledge representation (Information theory)
Parallel processing (Electronic computers)
Algoritmen.
Complexiteit.
Parallélisme (informatique) > Congrès.
Electronic books.
Electronic resources (Books)
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A43 A85 1995
 
Call Number Status Get It
QA76.9.A43 A85 1995 Available