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)