Theoretical aspects of computing : ICTAC 2004 Lecture notes in computer science ; Vol. 3407

Liu, Zhiming and Keijiro Araki:

ISBN 10: 3540253041 / ISBN 13: 9783540253044

Edité par Berlin ; Heidelberg ; New York : Springer, 2005

A propos de cet article

XIV, 562 S. : graph. Darst. ; Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 865.

N° de réf. du vendeur 2172451

Détails bibliographiques

• Titre: Theoretical aspects of computing : ICTAC 2004 Lecture notes in computer science ; Vol. 3407
• Éditeur: Berlin ; Heidelberg ; New York : Springer
• Date de parution: 2005
• Langue: anglais
• ISBN à 10 chiffres: 3540253041
• ISBN à 13 chiffres: 9783540253044
• Reliure: Broschiert
• État de l'article: Gut
• Catalogues du vendeur:
  • 90 Varia

A propos de ce titre

Synopsis

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.