verification
نمایش 1–12 از 19 نتیجهمرتبسازی بر اساس جدیدترین
-
روشهای صوری در توسعه نرمافزار
دوره مبانی و کاربردهای روش های صوری در مهندسی نرم افزار به همراه فلش کارت بر روی فلش مموری
1,990,000 تومان افزودن به سبد خرید -
اعتبارسنجی و تضمین ایمنی سیستمهای پویا
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
249,950 تومان افزودن به سبد خرید -
اقتصاد اطلاعات و نظریه بازیها
کتاب قدرت تفرقه یا اتحاد؟ طراحی مکانیزمهای بهینه برای جمعآوری اطلاعات از منابع مغرض
249,950 تومان افزودن به سبد خرید




