15 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
4. 
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Yazar 
Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com
5. 
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings için kapak resmi
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Yazar 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-030-12274-4
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com
8. 
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Yazar 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com
12. 
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows için kapak resmi
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Yazar 
Guttman, Joshua D. editor.
https://doi.org/10.1007/978-3-030-19052-1
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com
Tümünü Seç
15 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
(1)
Badger, Julia M. editor.
(1)
Bernardo, Marco. editor.
(1)
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
(1)
Format
Dil
Basım Yılı
Konu
Programming Languages, Compilers, Interpreters.
(15)
Computer Systems Organization and Communication Networks.
(14)
Computer organization.
(14)
Software engineering.
(11)
Computer logic.
(7)
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