مرتب سازی درج پیشنهاد خرید پالایش جستجو
نتایج سرعنوان جستجو شده
مرتب سازی درج پیشنهاد خرید پالایش جستجوگسترش جستجو به رکوردهای فرزند
نوع مدرک: متون چاپی سرشناسه اورگان ، جرارد، نویسنده شماره بازیابی : 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/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 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی موجود
