دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
دانلود کتاب EUROCAL '85: کنفرانس اروپایی در جبر کامپیوتری لینز، اتریش، 1-3 آوریل 1985 مجموعه مقالات جلد. 1: سخنرانی های دعوت شده
مشخصات کتاب
EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
ویرایش: [1 ed.] نویسندگان: B. F. Caviness (auth.), Bruno Buchberger (eds.) سری: Lecture Notes in Computer Science 203 ISBN (شابک) : 9783540159834, 3540159835 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1985 تعداد صفحات: 236 [238] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب EUROCAL '85: کنفرانس اروپایی در جبر کامپیوتری لینز، اتریش، 1-3 آوریل 1985 مجموعه مقالات جلد. 1: سخنرانی های دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Computer algebra: Past and future....Pages 1-18
MACSYMA: Capabilities and applications to problems in engineering and the sciences....Pages 19-32
A preview of the next IBM-PC version of muMATH....Pages 33-44
Current developments in LISP....Pages 45-57
Computer algebra as a research tool in physics....Pages 58-67
Symbolic computation and chemistry....Pages 68-79
Computational geometry: Selected algorithms and paradigms....Pages 80-92
Algebraic and symbolic computation in digital signal processing, coding and cryptography....Pages 93-101
Computer algebra and practical analysis....Pages 102-113
A new arithmetic for scientific computation with exact evaluation of expressions....Pages 114-123
Algorithmic methods in automatic programming....Pages 124-135
Proof theory and the synthesis of programs: Potential and limitations....Pages 136-150
Constructions: A higher order proof system for mechanizing mathematics....Pages 151-184
Scientific computation: The integration of symbolic, numeric and graphic computation....Pages 185-200
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Methods in Banach Space Theory
دانلود کتاب Map Data Processing. Proceedings of a NATO Advanced Study Institute on Map Data Processing Held in Maratea, Italy, June 18–29, 1979
دانلود کتاب The Year in Diabetes 2001
دانلود کتاب Accessories After the Fact: The Warren Commission, the Authorities & the Report on the JFK Assassination
