Formal Methods for Safety and Security. 1st ed. 2018
محفوظ في:
المؤلفون الرئيسيون: | Nanda, Manju, Jeppu, Yogananda |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer Singapore
2020
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://doi.org/10.1007/978-981-10-4121-1 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/102645 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
مواد مشابهة
-
Design of Trajectory Optimization Approach for Space Maneuver Vehicle Skip Entry Problems
بواسطة: Chai, Runqi, وآخرون
منشور في: (2020) -
Control Engineering and Finance. 1st ed. 2018
بواسطة: Hacısalihzade, Selim S.
منشور في: (2020) -
Fuzzy Dual Numbers. 1st ed. 2018
بواسطة: Mora-Camino, Felix, وآخرون
منشور في: (2020) -
Numerical Optimization. 2nd ed.
بواسطة: Nocedal, Jorge, وآخرون
منشور في: (2020) -
Soft Computing Based Optimization and Decision Models. 1st ed. 2018
بواسطة: Pelta, David A., وآخرون
منشور في: (2020)