laquila
محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات
دانلود کتاب Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings (به فارسی: محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات) نوشته شده توسط «Jean-Marc Andreoli (auth.) – Jean-Yves Girard (eds.)» اطلاعات کتاب محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، TLCA’99 L’Aquila، ایتالیا، 7-9 آوریل، 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Jean-Marc Andreoli (auth.) – Jean-Yves Girard (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1999 تعداد…
روش‌های عددی برای معادلات دیفرانسیل معمولی: مجموعه مقالات کارگاه آموزشی برگزار شده در لاکویلا (ایتالیا)، 16 تا 18 سپتامبر 1987
دانلود کتاب Numerical Methods for Ordinary Differential Equations: Proceedings of the Workshop held in L’Aquila (Italy), Sept. 16–18, 1987 (به فارسی: روش‌های عددی برای معادلات دیفرانسیل معمولی: مجموعه مقالات کارگاه آموزشی برگزار شده در لاکویلا (ایتالیا)، 16 تا 18 سپتامبر 1987) نوشته شده توسط «C. Baiocchi (auth.) – Alfredo Bellen – Charles W. Gear – Elvira Russo (eds.)» اطلاعات کتاب روش‌های عددی برای معادلات دیفرانسیل معمولی: مجموعه مقالات کارگاه آموزشی برگزار شده در لاکویلا (ایتالیا)، 16 تا 18 سپتامبر 1987 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: C. Baiocchi (auth.) – Alfredo Bellen – Charles W.…