در حال نمایش 11 نتیجه

دانلود کتاب Automata Logics, and Infinite Games: A Guide to Current Research

36,000 تومان
منطق های خودکار و بازی های بی نهایت: راهنمای تحقیقات فعلی
موضوع اصلی کامپیوتر - علوم کامپیوتر
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 392 / 354
حجم فایل 2.32 مگابایت
کد کتاب 3540003886 , 9783540003885
نوبت چاپ 1

دانلود کتاب Automata Logics, and Infinite Games: A Guide to Current Research

36,000 تومان
منطق های خودکار و بازی های بی نهایت: راهنمای تحقیقات فعلی
موضوع اصلی کامپیوتر - علوم کامپیوتر
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 392 / 375
حجم فایل 6.77 مگابایت
کد کتاب 3540363874 , 9783540363873
نوبت چاپ 1

دانلود کتاب Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

36,000 تومان
منطق علوم کامپیوتر: بیست و سومین کارگاه بین المللی، CSL 2009، هجدهمین کنفرانس سالانه EACSL، کویمبرا، پرتغال، 7-11 سپتامبر 2009. مجموعه مقالات
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 567
حجم فایل 7 مگابایت
کد کتاب 3642040268,9783642040269
نوبت چاپ 1

دانلود کتاب Finite model theory and its applications

36,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 447
حجم فایل 3 مگابایت
کد کتاب 3540004289,9783540004288
نوبت چاپ 1

دانلود کتاب Finite Model Theory and Its Applications

36,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 447
حجم فایل 4 مگابایت
کد کتاب 3540004289,9783540004288

دانلود کتاب Finite Model Theory and Its Applications

36,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 447
حجم فایل 4 مگابایت
کد کتاب 3540004289,9783540004288

دانلود کتاب Finite Model Theory and Its Applications

36,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 452
حجم فایل 4 مگابایت
کد کتاب 3540004289,9783540004288

دانلود کتاب Lectures in Game Theory for Computer Scientists

36,000 تومان
سخنرانی در نظریه بازی ها برای دانشمندان علوم کامپیوتر
موضوع اصلی فیزیک
نوع کالا کتاب الکترونیکی
ناشر Cambridge University Press
تعداد صفحه 309
حجم فایل 1.72 مگابایت
کد کتاب 0521198666 , 9780521198660
نوبت چاپ 1

دانلود کتاب Logic and Automata: History and Perspectives

36,000 تومان
منطق و اتومات: تاریخچه و دیدگاه ها
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Amsterdam University Press
تعداد صفحه 737
حجم فایل 4.27 مگابایت
کد کتاب 9048501288 , 9789053565766

دانلود کتاب Logic and automata: History and perspectives

36,000 تومان
منطق و اتوماتا: تاریخ و دیدگاه ها
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Amsterdam University Press
تعداد صفحه 737
حجم فایل 4 مگابایت
کد کتاب 9789048501281,9789053565766,9053565760
نوبت چاپ U.Amsterdam

دانلود کتاب Logic and Automata: History and Perspectives (AUP – Texts in Logic and Games)

36,000 تومان
منطق و خودکار: تاریخچه و چشم اندازها (AUP - متون در منطق و بازی)
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
تعداد صفحه 736
حجم فایل 4 مگابایت
کد کتاب 9789048501281,9789053565766,9053565760