Picture 1 of 1

Have one to sell?

Sell it yourself

Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference

Condition:

Brand New

Quantity:

7 available

Price:

US $67.88

ApproximatelyS$ 91.76

Postage:

Free Economy Shipping. See detailsfor shipping

Located in: Fairfield, Ohio, United States

Delivery:

Estimated between Fri, 31 May and Tue, 11 Jun to 43230

Returns:

30 days return. Buyer pays for return shipping. See details- for more information about returns

Coverage:

Read item description or contact seller for details. See all detailsSee all details on coverage

(Not eligible for eBay purchase protection programmes)

Shop with confidence

eBay Premium Service

Trusted seller, fast shipping, and easy returns.

Learn more- Top Rated Plus - opens in a new window or tab

Seller information

grandeagleretail (919379)
98.2% positive feedback

Registered as a Business Seller

Report this item - opens in new window or tab

Seller assumes all responsibility for this listing.

eBay item number:386679798719

Last updated on Apr 01, 2024 15:18:45 SGTView all revisionsView all revisions

Item specifics

Condition: Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab

ISBN-13: 9783540668565

Book Title: Advances in Computing Science - ASIAN'99

ISBN: 9783540668565

Series: Lecture Notes in Computer Science Ser.

Publication Year: 1999

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Advances in Computing Science - Asian'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 1999 - Proceedings

Author: Roland Yap

Item Length: 9.2in

Publisher: Springer Berlin / Heidelberg

Item Width: 6.1in

Item Weight: 45.2 Oz

Number of Pages: Xii, 408 Pages

About this product

Product Information

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with researchers from other regions. The previous four conferences were held, respectively, in Bangkok, Singapore, Ka- mandu, and Manila. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year's conference (ASIAN'99) attracted 114 submissions from which 28 papers were selected through an electronic PC meeting. In addition, 11 papers were selected for shorter presentations at the poster sessions. The themes for this year's conference were announced to be: { Embedded and Real-Time Systems { Formal Reasoning and Veric ation { Distributed and Mobile Computing The key note speaker for ASIAN'99 is Amir Pnueli (Weizmann Institute, Israel) and the invited speakers are Nicolas Halbwachs (VERIMAG, CNRS, France) and Krishna Palem (The Georgia Institute of Technology and Courant Institute, New York University, USA). We thank them for accepting our invi- tion. Thisyear'sconferenceisbeingsponsoredbytheAsianInstituteofTechnology (Thailand), INRIA (France), the National University of Singapore (Singapore), andUNU/IIST (Macau).We thank allthese institutions fortheir continueds- port of the ASIAN series. This year'sconferencewill be held inPhuket,Thailand.We aremuchobliged to the Prince of Songkhla University for providing the conference venue and to Rattana Wetprasit for making the local arrangements. We also wish to thank the PC members and the large number of referees for the substantial work put in by them in assessing the submitted papers.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

354066856x

ISBN-13

9783540668565

eBay Product ID (ePID)

13038740713

Product Key Features

Author

Roland Yap

Publication Name

Advances in Computing Science - Asian'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 1999 - Proceedings

Format

Trade Paperback

Language

English

Series

Lecture Notes in Computer Science Ser.

Publication Year

1999

Type

Textbook

Number of Pages

Xii, 408 Pages

Dimensions

Item Length

9.2in

Item Width

6.1in

Item Weight

45.2 Oz

Additional Product Features

Series Volume Number

1742

Number of Volumes

1 Vol.

Lc Classification Number

Qa75.5-76.95

Table of Content

Invited Talks.- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.- Emerging Application Domains and the Computing Fabric.- Regular Papers.- The Game of the Name in Cryptographic Tables.- A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs.- Rapid Prototyping Techniques for Fuzzy Controllers.- Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments.- Observable Sharing for Functional Circuit Description.- Relating May and Must Testing Semantics for Discrete Timed Process Algebras.- A Framework for Formal Reasoning about Open Distributed Systems.- Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.- Verifying Probabilistic Programs Using a Hoare like Logic.- An Expressive Extension of TLC.- Completeness and Decidability of a Fragment of Duration Calculus with Iteration.- Logical Relations in Circuit Verification.- Lemma Generalization and Non-unit Lemma Matching for Model Elimination.- On Automating Inductive and Non-inductive Termination Methods.- Asynchronous Links in the PBC and M-Nets.- Demand-Driven Model Checking for Context-Free Processes.- Programming the Mobility Behaviour of Agents by Composing Itineraries.- Faster Model Checking for Open Systems.- An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.- Entailment of Non-structural Subtype Constraints.- A CPS-Transform of Constructive Classical Logic.- Formal Verification of the MCS List-Based Queuing Lock.- BDD-Nodes Can Be More Expressive.- Formal Verification of Descriptions with Distinct Order of Memory Operations.- Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.- On L k (Q) Types and Boundedness of IFP(Q) on Finite Structures.- Separators Are as Simple as Cutsets.- Ant Colony Optimization for the Ship Berthing Problem.- Poster Session Abstracts.- Security Modeling and Evaluation for the Mobile Code Paradigm.- CASA - Structured Design of a Specification Language for Intelligent Agents.- An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks.- Programming with Explicit Regions.- A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.- Formal Verification of Secret Sharing Protocol Using Coq.- On Feasibility, Boundedness and Redundancy of Systems of Linear Constraints over R 2-Plane.- Deduction in Logic of Association Rules.- Asynchronous Migration in Parallel Genetic Programming.- Verification Results for a Multimedia Protocol.- Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks.

1999

Topic

Systems Architecture / General, Computer Science, Networking / General, Data Processing

Lccn

99-058177

Dewey Decimal

004

Intended Audience

Scholarly & Professional

Dewey Edition

Illustrated

Yes

Genre

Computers

Item description from the seller

Seller assumes all responsibility for this listing.

eBay item number:386679798719

Last updated on Apr 01, 2024 15:18:45 SGTView all revisionsView all revisions

Postage and handling

Item location:

Fairfield, Ohio, United States

Post to:

Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe

Excludes:

APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa

Quantity:

Change country:

Postal Code:

Postage and handling	Each additional item	To	Service	Delivery*See Delivery notes
Free postage	Free	United States	Economy Shipping	Estimated between Fri, 31 May and Tue, 11 Jun to 43230

Notes - Delivery *Estimated delivery dates include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared payment. Delivery times may vary, especially during peak periods.

Handling time

Will usually post within 10 business days of receiving cleared payment.

Taxes

Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases.