99 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
1. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Applications in Computer Science. http://scigraph.springernature.com/things/product
3. 
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ı: 
Computer science.
4. 
String Analysis for Software Verification and Security için kapak resmi
String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Yazar 
Bultan, Tevfik. author.
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
5. 
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ı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
8. 
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings için kapak resmi
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Yazar 
Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
https://doi.org/10.1007/978-3-319-66706-5
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
9. 
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ı: 
Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I
11. 
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings için kapak resmi
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Yazar 
Costantini, Stefania. editor.
https://doi.org/10.1007/978-3-319-61252-2
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product
Tümünü Seç
99 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(99)
Hameurlain, Abdelkader. editor.
(3)
Bekki, Daisuke. editor.
(2)
Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
(2)
Bouajjani, Ahmed. editor.
(2)
Format
Dil
Konu
Computer science.
(99)
Artificial intelligence.
(58)
Software engineering.
(57)
Logic design.
(55)
Logics and Meanings of Programs.
(55)
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