36 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
25. 
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings için kapak resmi
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Yazar 
Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
27. 
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings için kapak resmi
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
Yazar 
Qiu, Meikang. editor. (orcid)0000-0002-1004-0140
https://doi.org/10.1007/978-3-030-05764-0
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
28. 
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings için kapak resmi
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
Yazar 
Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
31. 
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings için kapak resmi
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Yazar 
Chen, Liqun. editor. (orcid)0000-0003-2680-4907
https://doi.org/10.1007/978-3-319-99136-8
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
32. 
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings için kapak resmi
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Yazar 
Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Electronic Resources
Alıntı: 
Static Analysis -- Program Verification.-Bug Detection -- Compiler Organization -- Program
33. 
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ı: 
verification.- Bug detection --  Compiler organization -- Program understanding -- Software maintenance. .
35. 
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ı: 
Guidelines for Engineering Self-organization and Emergence -- Engineering Requirements for Autonomy Features
Tümünü Seç
36 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443
(3)
Bondavalli, Andrea. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Format
Dil
Basım Yılı
Konu
Computer Systems Organization and Communication Networks.
(31)
Software engineering.
(31)
Computer science.
(27)
Computer logic.
(21)
Computer organization.
(18)
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