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

نمایش سایدبار
نمایش 12 24 36 همه
-17%PDF

دانلود کتاب Algorithmic bioprocesses

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
فرآیندهای زیستی الگوریتمی
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 742
حجم فایل 13 مگابایت
کد کتاب 3540888683,9783540888680
نوبت چاپ 1
افزودن به سبد خرید
-17%DJVU

دانلود کتاب Algorithmics: The Spirit of Computing

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
الگوریتم: روح محاسبات
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر Addison Wesley Publishing Company
تعداد صفحه 431
حجم فایل 4 مگابایت
کد کتاب 0201192403,9780201192407
نوبت چاپ اول
افزودن به سبد خرید
-17%PDF

دانلود کتاب Algorithmics. Spirit of Computing

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
الگوریتم. روح محاسبات
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Addison Wesley
تعداد صفحه 533
حجم فایل 9 مگابایت
کد کتاب 0321117840,9780321117847
نوبت چاپ 3
افزودن به سبد خرید
-17%PDF

دانلود کتاب Dynamic logic

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
منطق پویا
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر MIT Press
تعداد صفحه 476
حجم فایل 2 مگابایت
کد کتاب 9780262082891,0262082896,9781423728337
نوبت چاپ اول
افزودن به سبد خرید
-17%PDF

دانلود کتاب Dynamic Logic

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
منطق پویا
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر MIT
تعداد صفحه 476
حجم فایل 2 مگابایت
کد کتاب 0262082896,9780262082891
افزودن به سبد خرید
-17%PDF

دانلود کتاب Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
روش‌های رسمی در زیست‌شناسی سیستم‌ها: اولین کارگاه بین‌المللی، FMSB 2008، کمبریج، بریتانیا، 4-5 ژوئن، 2008. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 139
حجم فایل 6 مگابایت
کد کتاب 3540684107,9783540684107
نوبت چاپ 1
افزودن به سبد خرید
-17%PDF

دانلود کتاب Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
پیاده سازی و کاربرد Automata: پنجمین کنفرانس بین المللی، CIAA 2000 لندن، انتاریو، کانادا، 24 تا 25 جولای، 2000 مقالات تجدید نظر شده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 342
حجم فایل 2 مگابایت
کد کتاب 3540424911,9783540424918
نوبت چاپ 1
افزودن به سبد خرید
-17%PDF

دانلود کتاب Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
روش های رسمی یکپارچه: سومین کنفرانس بین المللی، IFM 2002 تورکو، فنلاند، 15-18 مه، 2002 مجموعه مقالات
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 401
حجم فایل 3 مگابایت
کد کتاب 3540437037,9783540437031
نوبت چاپ 1
افزودن به سبد خرید
-17%PDF

دانلود کتاب Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
زبان ها و سیستم های مهندسی مدل محور: نهمین کنفرانس بین المللی، مدل 2006، جنوا، ایتالیا، 1-6 اکتبر 2006. مجموعه مقالات
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 694
حجم فایل 18 مگابایت
کد کتاب 3540457720,9783540457725
نوبت چاپ 1
افزودن به سبد خرید
-17%PDF

دانلود کتاب Statecharts. A Visual Formalism for Complex Systems

قیمت اصلی 36,000 تومان بود.قیمت فعلی 30,000 تومان است.
نمودارهای وضعیتی فرمالیسم بصری برای سیستم های پیچیده
موضوع اصلی دارو
نوع کالا کتاب الکترونیکی
ناشر Weizmann Institute of Science, Dept. of Computer Science
تعداد صفحه 44
حجم فایل 2 مگابایت
افزودن به سبد خرید