Algorithms, Concurrency and Knowledge [electronic resource] : 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 come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
Subjects: | Computer science., Software engineering., Computers., Algorithms., Artificial intelligence., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Artificial Intelligence (incl. Robotics)., Algorithm Analysis and Problem Complexity., |
Online Access: | http://dx.doi.org/10.1007/3-540-60688-2 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | 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 come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases. |
---|