5 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00000DEFAULTTR
Yazdır
1. 
Formal Methods for Safety and Security Case Studies for Aerospace Applications için kapak resmi
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Yazar 
Nanda, Manju. editor.
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Electronic Resources
Alıntı: 
Calculus of Variations and Optimal Control; Optimization. http://scigraph.springernature.com/things
2. 
Fractional-order Modeling and Control of Dynamic Systems için kapak resmi
Fractional-order Modeling and Control of Dynamic Systems
Fractional-order Modeling and Control of Dynamic Systems
Yazar 
Tepljakov, Aleksei. author.
https://doi.org/10.1007/978-3-319-52950-9
Format: 
Electronic Resources
Alıntı: 
using fractional-order calculus. It describes the development of model-based control design methods for
3. 
Fundamentals of Optimization Methods, Minimum Principles, and Applications for Making Things Better için kapak resmi
Fundamentals of Optimization Methods, Minimum Principles, and Applications for Making Things Better
Fundamentals of Optimization Methods, Minimum Principles, and Applications for Making Things Better
Yazar 
French, Mark. author.
https://doi.org/10.1007/978-3-319-76192-3
Format: 
Electronic Resources
Alıntı: 
-- Multi-objective Optimization -- Appendix A - Calculus Refresher -- Appendix B - Test Functions -- Appendix C
4. 
Cryptography Made Simple için kapak resmi
Cryptography Made Simple
Cryptography Made Simple
Yazar 
Smart, Nigel P. author.
http://dx.doi.org/10.1007/978-3-319-21936-3
Format: 
Electronic Resources
Alıntı: 
knowledge of discrete mathematics, probability, and elementary calculus.
5. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Trajectory Evaluation -- The mu-calculus and Model Checking -- Graph Games and Reactive Synthesis -- Model
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope