دانلود کتاب Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings

Name: Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
Availability: InStock
Author: Susumu Hayashi
ISBN: 3540653880, 9783540653882

by Susumu Hayashi, Ryosuke Sumitomo (auth.), Jieh Hsiang, Atsushi Ohori (eds.)

عنوان فارسی: پیشرفتهای کامپیوتر علوم ASIAN 98: 4 محاسبات آسیایی علوم کنفرانس مانیل، فیلیپین، دسامبر 8-10، 1998 مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 1998
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 314-314
شابک: 3540653880, 9783540653882
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 4.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.