lambda

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

  • یادداشتی در مورد سیستم سه گانه، lambda Tauri

    دانلود کتاب A Note on the Triple System, lambda Tauri (به فارسی: یادداشتی در مورد سیستم سه گانه، lambda Tauri) نوشته شده توسط «Slavenas P.» اطلاعات کتاب یادداشتی در مورد سیستم سه گانه، lambda Tauri موضوع اصلی: نظریه نسبیت و گرانش نوع: کتاب الکترونیکی نویسنده: Slavenas P. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1927 تعداد صفحه: 5 حجم کتاب: 1 مگابایت دانلود کتاب «یادداشتی در مورد سیستم سه گانه، lambda Tauri»

  • حلقه‌های لامبدا و نظریه بازنمایی گروه متقارن

    دانلود کتاب [lambda]-rings and the representation theory of the symmetric group (به فارسی: حلقه‌های لامبدا و نظریه بازنمایی گروه متقارن) نوشته شده توسط «Donald Knutson» اطلاعات کتاب حلقه‌های لامبدا و نظریه بازنمایی گروه متقارن موضوع اصلی: تقارن و گروه نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Donald Knutson زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1973 تعداد صفحه: 207 حجم کتاب: 6 مگابایت کد کتاب: 9783540061847 , 3540061843 نوبت چاپ: 1 توضیحات کتاب حلقه‌های لامبدا و نظریه بازنمایی گروه متقارن Knutson D. Lambda-Rings and the Representation Theory of the Symmetric Group (LNM0308, Springer, 2007)(ISBN 3540061843)(1s)_Mln_-o…

  • حلقه های لامبدا و نظریه بازنمایی گروه متقارن

    دانلود کتاب Lambda-Rings and the Representation Theory of the Symmetric Group (به فارسی: حلقه های لامبدا و نظریه بازنمایی گروه متقارن) نوشته شده توسط «Donald Knutson» اطلاعات کتاب حلقه های لامبدا و نظریه بازنمایی گروه متقارن موضوع اصلی: تقارن و گروه نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Donald Knutson زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1973 تعداد صفحه: 207 حجم کتاب: 1 مگابایت کد کتاب: 3540061843 , 9783540061847 نوبت چاپ: 1 دانلود کتاب «حلقه های لامبدا و نظریه بازنمایی گروه متقارن»

  • مقدمه ای بر درختان [لامبدا]

    دانلود کتاب Introduction to [lambda]-trees (به فارسی: مقدمه ای بر درختان [لامبدا]) نوشته شده توسط «Ian Chiswell» اطلاعات کتاب مقدمه ای بر درختان [لامبدا] موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: World Scientific نویسنده: Ian Chiswell زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 325 حجم کتاب: 4 مگابایت کد کتاب: 9810243863 , 9789810243869 , 9789812810533 نوبت چاپ: 1st توضیحات کتاب مقدمه ای بر درختان [لامبدا] متن مقدماتی برای ریاضیدانان و دانشجویان پژوهشگر جبر و توپولوژی، معرفی مفاهیم بنیادی و نظریه A-Trees، از جمله خاستگاه و تاریخچه نظریه. در مورد ارتباط با…

  • دامنه ها و لامبدا-حساب ها

    دانلود کتاب Domains and Lambda-calculi (به فارسی: دامنه ها و لامبدا-حساب ها) نوشته شده توسط «Roberto M. Amadio – Pierre-Louis Curien» اطلاعات کتاب دامنه ها و لامبدا-حساب ها موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Roberto M. Amadio – Pierre-Louis Curien زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 536 حجم کتاب: 4 مگابایت کد کتاب: 0521062926 , 9780521622776 , 9780521062923 , 0521622778 نوبت چاپ: 1 توضیحات کتاب دامنه ها و لامبدا-حساب ها این کتاب جنبه های ریاضی معناشناسی زبان های برنامه نویسی را شرح می دهد. اهداف…

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