lfcs

  • مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2009، Deerfield Beach، FL، ایالات متحده آمریکا، 3-6 ژانویه 2009. مجموعه مقالات

    دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2009، Deerfield Beach، FL، ایالات متحده آمریکا، 3-6 ژانویه 2009. مجموعه مقالات) نوشته شده توسط «Stefano Aguzzoli – Simone Bova – Vincenzo Marra (auth.) – Sergei Artemov – Anil Nerode (eds.)» اطلاعات کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2009، Deerfield Beach، FL، ایالات متحده آمریکا، 3-6 ژانویه 2009. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Stefano Aguzzoli – Simone Bova – Vincenzo…

  • مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2007، نیویورک، نیویورک، ایالات متحده آمریکا، 4-7 ژوئن، 2007. مجموعه مقالات

    دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2007، نیویورک، نیویورک، ایالات متحده آمریکا، 4-7 ژوئن، 2007. مجموعه مقالات) نوشته شده توسط «Evangelia Antonakos (auth.) – Sergei N. Artemov – Anil Nerode (eds.)» اطلاعات کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2007، نیویورک، نیویورک، ایالات متحده آمریکا، 4-7 ژوئن، 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Evangelia Antonakos (auth.) – Sergei N. Artemov – Anil Nerode (eds.) زبان: English فرمت…

  • مبانی منطقی علوم کامپیوتر: سومین سمپوزیوم بین المللی، LFCS ’94 سن پترزبورگ، روسیه، 11–14 ژوئیه، 1994 مجموعه مقالات

    دانلود کتاب Logical Foundations of Computer Science: Third International Symposium, LFCS ’94 St. Petersburg, Russia, July 11–14, 1994 Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر: سومین سمپوزیوم بین المللی، LFCS ’94 سن پترزبورگ، روسیه، 11–14 ژوئیه، 1994 مجموعه مقالات) نوشته شده توسط «Farid Ablayev (auth.) – Anil Nerode – Yu. V. Matiyasevich (eds.)» اطلاعات کتاب مبانی منطقی علوم کامپیوتر: سومین سمپوزیوم بین المللی، LFCS ’94 سن پترزبورگ، روسیه، 11–14 ژوئیه، 1994 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Farid Ablayev (auth.) – Anil Nerode – Yu. V. Matiyasevich (eds.) زبان: English فرمت کتاب: djvu…

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