28 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
Yazar 
Alexandru, Andrei. author.
Format: 
Electronic Resources
Alıntı: 
and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show
Yazar 
Rayadurgam, Sanjai. editor.
Format: 
Electronic Resources
Alıntı: 
Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for
Yazar 
Soare, Robert I. author.
Format: 
Electronic Resources
Alıntı: 
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine
Yazar 
Calude, Cristian S. editor.
Format: 
Electronic Resources
Alıntı: 
Counterexamples -- One-Sided Random Context Grammars -- How Can We Construct Reversible Machines out of Reversible
Tümünü Seç
28 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane