
Gifting Made Simple
Give the Gift of ChoiceClick below to purchase a Bramalea City Centre eGift Card that can be used at participating retailers at Bramalea City Centre.Purchase HereHome
Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings
Coles
Loading Inventory...
Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings in Brampton, ON
By None
Current price: $71.50

Coles
Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings in Brampton, ON
By None
Current price: $71.50
Loading Inventory...
Size: Paperback
*Product information and pricing may vary - to confirm current pricing, availability, shipping, and return information please contact Coles. In the event of a pricing discrepancy, the retailer's price will apply.
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.
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.





















