دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
دانلود کتاب پیشرفت در علوم رایانه ASIAN 98: چهارمین کنفرانس علوم محاسبات آسیایی مانیل ، فیلیپین ، 8-10-10 دسامبر 1998 مجموعه مقالات
مشخصات کتاب
Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Susumu Hayashi, Ryosuke Sumitomo (auth.), Jieh Hsiang, Atsushi Ohori (eds.) سری: Lecture Notes in Computer Science 1538 ISBN (شابک) : 3540653880, 9783540653882 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 314 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب پیشرفت در علوم رایانه ASIAN 98: چهارمین کنفرانس علوم محاسبات آسیایی مانیل ، فیلیپین ، 8-10-10 دسامبر 1998 مجموعه مقالات: تئوری محاسبات، زبان های برنامه نویسی، کامپایلرها، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در علوم رایانه ASIAN 98: چهارمین کنفرانس علوم محاسبات آسیایی مانیل ، فیلیپین ، 8-10-10 دسامبر 1998 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در علوم رایانه ASIAN 98: چهارمین کنفرانس علوم محاسبات آسیایی مانیل ، فیلیپین ، 8-10-10 دسامبر 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس علوم محاسبات
آسیایی، ASIAN'98 است که در مانیل، فیلیپین، در دسامبر 1998
برگزار شد.
17 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از مجموع 43
مقاله ارسالی انتخاب شدند. همچنین شامل چند مشارکت دعوت شده است.
از جمله موضوعات تحت پوشش استنتاج خودکار، نظریه اثبات، سیستم های
بازنویسی، معناشناسی برنامه، پردازش توزیع شده، الگوریتم ها و
جنبه های نظری گراف است.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Testing Proofs by Examples....Pages 1-3
Rigid Reachability....Pages 4-21
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover....Pages 22-42
A Polymorphic Language Which Is Typable and Poly-step....Pages 43-60
Cut Elimination for Classical Proofs as Continuation Passing Style Computation....Pages 61-78
Semantics and Logic for Provable Fault-Tolerance, A Tutorial....Pages 79-83
The Rewriting Calculus as a Semantics of ELAN....Pages 84-85
Tried Linear Hashing....Pages 86-94
A New Factoring Algorithm for Magic Predicates....Pages 95-112
An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs....Pages 113-124
Taxonomy and Expressiveness of Preemption: A Syntactic Approach....Pages 125-141
Exploring Regional Locality in Distributed Shared Memory....Pages 142-156
Guaranteed Mutually Consistent Checkpointing in Distributed Computations....Pages 157-168
Type Inference for First-Class Messages with Feature Constraints....Pages 169-187
Two Flavors of Offine Partial Evaluation....Pages 188-205
First-Class Contexts in ML....Pages 206-223
Formal Methods: Past, Present, and Future....Pages 224-224
A Comparison of Petri Net Semantics under the Collective Token Philosophy....Pages 225-244
Bisimulation Lattice of Chi Processes....Pages 245-262
Eventuality in LOTOS with a Disjunction Operator....Pages 263-281
Towards a Characterisation of Finite-State Message-Passing Systems....Pages 282-299
Mobile Computation: Calculus and Languages (A Tutorial)....Pages 300-304
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Laser Spectroscopy: Proceedings of the XVIII International Conference: ICOLS 2007: Telluride, Colorado, USA, 24-29 June 2007
دانلود کتاب Oracle Database 10g Administration Workshop II
دانلود کتاب Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
دانلود کتاب Computer Vision — ECCV 2002: 7th European Conference on Computer Vision Copenhagen, Denmark, May 28–31, 2002 Proceedings, Part II
دانلود کتاب 32nd Annual Clinical Aphasiology Conference: A Special Issue of Aphasiology
دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
دانلود کتاب Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
دانلود کتاب Passive and Active Network Measurement: 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007. Proceedings
دانلود کتاب Electric Motors in the Home Workshop (Workshop Practice)
