193 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ç
000000000000DEFAULTTR
Yazdır
5. 
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
6. 
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings için kapak resmi
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Yazar 
Blazy, Sandrine. editor.
http://dx.doi.org/10.1007/978-3-662-48288-9
Format: 
Electronic Resources
Alıntı: 
program verification, bug detection, compiler optimization, program understanding, and software
10. 
Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions için kapak resmi
Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
Yazar 
Francisco Lorenzon, Arthur. author.
https://doi.org/10.1007/978-3-030-28719-1
Format: 
Electronic Resources
Alıntı: 
This book describes several approaches to adaptability that are applied for the optimization of
12. 
Hybrid Soft Computing Approaches Research and Applications için kapak resmi
Hybrid Soft Computing Approaches Research and Applications
Hybrid Soft Computing Approaches Research and Applications
Yazar 
Bhattacharyya, Siddhartha. editor.
http://dx.doi.org/10.1007/978-81-322-2544-7
Format: 
Electronic Resources
Alıntı: 
examples include (a) Study of Economic Load Dispatch by Various Hybrid Optimization Techniques, (b) An
Tümünü Seç
193 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(192)
Apduhan, Bernady O. editor.
(7)
Gavrilova, Marina L. editor.
(6)
Gervasi, Osvaldo. editor.
(6)
Misra, Sanjay. editor.
(6)
Format
Dil
English
(193)
Basım Yılı
Konu
Computer science.
(108)
Artificial intelligence.
(92)
Computer Communication Networks.
(66)
Algorithm Analysis and Problem Complexity.
(65)
Information Systems Applications (incl. Internet).
(52)
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