دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
دانلود کتاب جنبه های نظری نرم افزار کامپیوتر: سمپوزیوم بین المللی TACS '94 Sendai، ژاپن، 19-22 آوریل، 1994 مجموعه مقالات
مشخصات کتاب
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.) سری: Lecture Notes in Computer Science 789 ISBN (شابک) : 3540578870, 9783540578871 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 892 [897] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 60,000
در صورت تبدیل فایل کتاب Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری نرم افزار کامپیوتر: سمپوزیوم بین المللی TACS '94 Sendai، ژاپن، 19-22 آوریل، 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های نظری نرم افزار کامپیوتر: سمپوزیوم بین المللی TACS '94 Sendai، ژاپن، 19-22 آوریل، 1994 مجموعه مقالات
این جلد شامل مجموعه مقالات دومین سمپوزیوم بین المللی جنبه های نظری علوم کامپیوتر است که در دانشگاه توهوکو ژاپن در آوریل 1994 برگزار شد. و سیستم، و محاسبات موازی و توزیع شده. مقالات این جلد به جلسات گروه بندی می شوند: حساب لامبدا و برنامه نویسی. کسر خودکار؛ برنامه نویسی تابعی؛ اشیاء و تکالیف؛ همزمانی؛ بازنویسی اصطلاح و معادل سازی فرآیند؛ تئوری نوع و برنامه نویسی؛ جبر، مقوله ها و منطق خطی. و انواع فرعی، تقاطع و اتحاد. این جلد همچنین شامل هفت سخنرانی دعوت شده و دو سخنرانی باز است.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.
