34 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. 
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ı: 
extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised
7. 
Reversible Logic Synthesis Methodologies with Application to Quantum Computing için kapak resmi
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Yazar 
Taha, Saleem Mohammed Ridha. author.
http://dx.doi.org/10.1007/978-3-319-23479-3
Format: 
Electronic Resources
Alıntı: 
computing research. It presents the state of the art required to travel around that world safely. Top world
9. 
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings için kapak resmi
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Yazar 
Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Electronic Resources
Alıntı: 
This book constitutes the refereed proceedings of the 25th International Symposium on Model
10. 
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings için kapak resmi
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Yazar 
Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Electronic Resources
Alıntı: 
invited paper were carefully reviewed and selected from 17 submissions. The aim of the conference is to
Tümünü Seç
34 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(34)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(3)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(2)
Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
(2)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(2)
Format
Dil
Basım Yılı
Konu
Computer science.
(25)
Logics and Meanings of Programs.
(21)
Mathematical Logic and Formal Languages.
(18)
Artificial intelligence.
(17)
Software engineering.
(16)
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