109 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
30. 
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab için kapak resmi
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Yazar 
de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
32. 
Retrogame Archeology Exploring Old Computer Games için kapak resmi
Retrogame Archeology Exploring Old Computer Games
Retrogame Archeology Exploring Old Computer Games
Yazar 
Aycock, John. author.
http://dx.doi.org/10.1007/978-3-319-30004-7
Format: 
Electronic Resources
Alıntı: 
professionals and advanced-level students in computer science, engineering, and mathematics but would also be of
33. 
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
34. 
Introduction to Software Quality için kapak resmi
Introduction to Software Quality
Introduction to Software Quality
Yazar 
O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-06106-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
35. 
Machine Learning with R için kapak resmi
Machine Learning with R
Machine Learning with R
Yazar 
Ghatak, Abhijit. author.
https://doi.org/10.1007/978-981-10-6808-9
Format: 
Electronic Resources
Alıntı: 
is involved in designing a learning algorithm. This part helps readers understand the mathematical
36. 
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
Tümünü Seç
109 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(109)
Karczewski, Konrad. editor.
(4)
Dongarra, Jack. editor.
(3)
Wyrzykowski, Roman. editor.
(3)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(2)
Format
Dil
English
(109)
Basım Yılı
Konu
Computer science.
(98)
Mathematical Logic and Formal Languages.
(83)
Programming Languages, Compilers, Interpreters.
(72)
Logics and Meanings of Programs.
(67)
Software engineering.
(66)
Materyal Türü
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope