1341. حل تمرینهای کتاب مقدمهای بر نظریه زبانها و ماشینها پیتر لینز- ترجمه دکتر صرافزاده
پدیدآورنده: ریاحی، علی
کتابخانه: کتابخانه دانشگاه تربت حیدریه (خراسان رضوی)
موضوع: زبانهای صوری,نظریه ماشین,زبانهای صوری -- مسائل، تمرینها و غیره (عالی),نظریه ماشین -- مسائل، تمرینها و غیره (عالی)
رده :
QA
۲۶۷
/
۳
/
ن
64
ر
9


1342. حل مسألهصی تطبیق غیرصدقیق گراف با استفاده از خودکار یادگیر
پدیدآورنده: /فاطمه درودی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:

1343. روشی جهت مدیریت منابع در شبکه های مبتنی بر نرم افزار بر اساس میزان ترافیک و کیفیت سرویس
پدیدآورنده: گدازگر، روح الله
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی برق,برق

1344. زمان بندی دروس دانشگاهی با استفاده از آتوماتای سلولی
پدیدآورنده: کنجعلی، فرشید
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی برق,برق

1345. شبیه سازی جریان سیال درون یک کانال با وجود پله وارون، بر اساس روش شبکه بولتزمن با استفاده از المان محدود
پدیدآورنده: / محمد جوکاری
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: پایان نامه کارشناسی ارشد,دانشکده مهندسی,مهندسی مکانیک,تبدیل انرژی,شبیهسازي عددي، المان محدود شبکه بولتزمن، کانال با پله وارون، طول ناحیه ورودی، نقطه بازگشت مجدد

1346. شبیه سازی جوانه زنی تحریک شده توسط ذرات فاز ثانویه حین تبلورمجدد با استفاده از روش اتوماسیون سلولی
پدیدآورنده: صابر، نیلوفر
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی و علم مواد

1347. شبیه سازی عددی پخش ماده ای مخلوط نشدنی مانند نفت در آب به روش لتیس بولتزمن بولتزمان
پدیدآورنده: محمدی، رامیار
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی مکانیک

1348. شبیهسازی پدیده رشد دانه در سوپر آلیاژهای پایه نیکل به روش اتوماسیون سلولی
پدیدآورنده: زراعتکار، سجاد
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی و علم مواد

1349. شبیهسازی تبلورمجدد استاتیکی در حین آنیل غیرهمدما به روش اتوماسیون سلولی و روش اجزا محدود
پدیدآورنده: بختیاری، میثم
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی و علم مواد

1350. شبیهسازی تحولات ریزساختاری حین آنیل غیر همدما آلیاژ آلومینیوم- منیزیم 2505 AA به روش اتوماسیون سلولی
پدیدآورنده: اسعدی زهرائی، آیدا
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی مکانیک و مواد

1351. طراحی شبکه های جمع آوری آب های سطحی در شهرهای واقع در دشت
پدیدآورنده: / نگین فرهمند
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: پایان نامه کارشناسی ارشد,دانشکده مهندسی,مهندسی عمران,آب و سازه های هیدرولیکی,ب¬های سطحی، اعتمادپذیری، رواناب، SWMM

1352. طراحی و بهینهسازی جمع کنندهی مبتنی بر آتوماتای سلول کوانتومی
پدیدآورنده: /الهام بهرامی هیدجی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:

1353. طرح ۹۰٪ نظریه زبانها و ماشینها شامل: درس، تستهای کنکور کارشناسی ارشد قابل استفاده دانشجویان کارشناسی و داوطبین آزمون کارشناسی ارشد رشته مهندسی کامپیوتر
پدیدآورنده: /مولف حمید طاهرپور.,پشت جلد به انگیسی: .H.Taherpour.formal languages & automata 90% blueprint,طاهرپور
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: دانشگاهها و مدارس عالی,مهندسی کامپیوتر,مهندسی کامپیوتر,آزمون دورههای تحصیلات تکمیلی, -- آزمونها, -- آزمونها و تمرینها (عالی), -- راهنمای آموزشی (عالی), -- ایران
رده :
LB
۲۳۵۳


1354. ظ†ط¸ط±غŒظ‡ ط²ط¨ط§ظ†â€Œظ‡ط§ ظˆ ظ…ط§ط´غŒظ†â€Œظ‡ط§
پدیدآورنده: / [ظ¾غŒطھط± ظ„غŒظ†طھط³],ط¹ظ†ظˆط§ظ† ط§طµظ„غŒ:†An introduction to formal languages and automata,5th ed, c2012.,ظ„â€چغŒâ€چظ†â€چطھâ€چط³â€Œ,Linz
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: ط²ط¨ط§ظ†â€Œظ‡ط§غŒ طµظˆط±غŒ,ظ†ط¸ط±غŒظ‡ ظ…ط§ط´غŒظ†
رده :
â€
ڈ
‫‬â€
QA
غ
²
غ
¶
غ
·
/
غ
³â€
ڈ
‫‬â€â€â€¬ â€
ڈ
‫â

1355. ظ†ط¸ط±غŒظ‡ ط²ط¨ط§ظ†ظ‡ط§ ظˆ ط§طھظˆظ…ط§طھط§
پدیدآورنده: / ظ†ظˆغŒط³ظ†ط¯ظ‡ ظ¾غŒطھط± ظ„غŒظ†ط²,An introduction to formal languages and automata, 5th ed., c2012.,ظ„â€چغŒâ€چظ†â€چطھâ€چط³â€Œ
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: ط²ط¨ط§ظ†â€Œظ‡ط§غŒ طµظˆط±غŒ,ظ†ط¸ط±غŒظ‡ ظ…ط§ط´غŒظ†
رده :
â€
QA
غ
²
غ
¶
غ
·
/
غ
³â€¬ â€
/
ظ
„
غ
¹
ظ
…
غ
·
غ
±
غ
³
غ
¹
غ
³â€¬

1356. عنوان اصلی: .An introduction to formal languages and automata,3rd ed,2001
پدیدآورنده : لینتس ،پیتر
موضوع : ، زبان های صوری، ,، نظریه ماشین،
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
1357. فرمول بندی حرکت یک ربات متحرک با اتوماتای سلولی و شبکه عصبی مصنوعی برای جذب انرژی بیشتر در واحد زمان,The Formulation of moving a Mobile Robot with Cellular Automata and Artifical Neural Network to absorb more energy per unit time
پدیدآورنده: /وحید پاشایی راد
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:

1358. کاربرد روشهای MCDM در محیط GIS برای مدل سازی تخصیص کاربریهای اراضی شهرستان تبریز و پیادهسازی آن در بستر وب
پدیدآورنده: /ویدا فرهادی بانسوله
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:

1359. لبه¬یابی در تصاویر ماهواره¬ای SAR با استفاده از اتوماتای سلولی فازی, لبه¬یابی در تصاویر ماهواره¬ای SAR با استفاده از اتوماتای سلولی فازی
پدیدآورنده: محمد فربد,محمد فربد
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: پایان نامه کارشناسی ارشد,دانشکده مهندسی,مهندسی برق,الکترونیک,تصاویر SAR، تشخیص لبه، بخش¬بندی تصویر، اتوماتای سلولی، منطق فازی

1360. مخفی کردن اطلاعات در تصاویر به صورت چند سهمی با استفاده از تبدیل موجک
پدیدآورنده: /سامان صالحی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
