نمودار تغییرات قیمت
در حال بارگزاری ...
۰ از ۵
از میانگین ۰ نظر دهنده

دانلود کتاب Lambda Calculus with Types – حساب لامبدا با انواع

هیچ فروشگاهی با فیلترهای منتخب شما وجود ندارد.
پیشنهاد می‌کنیم فیلترها را تغییر دهید
سای وان
گلستان بدون امتیاز
۱ سال و ۲ ماه گزارش

دانلود کتاب Lambda Calculus with Types – حساب لامبدا با انوا...

وضعیت: ناموجود گزارش
بروزشده در ۱۴۰۳/۱۰/۴
مشاهده پیشنهاد
بروزشده در ۱۴۰۳/۱۰/۴

پیشنهاد ویژه فروشندگان

مشخصات فنی

مشخصات فنی دانلود کتاب Lambda Calculus with Types – حساب لامبدا با انواع
مشخصات
تعداد صفحات mb4.44
جلد Perspectives in Logic
زبان English
شابک 0521766141, 9780521766142
فرمت فایل pdf
ناشر Cambridge University Press
نویسنده (گان) Henk Barendregt, Wil Dekkers, Richard Statman
ویرایش 2013
مشاهده بیشتر
نظرات کاربران
هیچ نظری ثبت نشده است.

محصولات مشابه

جدیدترین‌های محتوای آموزشی لامبدا

دانلود کتاب Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
دانلود کتاب Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ناموجود
دانلود کتاب Lambda-calculus, types and models – حساب لامبدا، انواع و مدل ها
دانلود کتاب Lambda-calculus, types and models – حساب لامبدا، انواع و مدل ها
ناموجود
دانلود کتاب Lambda Calculus with Types – حساب لامبدا با انواع
دانلود کتاب Lambda Calculus with Types – حساب لامبدا با انواع
ناموجود
دانلود کتاب An introduction to lambda calculus – مقدمه ای بر حساب لامبدا
دانلود کتاب An introduction to lambda calculus – مقدمه ای بر حساب لامبدا
ناموجود
دانلود کتاب Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings –...
دانلود کتاب Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings –...
ناموجود
دانلود کتاب Serverless Ops: A Beginner’s Guide to AWS Lambda and Beyond – عملیات بدون سرور: راهنمای مبتدیان برای AWS...
دانلود کتاب Serverless Ops: A Beginner’s Guide to AWS Lambda and Beyond – عملیات بدون سرور: راهنمای مبتدیان برای AWS...
ناموجود
دانلود کتاب CLambda Story. Everything you need to know about Lambda Expressions in Modern C ! – CLambda Story....
دانلود کتاب CLambda Story. Everything you need to know about Lambda Expressions in Modern C ! – CLambda Story....
ناموجود
دانلود کتاب Hands-On Serverless Applications with Kotlin: Develop scalable and cost-effective web applications using AWS Lambda and Kotlin – برنامه...
دانلود کتاب Hands-On Serverless Applications with Kotlin: Develop scalable and cost-effective web applications using AWS Lambda and Kotlin – برنامه...
ناموجود
دانلود کتاب Hands-On Serverless Computing: Build, run and orchestrate serverless applications using AWS Lambda, Microsoft Azure Functions, and Google Cloud...
دانلود کتاب Hands-On Serverless Computing: Build, run and orchestrate serverless applications using AWS Lambda, Microsoft Azure Functions, and Google Cloud...
ناموجود
دانلود کتاب AWS Lambda Quick Start Guide – راهنمای شروع سریع AWS Lambda
دانلود کتاب AWS Lambda Quick Start Guide – راهنمای شروع سریع AWS Lambda
ناموجود
دانلود کتاب Running Serverless: Introduction to AWS Lambda and the Serverless Application Model – در حال اجرا بدون سرور: مقدمه...
دانلود کتاب Running Serverless: Introduction to AWS Lambda and the Serverless Application Model – در حال اجرا بدون سرور: مقدمه...
ناموجود
دانلود کتاب Building Modern Serverless Web APIs: Develop Microservices and Implement Serverless Applications with .NET Core 3.1 and AWS Lambda...
دانلود کتاب Building Modern Serverless Web APIs: Develop Microservices and Implement Serverless Applications with .NET Core 3.1 and AWS Lambda...
ناموجود
دانلود کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction – اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و...
دانلود کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction – اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و...
ناموجود
دانلود کتاب Modern Java in Action: Lambdas, streams, functional and reactive programming – جاوا مدرن در عمل: لامبدا، استریم، برنامه...
ناموجود
دانلود کتاب Lambda expressions and streams made easy: A quick guide to functional programming in Java (programming made easy Book...
دانلود کتاب Lambda expressions and streams made easy: A quick guide to functional programming in Java (programming made easy Book...
ناموجود
دانلود کتاب Primitive Lambda-Roots [Lecture notes] – ریشه های لامبدا اولیه [یادداشت های سخنرانی]
دانلود کتاب Primitive Lambda-Roots [Lecture notes] – ریشه های لامبدا اولیه [یادداشت های سخنرانی]
ناموجود
دانلود کتاب Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of...
دانلود کتاب Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of...
ناموجود
دانلود کتاب An Introduction to Functional Programming Through Lambda Calculus – مقدمه ای برای برنامه نویسی عملکردی از طریق حساب...
دانلود کتاب An Introduction to Functional Programming Through Lambda Calculus – مقدمه ای برای برنامه نویسی عملکردی از طریق حساب...
ناموجود
دانلود کتاب Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings –...
دانلود کتاب Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings –...
ناموجود
دانلود فایل پاورپوینت آماده محاسبات لامبدا
دانلود فایل پاورپوینت آماده محاسبات لامبدا
ناموجود
جستجو دسته‌بندی‌ها کالای‌پیشنهادی ورود/ثبت‌نام