verification
نمایش 1–12 از 15 نتیجهSorted by latest
-
تأییدپذیری و امنیت شبکههای عصبی عمیق
کتاب تضمین صحت و امنیت مدلهای یادگیری عمیق با رویکردهای صوری
تومان249,950 افزودن به سبد خرید -
شبکههای عصبی عمیق
کتاب تأییدپذیری و صحتسنجی شبکههای عصبی عمیق بر اساس ورودی و روابط داخلی
تومان249,950 افزودن به سبد خرید -
روشهای صوری در توسعه نرمافزار
کتاب مبانی و کاربردهای روشهای صوری در مهندسی نرمافزار
تومان249,950 افزودن به سبد خرید -
Abstract Interpretation
کتاب Abstract Interpretation: Abstract Interpretation در حوزه هوش مصنوعی
تومان249,950 افزودن به سبد خرید -
اعتبارسنجی و تضمین ایمنی سیستمهای پویا
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
تومان249,950 افزودن به سبد خرید -
اقتصاد اطلاعات و نظریه بازیها
کتاب قدرت تفرقه یا اتحاد؟ طراحی مکانیزمهای بهینه برای جمعآوری اطلاعات از منابع مغرض
تومان249,950 افزودن به سبد خرید
