第 1/1 張圖片
Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference
狀況：
庫存 3 件
運費：
所在地：Fairfield, Ohio, 美國
送達日期：
估計於 6月6日, 四至 6月17日, 一之間送達 運送地點 43230
退貨：
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
安心購物
物品細節
- 物品狀況
- 全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- 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
- Item Length
- 9.2in
- Publisher
- Springer Berlin / Heidelberg
- Item Width
- 6.1in
- Item Weight
- 45.2 Oz
- Number of Pages
- Xii, 408 Pages
關於產品
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
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.
Copyright Date
1999
Topic
Systems Architecture / General, Computer Science, Networking / General, Data Processing
Lccn
99-058177
Dewey Decimal
004
Intended Audience
Scholarly & Professional
Dewey Edition
21
Illustrated
Yes
Genre
Computers
賣家提供的物品說明
運費與處理費
物品所在地：
Fairfield, Ohio, 美國
運送地點
不丹, 中國, 中國台灣, 中國澳門, 中國香港, 中非共和國, 丹麥, 乍德, 也門, 亞塞拜疆共和國, 亞美尼亞, 以色列, 伊拉克, 伯利茲, 佛得角群島, 保加利亞, 克羅地亞共和國, 全球, 冰島, 列支敦士登, 利比利亞, 剛果共和國, 剛果民主共和國, 加拿大, 加納, 加蓬共和國, 匈牙利, 南非, 南韓, 博茨瓦納, 卡塔爾, 印尼, 印度, 危地馬拉, 厄瓜多爾, 厄立特里亞, 吉布提, 吉爾吉斯, 哈薩克, 哥倫比亞, 哥斯達黎加, 喀麥隆, 圖瓦盧, 土庫斯安德凱科斯群島, 土庫曼, 土耳其, 圭亞那, 坦桑尼亞, 埃及, 埃塞俄比亞, 基里巴斯, 塔吉克, 塞內加爾, 塞拉利昂, 塞浦路斯, 塞爾維亞, 塞舌爾, 墨西哥, 多哥, 多明尼加, 多明尼加共和國, 奧地利, 孟加拉, 安哥拉, 安圭拉島, 安提瓜和巴布達, 安道爾, 寮國, 尼加拉瓜, 尼日利亞, 尼日爾, 尼泊爾, 巴哈馬, 巴基斯坦, 巴拉圭, 巴林, 巴西, 布基納法索, 布隆迪, 希臘, 幾內亞, 幾內亞比索, 庫克群島, 德國, 意大利, 愛沙尼亞, 愛爾蘭, 所羅門群島, 拉脫維亞, 挪威, 捷克共和國, 摩洛哥, 摩爾多瓦, 摩納哥, 斐濟, 斯威士蘭, 斯洛伐克, 斯洛文尼亞, 斯瓦爾巴群島和揚馬延島, 斯里蘭卡, 新加坡, 日本, 智利, 柬埔寨, 格恩西島, 格陵蘭, 格雷納達, 格魯吉亞, 梵蒂岡, 比利時, 毛里求斯, 汶萊, 沙特阿拉伯, 法國, 波斯尼亞和黑塞哥維那, 波蘭, 泰國, 津巴布韋, 洪都拉斯, 海地, 湯加, 澤西島, 澳洲, 烏干達, 烏拉圭, 烏茲別克, 牙買加, 特里尼達和多巴哥, 玻利維亞, 瑙魯, 瑞典, 瑞士, 瓦利斯和富圖納群島, 瓦努阿圖, 甘比亞, 百慕達群島, 盧旺達, 盧森堡, 直布羅陀, 福克蘭群島（馬爾維納斯）, 科威特, 科特迪瓦（象牙海岸）, 秘魯, 突尼斯, 立陶宛, 約旦, 納米比亞, 紐埃, 紐西蘭, 索馬里, 羅馬尼亞, 聖基茨-尼維斯, 聖文森和格瑞那丁, 聖皮耶與密克隆群島, 聖盧西亞, 聖赫倫那島, 聖馬力諾, 肯亞, 芬蘭, 英國, 英屬維爾京群島, 茅利塔尼亞, 荷屬安地列斯群島, 荷蘭, 莫桑比克, 菲律賓, 萊索托, 葛摩, 葡萄牙, 蒙古, 蒙特色拉特島, 薩爾瓦多, 蘇里南, 西撒哈拉, 西班牙, 貝寧, 贊比亞, 赤道幾內亞, 越南, 開曼群島, 阿富汗, 阿拉伯聯合酋長國, 阿曼, 阿根廷, 阿爾及利亞, 阿爾巴尼亞, 阿魯巴, 馬來西亞, 馬其頓, 馬拉維, 馬爾代夫, 馬約特島, 馬耳他, 馬達加斯加, 馬里, 黎巴嫩, 黑山
排除：
APO/FPO, 俄羅斯聯邦, 利比亞, 委內瑞拉, 巴布亞新畿內亞, 巴拿馬, 巴貝多, 新喀里多尼亞, 法屬圭亞那, 法屬玻里尼西亞, 烏克蘭, 瓜德羅普島, 留尼汪島, 白俄羅斯, 美國領地, 西薩摩亞, 阿拉斯加／夏威夷, 馬提尼克島
| 運費與處理費 | 每加一件物品 | 運送地點 | 運送方式 | 運送*查看送達備註 |
|---|---|---|---|---|
| 免運費 | 免費 | 美國 | Economy Shipping | 估計於 6月6日, 四至 6月17日, 一之間送達 運送地點 43230 |
| 處理時間 |
|---|
| 通常會在收到所有款項後的 10 個工作日內發貨。 |
| 稅項 |
|---|
| 結賬時相關稅項可能適用。 進一步了解進一步了解為 eBay 購物繳稅。 |
物品編號 386679798719 的銷售稅
物品編號 386679798719 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅：
| 州／省 | 銷售稅稅率 |
|---|
退貨政策
| 收到物品後聯絡賣家的期限： | 退款方式 |
|---|---|
| 30 日 | 退款 |
買家負責支付退貨運費。
賣家信用評價 （1,023,411）
r***s (453)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Good job
8***w (67)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
The correct book and DVD arrived in very fine condition, better than described and early too! The book and DVD are even better that I had pictured! Good, honest and fair dealer!
m***e (116)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Fast shipping and excellent service!