tlca

  • محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Marc Bezem – Jan Friso Groote (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…

  • محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ’95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات) نوشته شده توسط «Andrea Asperti – Cosimo Laneve (auth.) – Mariangiola Dezani-Ciancaglini – Gordon Plotkin (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب…

  • محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، 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 ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات

    دانلود کتاب Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA ’97 Nancy, France, April 2–4, 1997 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Philippe de Groote – J. Roger Hindley (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات موضوع اصلی: کامپیوترها…

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