نوع مدرک: متون چاپی سرشناسه اورگان ، جرارد، نویسنده شماره بازیابی : 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 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی تاریخ بازگشت ۱۴۰۳/۰۸/۳۰
نوع مدرک: متون چاپی سرشناسه خلیلیفر ، ارسطو (1360 -)، نویسنده شماره بازیابی : QA76/758 /خ3 م9 1400 عنوان : مهندسی نرمافزار تکرار نام مولف : مولف ارسطو خلیلیفر ویرایش : ویراست 4 ناشر: تهران : پوران پژوهش سال نشر : 1398 فروست : کتاب ارشد صفحه شمار: [5]،558 ص شابک/شاپا 978-964-18-4534-8 قیمت : 790000 ریال یادداشت پشت جلد به انگلیسی: .A.Khalilifar.Software engineering
چاپ چهارم
کنکور کارشناسی ارشد مهندسی نرمافزارموضوعها : اصفا
نرمافزار-- مهندسی ؛ Software engineeringلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=9084 زبان مدرک : فارسی
درخواست رزرو
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت گرایش تحصیلی 12988 QA76/758 /خ3 م9 1400 کتاب فارسی کتابخانه مرکزی دانشکده رفاه سایر اسناد معمولی تاریخ بازگشت ۱۴۰۳/۰۸/۲۰
نوع مدرک: متون چاپی سرشناسه پرسمن ، راجر اس (1947 - م)، نویسنده شماره بازیابی : QA76/758 /پ4م9 1398 عنوان : مهندسی نرمافزار تکرار نام مولف : تألیف راجر اس. پرسمن، بروس آر. ماکسیم ؛ ترجمه عینالله جعفرنژادقمی، ابراهیم عاملمحرابی ناشر: بابل : علوم رایانه سال نشر : 1398 صفحه شمار: 2 ج ویژگی : مصور شابک/شاپا 978-6-00-205140-0 قیمت : 500000 ریال یادداشت عنوان اصلی: Software engineering : a practitioner's approach, 8ed, 2015
جلد اول و دوم این کتاب در سال 1398 تجدیدچاپ شده است
واژه نامه
978-600-205-140-0
978-600-205-139-4شناسه افزوده : ماکسیم ، بروس آر Maxim ، Bruce R جعفرنژاد قمی ، عینالله (1339 -)، مترجم عامل محرابی ، ابراهیم (1348 -)، مترجم موضوعها : اصفا
نرمافزار-- مهندسی ؛ Software engineeringلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=8910 زبان مدرک : فارسی زبان اصلی : English
درخواست رزرو
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت گرایش تحصیلی 12822 QA76/758 /پ4 م9 1399 ج.1 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 12823 QA76/758 /پ4 م9 1399 ج.1 ن.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 12824 QA76/758 /پ4 م9 1399 ج.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 12825 QA76/758 /پ4 م9 1399 ج.2 ن.2 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 10330 QA76/758 /پ4م9 1398 ن.5 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی موجود 12959 QA76/758 /پ4م9 1398 ن.6 کتاب فارسی کتابخانه مرکزی دانشکده رفاه ریاضی اسناد معمولی تاریخ بازگشت ۱۴۰۳/۰۹/۰۵