Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Paperback, 2005 ed.)

This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20 24 September 2004. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). Its aim is to bring together pr- titioners and researchers from academia, industry, and government to present research results, and exchange experience, ideas, and solutions for their pr- lems in theoretical aspects of computing. The geographic focus of the ICTAC events is on developing countries to help to strengthen them in their research, teaching, and development in computer science and engineering, to encourage research cooperation among developing countries, and to improve the links - tween developing countries and industrial countries. The Program Committee of ICTAC 2004 received 111 submissions from over 30 countries and regions. Each paper was reviewed, mostly by at least three r- ereesworkinginrelevant?elds, butbytwoinafewcases.Borderlinepaperswere further discussed during an online meeting of the Program Committee. Thir- fourpaperswereacceptedbasedonoriginality, technicalsoundness, presentation andrelevancetosoftwareengineeringandformalmethods.Wesincerelythankall the authors who submitted their work for consideration. We thank the Program Committee members and the other referees for their great e?ort and professional workinthereviewingandselectingprocess.Theirnamesarelistedonthefoll- ing pages. In addition to the contributed papers, the proceedings also includes contributions from the invited speakers: Jos e Luiz Fiadeiro, He Jifeng, Huimin Lin and Rustan Leino."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 3407
Release date:	March 2005
First published:	2005
Editors:	Zhiming Liu • Keijiro Araki
Dimensions:	235 x 155 x 30mm (L x W x T)
Format:	Paperback
Pages:	566
Edition:	2005 ed.
ISBN-13:	978-3-540-25304-4
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General
LSN:	3-540-25304-1
Barcode:	9783540253044

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!