Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540253044: Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 149.00
US$ 127.54

Convert currency

Shipping: US$ 10.46
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

ZHIMING LIU
Published by Springer (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2005. Paperback. Condition: NEW. 9783540253044 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0331431

More information about this seller | Contact this seller

Buy New
US$ 127.54
Convert currency

Add to Basket

Shipping: US$ 10.46
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Liu, Zhiming
Published by Springer (2016)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540253044_lsuk

More information about this seller | Contact this seller

Buy New
US$ 133.72
Convert currency

Add to Basket

Shipping: US$ 5.07
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Araki, Keijiro
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2005. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540253044

More information about this seller | Contact this seller

Buy New
US$ 143.65
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

4.

Published by Springer (2008)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2008. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9783540253044

More information about this seller | Contact this seller

Buy New
US$ 145.97
Convert currency

Add to Basket

Shipping: US$ 3.45
From Germany to U.S.A.
Destination, rates & speeds

5.

zhiming (editor) ; araki, keijiro (editor) liu
Published by Springer (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2005. Paperback. Condition: New. 2005. Seller Inventory # DADAX3540253041

More information about this seller | Contact this seller

Buy New
US$ 149.94
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

Zhiming Liu
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2005. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540253044

More information about this seller | Contact this seller

Buy New
US$ 145.10
Convert currency

Add to Basket

Shipping: US$ 11.79
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Published by Springer (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2005. Condition: New. book. Seller Inventory # M3540253041

More information about this seller | Contact this seller

Buy New
US$ 186.34
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

8.

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Paperback Quantity Available: 10
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, 2005. Paperback. Condition: New. 2005 ed.. Language: English. Brand new Book. 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. Seller Inventory # AAV9783540253044

More information about this seller | Contact this seller

Buy New
US$ 205.33
Convert currency

Add to Basket

Shipping: US$ 3.93
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Published by Springer
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Condition: New. 566 pages. Dimensions: 9.2in. x 6.0in. x 1.2in.This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 2024 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- ereesworkinginrelevantelds, 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 eort 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9783540253044

More information about this seller | Contact this seller

Buy New
US$ 216.96
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

10.

Liu, Zhiming (Editor)/ Araki, Keijiro (Editor)
Published by Springer Verlag (2005)
ISBN 10: 3540253041 ISBN 13: 9783540253044
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer Verlag, 2005. Paperback. Condition: Brand New. 1st edition. 562 pages. 6.00x9.25x1.00 inches. In Stock. Seller Inventory # __3540253041

More information about this seller | Contact this seller

Buy New
US$ 297.01
Convert currency

Add to Basket

Shipping: US$ 9.83
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book