کلمه عبورتان را فراموش کردهاید؟
درخواست عضویت
درآمدی به منطق جدید (1373) / موحد ، ضیا (1321 -) نوع مدرک:متون چاپیسرشناسهموحد ، ضیا (1321 -)شماره بازیابی :QA9 /م85 د4 1373عنوان :درآمدی به منطق جدیدتکرار نام مولف :نویسنده ضیاء موحدناشر:تهران : شرکت انتشارات علمی و فرهنگیسال نشر :1373صفحه شمار:چهار، [398] صویژگی :جدولشابک/شاپا964-445-243-7قیمت :5500ریالیادداشتمقدمه به انگلیسی نیز داردشناسه افزوده :شرکت انتشارات علمی و فرهنگیموضوعها :اصفامنطق ریاضیلینک ثابت رکورد:../opac/index.php?lvl=record_display&id=4144زبان مدرک :فارسی فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانتگرایش تحصیلی6287QA9 /م85 د4 1373 کتاب فارسیکتابخانه مرکزی دانشکده رفاهسایراسناد مرجعغیر قابل امانت نظرهای کاربران درباره این مدرک تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید. رای شما : بدون امتیاز بد ضعیف خوب بسیار خوب جذاب موضوع شرح نظر شما روش‌های رسمی در مهندسی نرم‌افزار (1400) / اورگان ، جرارد، نویسنده نوع مدرک:متون چاپیسرشناسهاورگان ، جرارد، نویسندهشماره بازیابی :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 درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانتگرایش تحصیلی13225QA76/9 /ج4 ر9 1400 کتاب فارسیکتابخانه مرکزی دانشکده رفاهریاضیاسناد معمولیتاریخ بازگشت ۱۴۰۳/۰۸/۲۰ 13318QA76/9 /ج4 ر9 1400 ن.2کتاب فارسیکتابخانه مرکزی دانشکده رفاهریاضیاسناد معمولیتاریخ بازگشت ۱۴۰۳/۰۸/۲۰ 13562QA76/9 /ج4 ر9 1400 ن.3کتاب فارسیکتابخانه مرکزی دانشکده رفاهریاضیاسناد معمولیتاریخ بازگشت ۱۴۰۳/۰۸/۳۰ نظرهای کاربران درباره این مدرک تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید. رای شما : بدون امتیاز بد ضعیف خوب بسیار خوب جذاب موضوع شرح نظر شما
