calculi

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

  • خانواده های هستی، محاسبات تابعی و معادلات تکامل

    دانلود کتاب Existence families, functional calculi and evolution equations (به فارسی: خانواده های هستی، محاسبات تابعی و معادلات تکامل) نوشته شده توسط «Ralph DeLaubenfels» اطلاعات کتاب خانواده های هستی، محاسبات تابعی و معادلات تکامل موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Ralph DeLaubenfels زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 272 حجم کتاب: 10 مگابایت کد کتاب: 9783540577034 , 3540577033 نوبت چاپ: 1 توضیحات کتاب خانواده های هستی، محاسبات تابعی و معادلات تکامل این کتاب یک رویکرد تئوری عملگر را به معادلات تکاملی ارائه می دهد. این نظریه پایه…

  • خانواده های هستی، محاسبات تابعی و معادلات تکامل

    دانلود کتاب Existence Families, Functional Calculi and Evolution Equations (به فارسی: خانواده های هستی، محاسبات تابعی و معادلات تکامل) نوشته شده توسط «Ralph DeLaubenfels» اطلاعات کتاب خانواده های هستی، محاسبات تابعی و معادلات تکامل موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Ralph DeLaubenfels زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 272 حجم کتاب: 2 مگابایت کد کتاب: 3540577033 , 9783540577034 نوبت چاپ: 1 توضیحات کتاب خانواده های هستی، محاسبات تابعی و معادلات تکامل این کتاب یک رویکرد تئوری عملگر را به معادلات تکاملی ارائه می دهد. این نظریه پایه…

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

    دانلود کتاب 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 توضیحات کتاب دامنه ها و لامبدا-حساب ها این کتاب جنبه های ریاضی معناشناسی زبان های برنامه نویسی را شرح می دهد. اهداف…

  • تئوری همزمانی: محاسبات و اتوماتها برای مدلسازی سیستمهای همزمان بی زمان و زماندار

    دانلود کتاب Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems (به فارسی: تئوری همزمانی: محاسبات و اتوماتها برای مدلسازی سیستمهای همزمان بی زمان و زماندار) نوشته شده توسط «Howard Bowman – Rodolfo Gomez» اطلاعات کتاب تئوری همزمانی: محاسبات و اتوماتها برای مدلسازی سیستمهای همزمان بی زمان و زماندار موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Howard Bowman – Rodolfo Gomez زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 444 حجم فایل: 1.68 مگابایت کد کتاب: 1852338954 , 9781852338954 نوبت چاپ: 1st Edition. توضیحات کتاب تئوری همزمانی:…

  • نظریه همزمانی: محاسبات یک اتومات برای مدل‌سازی سیستم‌های همزمان بدون زمان و زمان‌دار

    دانلود کتاب Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (به فارسی: نظریه همزمانی: محاسبات یک اتومات برای مدل‌سازی سیستم‌های همزمان بدون زمان و زمان‌دار) نوشته شده توسط «Howard Bowman – Rodolfo Gomez» اطلاعات کتاب نظریه همزمانی: محاسبات یک اتومات برای مدل‌سازی سیستم‌های همزمان بدون زمان و زمان‌دار موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Howard Bowman – Rodolfo Gomez زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 444 حجم فایل: 1.65 مگابایت کد کتاب: 1846283361 , 9781852338954 نوبت چاپ: 1st Edition. توضیحات کتاب نظریه همزمانی:…

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