رده:علوم صوری

ا

• استانداردها (۲۷ ر، ۴۴ ص)
• اقتصادسنجی (۱۰ ر، ۳۲ ص)

ب

• بیوانفورماتیک (۱۳ ر، ۱۴۱ ص)

د

• دانش سامانه (۱۳ ر، ۱۵ ص)

ر

• روش‌شناسی (۱۰ ر، ۱۸ ص)
• روش‌های صوری (۱۳ ر، ۲۷ ص)
• ریاضیات (۴۹ ر، ۲۰۳ ص)

ز

• زبان‌های صوری (۷ ر، ۸۲ ص)

س

• سامانه‌های رده‌بندی (۱۷ ر، ۱۵ ص)
• سامانه‌های طبقه‌بندی (۲۰ ر، ۲۴ ص)

ع

• علوم رایانه (۳۹ ر، ۸۲ ص)
• علوم ریاضی (۲ ر، ۴ ص)
• علوم نظری رایانه (۲۴ ر، ۴۵ ص)

م

• مدل‌سازی علمی (۲۴ ر، ۴۰ ص)
• منطق (۲۴ ر، ۱۳۰ ص)

ن

• نظریه آشوب (۶ ر، ۱۷ ص)
• نظریه تصمیم (۱۱ ر، ۴۵ ص)

• علوم صوری

آ

• آنالیز تصویر

ا

• اقتصادسنجی
• امضای الکترونیک

ب

• بازشناخت الگو
• بوم‌شناسی سیستم‌ها
• بیم‌سنجی

ت

• تجزیه و تحلیل
• تحقیق در عملیات
• پیش‌نویس:تشخیص محتوای تولید شده توسط هوش مصنوعی
• تشخیص محتوای تولید شده توسط هوش مصنوعی
• پیش‌نویس:تشخیص محتوای هوش مصنوعی

د

• داده‌کاوی

ر

• رمزنگاری
• رمزنگاری الجمل
• روش‌های صوری
• ریاضیات

ز

• زبان‌شناسی رایانشی
• زبان‌شناسی نظری

س

• سایبرنتیک
• سری زمانی

ع

• علوم دقیقه
• علوم سامانه‌ها
• علوم نظری رایانه

ف

• فرمول
• فشرده‌سازی داده‌ها
• فشرده‌سازی داده‌های صوتی
• فیزیک آماری

ل

• لم تزریق

ن

• نظریه اطلاعات
• نظریه بازی
• نظریه تصمیم
• نظریه صف
• نظریه کنترل

ه

• همدلی مصنوعی
• هوش مصنوعی