Advances in Computing Science - ASIAN'99
Download or Read eBook Advances in Computing Science - ASIAN'99 PDF written by P.S. Thiagarajan and published by Springer. This book was released on 2003-07-31 with total page 408 pages. Available in PDF, EPUB and Kindle.
Author | : P.S. Thiagarajan |
Publisher | : Springer |
Total Pages | : 408 |
Release | : 2003-07-31 |
ISBN-10 | : 9783540466741 |
ISBN-13 | : 3540466746 |
Rating | : 4/5 (41 Downloads) |
Book Synopsis Advances in Computing Science - ASIAN'99 by : P.S. Thiagarajan
Book excerpt: 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.