آموزش استدلال مصنوعی

دانلود Razonamiento artificial


آموزش ساختارهای داده و کارایی (Performance)

دانلود Data Structures and Performance


آموزش طراحی و خودکارسازی VLSI بخش اول: منطق دیجیتال

دانلود VLSI CAD Part I: Logic


آموزش مدل‌سازی سیستم‌های خودمختار

دانلود Modeling of Autonomous Systems


آموزش تصمیم‌گیری و یادگیری تقویت‌پذیر

دانلود Decision Making and Reinforcement Learning


آموزش هوش مصنوعی و توهم هوشمندی

دانلود AI and the Illusion of Intelligence


آموزش استدلال خودکار: مسئله ارضای پذیری (Satisfiability)

دانلود Automated Reasoning: satisfiability


آموزش مشخصات نیازمندی‌ها برای سیستم‌های خودمختار

دانلود Requirement Specifications for Autonomous Systems


آموزش ساختارهای داده پیشرفته در جاوا

دانلود Advanced Data Structures in Java


آموزش حل الگوریتم‌های بهینه‌سازی گسسته

دانلود Solving Algorithms for Discrete Optimization


آموزش تئوری و تحلیل سیستم‌های نهفته بلادرنگ (Real-Time Embedded Systems)

دانلود Real-Time Embedded Systems Theory and Analysis


آموزش اعتبارسنجی سیستم: اتوماتا و معادل‌های رفتاری

دانلود System Validation: Automata and behavioural equivalences


آموزش گراف‌ها و شبکه‌ها

دانلود Graphs and Networks


آموزش الگوریتم‌ها و پیچیدگی

دانلود Algorithms and Complexity


آموزش شروع کار با CyberGIS

دانلود Getting Started with CyberGIS


آموزش سازماندهی کامپیوتر (Computer Organization)

دانلود 计算机组成 Computer Organization


1 ....... 5 6 7 8 9 10 11 ....... 125