17 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
1. 
Provably Correct Systems için kapak resmi
Provably Correct Systems
Provably Correct Systems
Yazar 
Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
8. 
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Yazar 
Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
9. 
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity için kapak resmi
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Yazar 
Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
10. 
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Yazar 
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
https://doi.org/10.1007/978-3-319-51676-9
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
12. 
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Yazar 
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Tümünü Seç
17 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Balduccini, Marcello. editor.
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Bowen, Jonathan P. editor.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Format
Dil
Konu
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