typed

  • محاسبات و کاربردهای تایپ شده لامبدا: هشتمین کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: هشتمین کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Frank Pfenning (auth.) – Simona Ronchi Della Rocca (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: هشتمین کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، 26-28 ژوئن 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Frank Pfenning (auth.) – Simona Ronchi Della Rocca (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت…

  • محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، 10–12 ژوئن، 2003 مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings (به فارسی: محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، 10–12 ژوئن، 2003 مجموعه مقالات) نوشته شده توسط «Andreas Abel (auth.) – Martin Hofmann (eds.)» اطلاعات کتاب محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، 10–12 ژوئن، 2003 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Andreas Abel (auth.) – Martin Hofmann (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال…

  • محاسبات و کاربردهای تایپ شده لامبدا: پنجمین کنفرانس بین المللی، TLCA 2001 کراکوف، لهستان، 2 تا 5 مه، 2001 مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: پنجمین کنفرانس بین المللی، TLCA 2001 کراکوف، لهستان، 2 تا 5 مه، 2001 مجموعه مقالات) نوشته شده توسط «Olivier Danvy (auth.) – Samson Abramsky (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: پنجمین کنفرانس بین المللی، TLCA 2001 کراکوف، لهستان، 2 تا 5 مه، 2001 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Olivier Danvy (auth.) – Samson Abramsky (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به…

  • محاسبات تایپ شده لامبدا و کاربردها: هفتمین کنفرانس بین المللی، TLCA 2005، نارا، ژاپن، 21-23 آوریل، 2005. مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings (به فارسی: محاسبات تایپ شده لامبدا و کاربردها: هفتمین کنفرانس بین المللی، TLCA 2005، نارا، ژاپن، 21-23 آوریل، 2005. مجموعه مقالات) نوشته شده توسط «Thierry Coquand (auth.) – Paweł Urzyczyn (eds.)» اطلاعات کتاب محاسبات تایپ شده لامبدا و کاربردها: هفتمین کنفرانس بین المللی، TLCA 2005، نارا، ژاپن، 21-23 آوریل، 2005. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Thierry Coquand (auth.) – Paweł Urzyczyn (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال…

  • محاسبات تایپ شده لامبدا و کاربردها: چهارمین کنفرانس بین المللی، 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 تعداد…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان