29 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
2. 
Hybrid Dynamical Systems Observation and Control için kapak resmi
Hybrid Dynamical Systems Observation and Control
Hybrid Dynamical Systems Observation and Control
Yazar 
Djemai, Mohamed. editor.
http://dx.doi.org/10.1007/978-3-319-10795-0
Format: 
Electronic Resources
Alıntı: 
Mathematical and Computational Biology.
5. 
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings için kapak resmi
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
Yazar 
Alba, Enrique. editor.
https://doi.org/10.1007/978-3-319-59513-9
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
6. 
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers için kapak resmi
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
Yazar 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
7. 
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers için kapak resmi
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Yazar 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-030-05807-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
11. 
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings için kapak resmi
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Yazar 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Tümünü Seç
29 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(29)
Koepf, Wolfram. editor.
(3)
Seiler, Werner M. editor. (orcid)0000-0002-0565-1334
(3)
Vorozhtsov, Evgenii V. editor.
(3)
Gerdt, Vladimir P. editor.
(2)
Format
Dil
Basım Yılı
Konu
Software engineering.
(27)
Computer science.
(25)
Mathematical Logic and Formal Languages.
(17)
Logics and Meanings of Programs.
(14)
Special purpose computers.
(11)
Materyal Türü
Lokasyon
Kütüphane
Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

TED Üniversitesi

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

Powered by Informascope