پنجشنبه ۲۱ فروردین ۱۴۰۴
مرتب سازی درج پیشنهاد خرید پالایش جستجو
نوع مدرک: متون چاپی سرشناسه اورگان ، جرارد، نویسنده شماره بازیابی : QA76/9 /ج4 ر9 1400 عنوان : روش‌های رسمی در مهندسی نرم‌افزار تکرار نام مولف : نویسنده جرارد رگان ؛ مترجمان امیرحسین آشنا، زهرا عسکری‌نژادامیری ویراستار فنی هادی محمدزاده ناشر: تهران : دانشکده غیر دولتی- غیر انتفاعی رفاه، انتشارات سال نشر : 1400 صفحه شمار: 414 ص ویژگی : مصور (بخشی رنگی)، جدول شابک/شاپا 978-6-229-50329-4 قیمت : 1180000ریال یادداشت عنوان اصلی: Concise guide to formal methods: theory, fundamentals and industry applications, 2017
کتابنامه: ص. [401] - 403
نمایهشناسه افزوده : آشنا ، امیرحسین (1352 -)، مترجم دانشکده غیر دولتی- غیر انتفاعی رفاه . انتشارات عسکری‌نژاد امیری ، زهرا (1365-)، مترجم محمدزاده ، هادی (1348 -)، ویراستار موضوع‌ها : اصفا
علوم کامپیوتر-- ریاضیات ؛ Computer science-- Mathematics ؛ نرم‌افزار-- استفاده مجدد ؛ Computer software-- Reusability ؛ منطق ریاضی ؛ Logic, Symbolic and mathematical ؛ نرم‌افزار-- مهندسی ؛ Software engineeringلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=9224 زبان مدرک : فارسی زبان اصلی : English
درخواست رزرو
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت گرایش تحصیلی 13225 QA76/9 /ج4 ر9 1400 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 13318 QA76/9 /ج4 ر9 1400 ن.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 13562 QA76/9 /ج4 ر9 1400 ن.3 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود
نوع مدرک: متون چاپی سرشناسه گریمالدی ، رالف، نویسنده شماره بازیابی : QA39/2 /گ4 ر9 1395 عنوان : ریاضیات گسسته و ترکیباتی از دیدگاه کاربردی تکرار نام مولف : رالف گریمالدی ترجمه علی عمیدی ویراسته محمدهادی شفیعیها ناشر: تهران : مرکز نشر دانشگاهی سال نشر : 1376 - 1377 فروست : مرکز نشر دانشگاهی ؛ 859 صفحه شمار: 2 ج ویژگی : مصور، جدول، نمودار شابک/شاپا 978-964-01-8155-3 قیمت : 23000ریال یادداشت عنوان اصلی Discrete and combinatorial mathematics: an applied introduction
کتاب حاضر قبلا تحت عنوان "ریاضیات گسسته و ترکیباتی" با ترجمه محمدعلی رضوانی و بیژن شمس توسط نشر فاطمی در همین سال منتشر شده است
واژه‌نامه
ریاضیات گسسته و ترکیباتیشناسه افزوده : مرکز نشر دانشگاهی عمیدی ، علی (1312 -)، مترجم موضوع‌ها : اصفا
ریاضیات ؛ علوم کامپیوتر-- ریاضیات ؛ آنالیز ترکیبیلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=7460 زبان مدرک : فارسی زبان اصلی : English
درخواست رزرو
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت گرایش تحصیلی 10615 QA39/2 /گ4 ر9 1393 ج.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود 10616 QA39/2 /گ4 ر9 1393 ج.2 ن.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود 10613 QA39/2 /گ4 ر9 1395 ج.1 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی تاریخ بازگشت ۱۴۰۳/۱۲/۱۸ 10614 QA39/2 /گ4 ر9 1395 ج.1 ن.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود
طراحی الگوریتم یوسفی, هادی (1354 -) مقدمهای بر نظریه زبان‌ها و ماشین‌ها لینتس, پیتر
نوع مدرک: متون چاپی سرشناسه روزن ، کنت اچ، نویسنده شماره بازیابی : QA39/3 /ر9 ر9 1400 عنوان : ریاضیات گسسته و کاربردهای آن تکرار نام مولف : تالیف کنت.اچ روزن ؛ مترجم علی‌اکبر عالم‌زاده ناشر: تهران : نیاز دانش سال نشر : 1398 صفحه شمار: 2ج ویژگی : مصور، جدول، نمودار شابک/شاپا 978-6-00-890632-2 قیمت : 1360000 یادداشت عنوان اصلی: .Discrete mathematics and its applications, 7th ed, c2012
کتاب حاضر در سالهای مختلف توسط مترجمین و ناشران متفاوت منتشر شده است
ج.2 (چاپ سوم: 1400)
ج.1 (چاپ دوم: 1400)
978-600-8906-75-9
978-600-8906-31-5شناسه افزوده : عالم‌زاده ، علی‌اکبر (1322-)، مترجم موضوع‌ها : اصفا
ریاضیات ؛ Mathematics ؛ علوم کامپیوتر-- ریاضیات ؛ Computer science-- Mathematicsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=9086 زبان مدرک : فارسی زبان اصلی : English
درخواست رزرو
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت گرایش تحصیلی 13848 QA39/3 /ر9ر9 1397 ج.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود 12991 QA39/3 /ر9ر9 1400 ج.1 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی تاریخ بازگشت ۱۴۰۴/۰۱/۳۱ 12992 QA39/3 /ر9ر9 1400 ج.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود 13849 QA39/3 /ر9ر9 1400 ج.1 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود
Read this! intro: fascinating stories from the content areas مکی, دفنی (1952 - م) طراحی الگوریتم یوسفی, هادی (1354 -) طراحی دیجیتال (مدار منطقی) با مقدمهای بر Verilog HDL مانو, ام.موریس (1927 - م) مقدمهای بر نظریه زبان‌ها و ماشین‌ها لینتس, پیتر هنر زن بودن پریور, علی
