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 2007
4TH INTERNATIONAL COLLOQUIUM, MACAU, CHINA, SEPTEMBER 26-28, 2007, PROCEEDINGS
By: Cliff B. Jones (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor)
Format: Paperback

List price: £79.99


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

ISBN 10: 3540752900
ISBN 13: 9783540752905
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 12 September, 2007
Series: Lecture Notes in Computer Science / Theoretical Computer Science and General v. 4711
Pages: 497
Description: Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. This book includes papers together with 3 invited talks and summaries of 2 tutorials that are reviewed and selected from 69 submissions.
Synopsis: This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
5TH REFINEMENT WORKSHOP (PB)
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (PB)
BIOREACTORS (HB)
CASE STUDIES SYSTEM SOFTWARE DEVELOPMT (PB)
COMMUNICATING SEQUENTIAL PROCESSES (PB)
DEPENDABLE AND HISTORIC COMPUTING (PB)
DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS (PB)
DOMAIN MODELING AND THE DURATION CALCULUS
ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (PB)
ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (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)
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS (PB)
FOUNDATIONS OF HEALTH INFORMATICS ENGINEERING AND SYSTEMS (PB)
MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS (HB)
METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE (PB)
MILLENNIAL PERSPECTIVES IN COMPUTER SCIENCE (HB)
OBJECT ORIENTATION WITH PARALLELISM AND PERSISTENCE (PB)
REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING (PB)
REFLECTIONS ON THE WORK OF C.A.R. HOARE (HB)
REFLECTIONS ON THE WORK OF C.A.R. HOARE (PB)
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004 (PB)
THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2013 (PB)
THEORIES OF PROGRAMMING AND FORMAL METHODS (PB)
UNDERSTANDING PROGRAMMING LANGUAGES
UNDERSTANDING PROGRAMMING LANGUAGES (HB)
UNIFYING THEORIES OF PROGRAMMING AND FORMAL ENGINEERING METHODS (PB)
VERIFIED SOFTWARE (PB)
VERIFIED SOFTWARE - THEORIES, TOOLS, EXPERIMENTS (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
Innovators (Paperback)
Simon & Schuster Ltd
Our Price : £8.02
more details
The Most Human Human (Paperback)
Penguin Books Ltd
Our Price : £8.02
more details
Algorithms to Live By (Paperback)
HarperCollins Publishers
Our Price : £8.02
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