Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©1999
|
| Series: | Lecture notes in computer science ;
1742 |
| Subjects: |
| Summary: | This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing |
|---|---|
| Physical Description: | 1 online resource (xi, 395 pages) : illustrations xi, 395 pages : illustrations ; 24 cm Also available via the World Wide Web |
| Bibliography: | Includes bibliographical references and index |
| ISBN: | 3540466746 354066856X 9783540466741 9783540668565 |