70 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
13. 
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Yazar 
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Electronic Resources
Alıntı: 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
14. 
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings için kapak resmi
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Yazar 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Electronic Resources
Alıntı: 
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy
15. 
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures için kapak resmi
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Yazar 
Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-319-28406-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial
16. 
Transactions on Aspect-Oriented Software Development XII için kapak resmi
Transactions on Aspect-Oriented Software Development XII
Transactions on Aspect-Oriented Software Development XII
Yazar 
Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-662-46734-3
Format: 
Electronic Resources
Alıntı: 
Transactions on Aspect-Oriented Software Development XII Chiba, Shigeru. editor.
19. 
Transactions on Aspect-Oriented Software Development XI için kapak resmi
Transactions on Aspect-Oriented Software Development XI
Transactions on Aspect-Oriented Software Development XI
Yazar 
Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-642-55099-7
Format: 
Electronic Resources
Alıntı: 
Transactions on Aspect-Oriented Software Development XI Chiba, Shigeru. editor.
20. 
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ı: 
Computer Applications. http://scigraph.springernature.com/things/product-market-codes/I23001
22. 
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings için kapak resmi
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Yazar 
Malizia, Alessio. editor.
https://doi.org/10.1007/978-3-030-24781-2
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
23. 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings için kapak resmi
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Yazar 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Electronic Resources
Alıntı: 
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product
24. 
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers için kapak resmi
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
Yazar 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Electronic Resources
Alıntı: 
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product
Tümünü Seç
70 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(70)
Dongarra, Jack. editor.
(3)
Karczewski, Konrad. editor.
(3)
Wyrzykowski, Roman. editor.
(3)
Chiba, Shigeru. editor.
(2)
Format
Dil
Basım Yılı
Konu
Computer science.
(66)
Software engineering.
(61)
Programming Languages, Compilers, Interpreters.
(48)
Computer programming.
(35)
Logics and Meanings of Programs.
(23)
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