دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
دانلود کتاب طراحی و پیاده‌سازی سیستم‌های محاسباتی نمادین: سمپوزیوم بین‌المللی، DISCO '96 کارلسروهه، آلمان، 18 تا 20 سپتامبر 1996 مجموعه مقالات
مشخصات کتاب
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: W. Bibel, D. Korn, C. Kreitz, S. Schmitt (auth.), Jacques Calmet, Carla Limongelli (eds.) سری: Lecture Notes in Computer Science 1128 ISBN (شابک) : 3540616977, 9783540616979 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 362 [365] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی و پیاده‌سازی سیستم‌های محاسباتی نمادین: سمپوزیوم بین‌المللی، DISCO '96 کارلسروهه، آلمان، 18 تا 20 سپتامبر 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی و پیاده‌سازی سیستم‌های محاسباتی نمادین: سمپوزیوم بین‌المللی، DISCO '96 کارلسروهه، آلمان، 18 تا 20 سپتامبر 1996 مجموعه مقالات
این کتاب مقالات داوری چهارمین سمپوزیوم بین‌المللی طراحی و پیاده‌سازی سیستم‌های محاسباتی نمادین، DISCO '96، برگزار شده در کارلسروهه، آلمان، در سپتامبر 1996 را ارائه می‌کند. هنر در یک زیر زمینه خاص یا اشاره به برخی جهت های تحقیقاتی جدید همراه با 31 مقاله کامل اصلاح شده که از مجموع 70 مورد ارسالی انتخاب شده اند. بسیاری از جنبه های فعلی سیستم های نرم افزاری ریاضی، به عنوان مثال به کار گرفته می شوند. در جبر رایانه ای، اثبات قضیه خودکار، یا مشخصات جبری مطرح می شود.
توضیحاتی درمورد کتاب به خارجی
This book presents the refereed proceedings of the Fourth
International Symposium on Design and Implementation of
Symbolic Computation Systems, DISCO '96, held in Karlsruhe,
Germany, in September 1996.
The volume includes four invited contributions surveying the
state of the art in a particular subfield or pointing to some
new research directions together with 31 revised full papers
selected from a total of some 70 submissions. Many current
aspects of mathematical software systems, as employed e.g. in
computer algebra, automated theorem proving, or al- gebraic
specification are addressed.
