مجله علمی تفریحی بیبیس

ناسا

دانلود کتاب ماموریت های ویجر ناسا – کاوش در منظومه شمسی بیرونی و فراتر از آن

عنوان مجله: NASAs Voyager Missions/ Exploring the Outer Solar System and Beyond نویسنده: Ben Evans حوزه: ناسا, منظومه شمسی سال انتشار: 2022 تعداد صفحه: 256 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: 9.57 مگابایت این کتاب ادامه مطلب

دانلود کتاب چهاردهمین سمپوزیوم بین‌المللی روش‌های رسمی ناسا

عنوان مجله: NASA Formal Methods 14th International Symposium, NFM 2022 نویسنده: Jyotirmoy V. Deshmukh, Klaus Havelund حوزه: ناسا سال انتشار: 2022 تعداد صفحه: 846 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: 29.52 مگابایت سمپوزیوم روش‌های رسمی ادامه مطلب