Paperback. Condition: Fine. Mint condition.
Condition: Good. 395 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Paperback. Condition: New.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Language: English
Published by Springer Verlag, New York, 2001
ISBN 10: 3540414282 ISBN 13: 9783540414285
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Hardcover. Condition: Very Good. Hardcover 2001 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in very good condition. Series: Lecture Notes in Computer Science; 1961. [298 pages].
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. 298 pp., ex library, else text clean and binding tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Paperback. Condition: Good. Ex-library paperback in nice condition with the usual markings and attachments. Soiling to edge from a mud dauber nest. Except for library markings, interior clean and unmarked. Tight binding.
Language: English
Published by Springer, 2007
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Softcover/Paperback. Condition: Sehr gut. 328 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 595.
Condition: New.
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2003
ISBN 10: 3540206329 ISBN 13: 9783540206323
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems. This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10: 3540001956 ISBN 13: 9783540001959
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 7th Asian Computing Science Conference, ASIAN 2002, held in Hanoi, Vietnam in December 2002. The 17 revised full papers presented together with two invited contributions were carefully reviewed and selected from 30 submissions. The conference was devoted to Internet computing and modeling, grid computing, peer-to-peer systems, and cluster computing. Among the issues addressed are scalable infrastructure for global data grids, distributed checkpointing, list coloring, parallel debugging, combinatorial optimization, video on demand servers, caching, grid environments, network enabled servers, multicast communication, dynamic resource allocation, traffic engineering, path-vector protocols, Web-based Internet broadcasting, Web-based middleware, and subscription-based Internet services. Compiled from the proceedings of the 7th Asian Computing Science Conference, this volume contains 17 full papers with two invited contributions. The conference was devoted to Internet computing and modelling, grid computing, peer-to-peer systems, and cluster computing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1997
ISBN 10: 354063875X ISBN 13: 9783540638759
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing. This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2000
ISBN 10: 3540414282 ISBN 13: 9783540414285
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 6th Asian Computing Science Conference, ASIAN 2000, held in Penang, Malaysia in November 2000. The 18 revised full papers presented were carefully reviewed and selected from a total of 61 submissions. The papers presented cover various topics in computer science and its applications, with a certain focus on networking and network performance and on programming logics and program semantics. The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 354066856X ISBN 13: 9783540668565
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing. This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999. The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1998
ISBN 10: 3540653880 ISBN 13: 9783540653882
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 4th Asian Computing Science Conference, ASIAN'98, held in Manila, The Philippines, in December 1998. The 17 revised full papers presented were carefully reviewed and selected from a total of 43 submissions. Also included are a few invited contributions. Among the topics covered are automated deduction, proof theory, rewriting systems, program semantics, distributed processing, algorithms, and graph-theoretical aspects. This book constitutes the refereed proceedings of the 4th Asian Computing Science Conference, ASIAN'98, held in Manila, The Philippines, in December 1998. The 17 revised full papers presented were carefully reviewed and selected from a total of 43 submissions. Also included are a few invited contributions. Among the topics covered are automated deduction, proof theory, rewriting systems, program semantics, distributed processing, algorithms, and graph-theoretical aspects. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condition: New.
Condition: New.
Condition: New.
Condition: New.
Condition: New.
Condition: New.