50 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
14. 
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings için kapak resmi
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Yazar 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Electronic Resources
Alıntı: 
: Resource Management and Energy Efficiency; Performance Analysis and Tools; Exascale Networks; Parallel
15. 
Lectures on Runtime Verification Introductory and Advanced Topics için kapak resmi
Lectures on Runtime Verification Introductory and Advanced Topics
Lectures on Runtime Verification Introductory and Advanced Topics
Yazar 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: 
Electronic Resources
Alıntı: 
Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and
17. 
New Data Structures and Algorithms for Logic Synthesis and Verification için kapak resmi
New Data Structures and Algorithms for Logic Synthesis and Verification
New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar 
Amaru, Luca Gaetano. author.
https://doi.org/10.1007/978-3-319-43174-1
Format: 
Electronic Resources
Alıntı: 
This book introduces new logic primitives for electronic design automation tools. The author
22. 
Separation Logic for High-level Synthesis için kapak resmi
Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Yazar 
Winterstein, Felix. author.
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Electronic Resources
Alıntı: 
, novel program analyses and digital hardware design to advance current high-level synthesis tools and
Tümünü Seç
50 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(49)
de Supinski, Bronis R. editor.
(3)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Jeannot, Emmanuel. editor.
(2)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(2)
Format
Dil
Basım Yılı
2017
(18)
2018
(20)
2019
(12)
Konu
Computer science.
(32)
Software engineering.
(31)
Logics and Meanings of Programs.
(24)
Programming Languages, Compilers, Interpreters.
(22)
Artificial intelligence.
(17)
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