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: ADVANCES IN COMPUTING SCIENCE - ASIAN'98
4TH ASIAN COMPUTING SCIENCE CONFERENCE, MANILA, THE PHILIPPINES, DECEMBER 8-10, 1998, PROCEEDINGS
Volume: v. 1538
By: Jieh Hsiang (Editor), Atsushi Ohori (Editor)
Format: Paperback

List price: £62.99


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

ISBN 10: 3540653880
ISBN 13: 9783540653882
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 23 November, 1998
Edition: 1998 ed.
Series: Lecture Notes in Computer Science 1538
Pages: 324
Synopsis: This volume contains the proceedings of the Fourth Asian Computing Science Conference (ASIAN98), held December 8{10, 1998, in Manila, the Philippines. The previous three ASIAN conferences were also published as Lecture Notes in Computer Science, Volumes 1023 (Bangkok, 1995), 1179 (Singapore, 1996), and 1345 (Kathmandu, 1997). Initiated in 1995 by the Asian Institute of Technology in partnership with INRIAandUNU,the ASIANconferenceseriesaimsatprovidingaforuminAsia fortheexchangeofthemostrecentresearchideasandresultsincomputerscience andinformationtechnology.Whileeachyearfeaturesseveralemphasizedthemes, the 1998 conference focuses on the research areas of (1) formal reasoning and veri cation,(2) programminglanguages,(3) dataand knowledgerepresentation, and (4) networking and Web computing. There were 43 submissions to the conference, out of which 17 were chosen for presentation and inclusion in this proceedings. The papers were submitted fromAustralia,Brazil,China,France,Germany,India,Italy,Japan,Korea,New Zealand, the Philippines, Russia, Singapore, Spain, Switzerland, Taiwan, Th- land, the United Kindom, and the United States of America.The program c- mittee meeting was held virtually over the Internet. The selection was nalized after a fteen-day period of lively discussion. Each paper was carefully reviewed and received at least three reports. In addition to 17 highly selective papers, this year's conference also features a keynotespeechby Jeannette M.Wing (CarnegieMellonUniversity)onFormal Methods:Past,Present,andFuture,twoinvitedtalksbySusumuHayashi(Kobe University) on Testing Proofs by Examples and Claude Kirchner (INRIA) on The RewritingCalculus as a Semantics ofELAN, and two tutorials by Tomasz Janowski(UNU/IIST)onSemanticsandLogicforProvableFault-Tolerance and R.K. Shyamasundar (TIFR) onMobile Computation: Calculus and Languages.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:

TOP SELLERS IN THIS CATEGORY
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
OCR AS and A Level Computer Science (Paperback)
PG Online Limited
Our Price : £32.30
more details
BTEC Nationals Information Technology (Mixed media product)
Pearson Education Limited
Our Price : £29.84
more details
A Gentle Introduction to Effective Computing in Quantitative Research (Hardback)
MIT Press Ltd
Our Price : £38.40
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
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket