فروشگاه
نمایش 13309–13320 از 95941 نتیجهSorted by latest
-
روشهای صوریسازی و اثبات خودکار قضیهها
کتاب مقدمهای بر صوریسازی خودکار برای ریاضیدانان: ابزارها و رویکردها
تومان249,950 افزودن به سبد خرید -
علوم کامپیوتر و هوش مصنوعی
کتاب استدلال رسمی و مدلهای زبانی بزرگ: مبانی هوش مصنوعی برای ریاضیات و تأییدپذیری
تومان249,950 افزودن به سبد خرید -
اثباتهای مبتنی بر کامپیوتر
کتاب کارگاه اثباتهای یاریشده با ماشین در ریاضیات (Machine Assisted Proofs in Mathematics Workshop 2023)
تومان249,950 افزودن به سبد خرید -
امنیت سایبری و معماری شبکههای نوین
کتاب استقرار و مدیریت هویت، Istio و معماری اعتماد صفر در زیرساختهای سازمانی
تومان249,950 افزودن به سبد خرید -
روانشناسی کاربردی و بالینی
کتاب روانشناسی جنایی و ارزیابی رفتارهای پرخطر
تومان249,950 افزودن به سبد خرید -
الگوهای طراحی پارچه و دکوراسیون
کتاب آموزش طراحی الگوهای داماسک (Damask) برای پارچه و دکوراسیون
تومان249,950 افزودن به سبد خرید -
روشهای پیشرفته کنترل
کتاب کنترل پیشبین مدل (MPC) برای سیستمهای صنعتی
تومان249,950 افزودن به سبد خرید -
کتابهای آموزشی
کتاب کاربرد یادگیری ماشین در بهینهسازی فرآیندهای صنعتی
تومان249,950 افزودن به سبد خرید -
پردازش و تحلیل داده با شبکههای عصبی
کتاب انطباق داده و کاربرد شبکههای عصبی در فرآیندهای دادهمحور
تومان249,950 افزودن به سبد خرید -
آسیبپذیریهای اینترنت اشیا (IoT)
کتاب شناسایی و مدیریت ریسکهای امنیتی در اکوسیستم اینترنت اشیا
تومان249,950 افزودن به سبد خرید
