دانلود کتاب STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings (به فارسی: STACS 88: پنجمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر بوردو، فرانسه، 11 تا 13 فوریه 1988 مجموعه مقالات) نوشته شده توسط «C. P. Schnorr (auth.) – Robert Cori – Martin Wirsing (eds.)»
اطلاعات کتاب STACS 88: پنجمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر بوردو، فرانسه، 11 تا 13 فوریه 1988 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: C. P. Schnorr (auth.) – Robert Cori – Martin Wirsing (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1988
تعداد صفحه: 408
حجم کتاب: 5 مگابایت
کد کتاب: 3540188347 , 9783540188346
نوبت چاپ: 1
توضیحات کتاب STACS 88: پنجمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر بوردو، فرانسه، 11 تا 13 فوریه 1988 مجموعه مقالات
این جلد شامل ارائههای پنجمین سمپوزیوم جنبههای نظری علوم کامپیوتر (STACS 88) است که در دانشگاه بوردو، 11 تا 13 فوریه 1988 برگزار شد. نمایش سیستم های نرم افزاری که در مجموعه این کنفرانس به منظور نشان دادن کاربردهای نتایج تحقیقات در علوم کامپیوتر نظری گنجانده شد. مقالات در بخشهای موضوعی زیر گروهبندی میشوند: الگوریتمها، پیچیدگی، زبانهای رسمی، سیستمهای بازنویسی و انواع دادههای انتزاعی، گرامرهای گراف، الگوریتمهای توزیعشده، الگوریتمهای هندسی، زبانهای ردیابی، معناشناسی توازی.
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.