50 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
6. 
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ı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
7. 
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ı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
11. 
Software Engineering for Collective Autonomic Systems The ASCENS Approach için kapak resmi
Software Engineering for Collective Autonomic Systems The ASCENS Approach
Software Engineering for Collective Autonomic Systems The ASCENS Approach
Yazar 
Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
Format: 
Electronic Resources
Alıntı: 
Software Engineering for Collective Autonomic Systems The ASCENS Approach / Wirsing, Martin. editor.
12. 
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ı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Tümünü Seç
50 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(50)
Giannakopoulou, Dimitra. editor.
(2)
Majumdar, Rupak. editor.
(2)
Voronkov, Andrei. editor.
(2)
Ölveczky, Peter Csaba. editor.
(2)
Dil
Basım Yılı
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