Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF

Author: P.S. Thiagarajan

Publisher: Springer

Published: 2003-07-31

Total Pages: 408

ISBN-13: 3540466746

DOWNLOAD EBOOK →

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.

Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99 PDF

Author: P.S. Thiagarajan

Publisher: Springer

Published: 1999-11-29

Total Pages: 408

ISBN-13: 9783540668565

DOWNLOAD EBOOK →

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.

Advances in Computing Science - ASIAN 2000

Advances in Computing Science - ASIAN 2000 PDF

Author: Jifeng He

Publisher: Springer Science & Business Media

Published: 2000-12-13

Total Pages: 309

ISBN-13: 3540414282

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 6th Asian Computing Science Conference, ASIAN 2000, held in Penang, Malaysia in November 2000. The 18 revised full papers presented were carefully reviewed and selected from a total of 61 submissions. The papers presented cover various topics in computer science and its applications, with a certain focus on networking and network performance and on programming logics and program semantics.

Advances in Computing Science - ASIAN'97

Advances in Computing Science - ASIAN'97 PDF

Author: R.K. Shyamasundar

Publisher: Springer

Published: 1997-11-19

Total Pages: 394

ISBN-13: 9783540638759

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.

Lanterna Rally - Theme by Grace Themes