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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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