جستجو در کتاب‌های الکترونیکی

راهنمای جستجو | فهرست ناشران

جستجوی سریع: (در عنوان و شرح مختصر/مفصل)    

جستجوی پیشرفته - همه و يا تعدادي از فيلدهاي زير را تكميل و كليد جستجوي زير را فشار دهيد.


نمايش کتابها

نتايج از 1 تا 1 از مجموع 1

نمايش

تعداد نتايج در هر صفحه مرتب سازي با صعودي نزولي

صفحه از 1

10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings 
کنفرانس بین المللی در 10 کسر خودکار، کایزرسلاترن، FRG، 24-27 ژوئیه، 1990. مجموعه مقالات
 1. عنوان کتاب الکترونیک: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990. Proceedings
کنفرانس بین المللی در 10 کسر خودکار، کایزرسلاترن، FRG، 24-27 ژوئیه، 1990. مجموعه مقالات
موضوع: Computers
ناشر (انتشارات): Springer Science & Business Media
سال: 1990
شابک: 9783540528852، 3540528857
نویسنده: Mark E. Stickel
[ صفحه 688 | 211 بار نمایش ]

برو به صفحه

نمايش

تعداد نتايج در هر صفحه مرتب سازي با صعودي نزولي

صفحه از 1


مرجع دانش (سیویلیکا) | مجلات علمی پژوهشی | رتبه بندی بانکهای ایران | اخبار علمی | دیده بان علم ایران | پروژه ها و تحقیق دانشجویی | مرجع کتاب | فراخوانهای علمی پژوهشی کشور | افراد مهم علمی کشور | مرجع صنعت کنفرانس | اطلاع رسانی کنفرانسها | همایشهای پزشکی | بنانیوز (خبرگزاری مسکن و معماری) | نمایشگاه صنعت ساختمان | بانک نمونه قراردادها