Formal Methods for Safety and Security. 1st ed. 2018

কিউআর কোড

Formal Methods for Safety and Security. 1st ed. 2018

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Nanda, Manju, Jeppu, Yogananda
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Springer Singapore 2020
বিষয়গুলি:	Engineering Aerospace Technology and Astronautics Calculus of Variations and Optimal Control Optimization
অনলাইন ব্যবহার করুন:	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)

Numerical Engineering Optimization. 1st ed.
অনুযায়ী: Öchsner, Andreas, অন্যান্য
প্রকাশিত: (2020)

Discrete-Time Optimal Control and Games on Large Intervals. 1st ed. 2017
অনুযায়ী: Zaslavski, Alexander J.
প্রকাশিত: (2020)

Convex Analysis and Monotone Operator Theory in Hilbert Spaces. 2nd ed. 2017
অনুযায়ী: Bauschke, Heinz H., অন্যান্য
প্রকাশিত: (2020)

Vector Variational Inequalities and Vector Optimization. 1st ed. 2018
অনুযায়ী: Ansari, Qamrul Hasan, অন্যান্য
প্রকাশিত: (2020)

Vector-Valued Partial Differential Equations and Applications. 1st ed. 2017
অনুযায়ী: Dacorogna, Bernard, অন্যান্য
প্রকাশিত: (2020)

Flows of Non-Smooth Vector Fields and Degenerate Elliptic Equations. 1st ed. 2017
অনুযায়ী: Colombo, Maria
প্রকাশিত: (2020)

Fractional Elliptic Problems with Critical Growth in the Whole of $\R^n$. 1st ed. 2017
অনুযায়ী: Dipierro, Serena, অন্যান্য
প্রকাশিত: (2020)

Dynamical and Geometric Aspects of Hamilton-Jacobi and Linearized Monge-Ampère Equations. 1st ed. 2017
অনুযায়ী: Le, Nam Q., অন্যান্য
প্রকাশিত: (2020)

An Introduction to the Topological Derivative Method
অনুযায়ী: Novotny, Antonio André, অন্যান্য
প্রকাশিত: (2020)

Advances in Energy System Optimization. 1st ed. 2017
অনুযায়ী: Bertsch, Valentin, অন্যান্য
প্রকাশিত: (2020)

Stochastic Optimal Control in Infinite Dimension. 1st ed. 2017
অনুযায়ী: Fabbri, Giorgio, অন্যান্য
প্রকাশিত: (2020)

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III). 1st ed. 2017
অনুযায়ী: Park, Seon Ki, অন্যান্য
প্রকাশিত: (2020)

Reinforcement Learning for Optimal Feedback Control
অনুযায়ী: Kamalapurkar, Rushikesh, অন্যান্য
প্রকাশিত: (2020)

Optimization for Robot Modelling with MATLAB
অনুযায়ী: Ghafil, Hazim Nasir, অন্যান্য
প্রকাশিত: (2020)

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm
অনুযায়ী: Amador, Leticia, অন্যান্য
প্রকাশিত: (2020)

Soft Computing for Sustainability Science. 1st ed. 2018
অনুযায়ী: Corona, Carlos Cruz
প্রকাশিত: (2020)

Satellite Formation Flying
অনুযায়ী: Wang, Danwei, অন্যান্য
প্রকাশিত: (2020)

Optimal Trajectory Tracking of Nonlinear Dynamical Systems. 1st ed. 2017
অনুযায়ী: Löber, Jakob
প্রকাশিত: (2020)

Convex Optimization with Computational Errors
অনুযায়ী: Zaslavski, Alexander J.
প্রকাশিত: (2020)

Sensing and Control for Autonomous Vehicles
অনুযায়ী: Fossen, Thor I., অন্যান্য
প্রকাশিত: (2020)

Model-Free Stabilization by Extremum Seeking
অনুযায়ী: Scheinker, Alexander, অন্যান্য
প্রকাশিত: (2020)

Optimal Control of a Double Integrator
অনুযায়ী: Locatelli, Arturo
প্রকাশিত: (2020)

Representation and Control of Infinite Dimensional Systems
অনুযায়ী: Bensoussan, Alain, অন্যান্য
প্রকাশিত: (2020)

Aerial Manipulation. 1st ed. 2018
অনুযায়ী: Orsag, Matko, অন্যান্য
প্রকাশিত: (2020)

Optimal Observation for Cyber-physical Systems
অনুযায়ী: Song, Zhen, অন্যান্য
প্রকাশিত: (2020)

Control Systems and Mathematical Methods in Economics
অনুযায়ী: Feichtinger, Gustav, অন্যান্য
প্রকাশিত: (2020)

Process Control Performance Assessment
অনুযায়ী: Ordys, Andrzej, অন্যান্য
প্রকাশিত: (2020)

Advanced Control of Industrial Processes
অনুযায়ী: Tatjewski, Piotr
প্রকাশিত: (2020)

The Dual of L∞(X,L,λ), Finitely Additive Measures and Weak Convergence
অনুযায়ী: Toland, John
প্রকাশিত: (2020)

Instability in Models Connected with Fluid Flows I
অনুযায়ী: Bardos, Claude, অন্যান্য
প্রকাশিত: (2020)

Instability in Models Connected with Fluid Flows II
অনুযায়ী: Bardos, Claude, অন্যান্য
প্রকাশিত: (2020)

Nonlinear Solid Mechanics
অনুযায়ী: Ibrahimbegovic, Adnan
প্রকাশিত: (2020)

Detonation Control for Propulsion. 1st ed. 2018
অনুযায়ী: Li, Jiun-Ming, অন্যান্য
প্রকাশিত: (2020)

Foundations of Circulation Control Based Small-Scale Unmanned Aircraft. 1st ed. 2018
অনুযায়ী: Kanistras, Konstantinos, অন্যান্য
প্রকাশিত: (2020)

The Test and Launch Control Technology for Launch Vehicles
অনুযায়ী: Song, Zhengyu
প্রকাশিত: (2020)