3 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ç
000DEFAULTTR
Yazdır
1. 
The Incomputable Journeys Beyond the Turing Barrier için kapak resmi
The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Yazar 
Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
2. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Mathematics of Computing. http://scigraph.springernature.com/things/product-market-codes/I17001
3. 
Logic and information flow için kapak resmi
Logic and information flow
Logic and information flow
Yazar 
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Electronic Resources
Alıntı: 
Foundations of computing.
Tümünü Seç
3 sonuç bulundu Arama sonuçlarına abone ol
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