201. مبانی نظریه محاسبات
پدیدآورنده : / تالیف هری لویس ، کریستوز پاپا دیمیترو,عنواناصلی: Elements of the theory of computation.c 1998
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی
رده :
QA
۲۹۷
/
ل
۹
م
۲ ۱۳۸۵
202. مبانی نظریه محاسبات (نظریه زبانها و ماشینها)
پدیدآورنده : لوئیس، هری Lewis, Harry R
موضوع : نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
203. مباني نظريه محاسبات (نظريه زبانها و ماشينها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
204. مبانی نظریه محاسبات (نظریه زبانها و ماشینها)
پدیدآورنده : لوئیس، هری
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : زبانهای صوری,نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
205. مبانی نظریه محاسبات ( نظریه زبانهاو ماشینها)
پدیدآورنده : / تالیف هری لویس، کریستوز پاپادیمیترو,Elements of the theory of compution, 2nd.ed ,c1998.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,aمنطق جدید
رده :
۵۱۱
/
۳
ل
۸۲۳
م
۲
ریو
206. مثنوی تغلق نامه خسرو دهلوی
پدیدآورنده : امیر خسرو، خسرو بن محمود، ۶۵۱-۷۲۵ق.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : شعر فارسی - قرن ۸ق.,امیرخسرو، خسرو بن محمود، ۶۵۱-۷۲۵ق. تغلق نامه - نقد و تفسیر
رده :
PIR
۵۳۴۶ ۱۳۱۲
207. مثنوی وامق و عذرا
پدیدآورنده : عنصری، حسن بن احمد، -۴۳۱ق.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : عنصری، حسن بن احمد، -۴۳۱ق. وامق و عذرا - نقد و تفسیر,شعر فارسی - قرن ۵ق.
رده :
PIR
۴۶۸۱
/
ش
۷
م
۱۹۶۷
208. مجموعه مقالات
پدیدآورنده :
کتابخانه: كتابخانه ايرانشناسی مجلس شورای اسلامی (تهران)
موضوع : ایران - تاریخ - مقالهها و خطابهها,ادبیات فارسی - مقالهها و خطابهها
رده :
DSR
،۴،
/
م
۳
209. مختصر نافع
پدیدآورنده : محقق حلی، جعفر بن حسن، ۶۰۲-۶۷۶ق.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : فقه جعفری - قرن ۱۳ق.,نثر فارسی - قرن ۷ق.,محقق حلی، جعفر بن حسن، ۶۰۲-۶۷۶ق. - نقد و تفسیر
رده :
BP
۱۸۲
/
م
۳
م
۳۰۴۱ ۱۳۴۳
210. مخزنالاسرار
پدیدآورنده : نظامی، الیاس بن یوسف، ۵۳۰؟-۶۱۴؟ق.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : شعر فارسی - قرن ۶ق.
رده :
PIR
۵۱۳۱
/
و
۳ ۱۳۲۰
211. مرزهای باور
پدیدآورنده : /گردآورنده و تدوین سیدحسین حسنزاده,حسنزاده
کتابخانه: کتابخانه تخصصی انقلاب اسلامی و دفاع مقدس (تهران)
موضوع : رمضانی گیوی,، حسینعلی,، ۱۳۳۸-,جنگ ایران و عراق، ۱۳۵۹-۱۳۶۷,Iran-Iraq War, 1980-1988,جنگ ایران و عراق، ۱۳۵۹-۱۳۶۷,Iran-Iraq War, 1980-1988, -- خاطرات, -- Personal narratives, -- مصاحبهها, -- Interviews,a01,a01,a02,a02,دفاع مقدس
رده :
DSR
۱۶۲۹
/
ح
۵۱
م
۴
213. مطالعات اسلامی(فقه و حقوق اسلامی) ۷۳
پدیدآورنده :
کتابخانه: کتابخانه دانشگاه قرآن و حديث (پردیس تهران) (تهران)
موضوع :
214. مقالات وبررسیها(دفتر ۲۹-۲۸)
پدیدآورنده :
کتابخانه: کتابخانه دانشگاه قرآن و حديث (پردیس تهران) (تهران)
موضوع :
215. ملخص اللغات
پدیدآورنده : خطیب کرمانی، حسن، قرن ۱۰ق.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : زبان عربی - واژهنامهها - فارسی,فارسی - واژهنامهها - عربی
رده :
PJ
۶۶۳۶
/
ف
۲
خ
۷
216. منتخب رونق المجالس و بستان العارفین و تحفه المریدین، براساس نسخه مورخ ۵۴۳ هجری
پدیدآورنده : سرقندی، عمر بن حسن، -۴۸۰؟ق.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : عرفان - متون قدیمی تا قرن ۱۴,تصوف,نثر فارسی - قرن ۶ق.
رده :
BP
۲۸۲
/
۵۹
/
ر
۹۰۱
ر
۳
217. منتخباتی از اشعار داراب افسر بختیاری
پدیدآورنده : افسر بختیاری، داراب، ۱۲۷۹-۱۳۵۰
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : شعر فارسی - قرن ۱۴,شعر عامه فارسی - چهارمحال و بختیاری
رده :
PIR
۷۹۵۳
/
ف
۵۲
آ
۲
218. منطق حقوقی و انفورماتیک حقوقی
پدیدآورنده : حبیبی، حسن، ۱۳۱۵-۱۳۹۱
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : حقوق - تفسیر و استنباط,حقوق,حقوق - فلسفه,اطلاعرسانی
رده :
K
۲۹۵
/
ف
۲
219. مهدی :از صدراسلام تا قرن سیزدهم هجری
پدیدآورنده : دارمستتر، ژام، ۱۸۴۹-۱۸۹۴م.
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : مهدویت,محمد بن حسن(عج)، امام دوازدهم، ۲۵۵ق.-
رده :
BP
۲۲۴
/
د
۲
م
۹ ۱۳۱۷
220. نامه تنسر به جشنسف
پدیدآورنده : ترجمه از پهلوی به عربی به قلم ابن مقفع؛ ترجمه از عربی به فارسی به قلم ابن اسفندیار؛ به ضمیمه دیباچه و حواشی و توضیحات بسعی و تحقیق مجتبی مینوی
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ادبیات پهلوی,ایران - تاریخ - ساسانیان، ۲۲۶-۶۵۱م.
رده :
PIR
۲۰۵۷
/
ن
۲
ن
۲ ۱۳۱۱