4 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ç
0000DEFAULTTR
Yazdır
1. 
Computational Artifacts Towards a Philosophy of Computer Science için kapak resmi
Computational Artifacts Towards a Philosophy of Computer Science
Computational Artifacts Towards a Philosophy of Computer Science
Yazar 
Turner, Raymond. author.
https://doi.org/10.1007/978-3-662-55565-1
Format: 
Electronic Resources
Alıntı: 
Computational Artifacts Towards a Philosophy of Computer Science / Turner, Raymond. author.
2. 
Process Algebras for Petri Nets The Alphabetization of Distributed Systems için kapak resmi
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Yazar 
Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Electronic Resources
Alıntı: 
Monographs in Theoretical Computer Science. An EATCS Series,
3. 
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ı: 
Computer science.
4. 
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ı: 
Computer science.
Tümünü Seç
4 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