pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004
FIRST INTERNATIONAL COLLOQUIUM, GUIYANG, CHINA, SEPTEMBER 20-24, 2004, REVISED SELECTED PAPERS
By: Zhiming Liu (Editor), Keijiro Araki (Editor)
Format: Paperback

List price: £94.50


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540253041
ISBN 13: 9783540253044
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 8 March, 2005
Edition: 2005 ed.
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General v.3407
Pages: 580
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.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (PB)
BIOREACTORS (HB)
DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS (PB)
DOMAIN MODELING AND THE DURATION CALCULUS
ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (PB)
ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (PB)
FME 2003 (PB)
FORMAL ASPECTS OF COMPONENT SOFTWARE (PB)
FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS (PB)
FORMAL METHODS AND SOFTWARE ENGINEERING (PB)
FORMAL METHODS AND SOFTWARE ENGINEERING (PB)
FOUNDATIONS OF HEALTH INFORMATICS ENGINEERING AND SYSTEMS (PB)
INTEGRATED FORMAL METHODS (PB)
MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS (HB)
RIMS SYMPOSIUM ON SOFTWARE SCIENCE AND ENGINEERING (PB)
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007 (PB)
THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2013 (PB)
THEORIES OF PROGRAMMING AND FORMAL METHODS (PB)
UNIFYING THEORIES OF PROGRAMMING AND FORMAL ENGINEERING METHODS (PB)

TOP SELLERS IN THIS CATEGORY
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
Quantum Computation and Quantum Information (Hardback)
Cambridge University Press
Our Price : £53.99
more details
Algorithms to Live By (Paperback)
HarperCollins Publishers
Our Price : £8.02
more details
AQA AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket