brno

  • CONCUR 2002 — تئوری همزمانی: سیزدهمین کنفرانس بین المللی برنو، جمهوری چک، 20 تا 23 اوت 2002 مجموعه مقالات

    دانلود کتاب CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings (به فارسی: CONCUR 2002 — تئوری همزمانی: سیزدهمین کنفرانس بین المللی برنو، جمهوری چک، 20 تا 23 اوت 2002 مجموعه مقالات) نوشته شده توسط «Wan Fokkink – Natalia Ioustinova – Ernst Kesseler – Jaco van de Pol – Yaroslav S. Usenko (auth.) – Luboš Brim – Mojmír Křetínský – Antonín Kučera – Petr Jančar (eds.)» اطلاعات کتاب CONCUR 2002 — تئوری همزمانی: سیزدهمین کنفرانس بین المللی برنو، جمهوری چک، 20 تا 23 اوت 2002 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر:…

  • Goedel ’96: Proc. برنو 1996

    دانلود کتاب Goedel ’96: Proc. Brno 1996 (به فارسی: Goedel ’96: Proc. برنو 1996) نوشته شده توسط «Petr Hajek» اطلاعات کتاب Goedel ’96: Proc. برنو 1996 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Petr Hajek زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 336 حجم کتاب: 3 مگابایت کد کتاب: 9783540614340 , 3540614346 نوبت چاپ: 1 توضیحات کتاب Goedel ’96: Proc. برنو 1996 مقالات موجود در این مجموعه مقالات کنفرانس جشن نودمین سالگرد تولد کورت گودل، با منطق ریاضی، فلسفه ریاضیات و علوم کامپیوتر مرتبط است. موضوعات مربوط به آثار…