Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(202)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Dil
English
(208)
Yayın Yılı
-
Konu
Artificial intelligence.
(72)
Software engineering.
(48)
Computer science—Mathematics.
(39)
Computer security.
(36)
Algorithms.
(33)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
208 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Yazar 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers için kapak resmi
Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers
Yazar 
Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X Das, Pradip Kumar. editor. Kharb, Latika. editor. Chahal, Deepak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-1384-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers için kapak resmi
Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers
Yazar 
Zhu, Xiaoyan. editor. Qin, Bing. editor. Zhu, Xiaodan. editor. Liu, Ming. editor. Qian, Longhua. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-1956-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers için kapak resmi
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
Yazar 
Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05819-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21–24, 2017, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21–24, 2017, Revised Selected Papers
Yazar 
Salampasis, Michail. editor. Bournaris, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12998-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings için kapak resmi
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Yazar 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I için kapak resmi
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I
Yazar 
Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-3140-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers için kapak resmi
Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers
Yazar 
Xie, Yichun. editor. (orcid)0000-0002-2045-6406 Zhang, Anbing. editor. Liu, Haixin. editor. Feng, Lili. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-7025-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings için kapak resmi
Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings
Yazar 
Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Muñante, Denisse. editor. (orcid)0000-0003-2621-8342 Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-11680-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II için kapak resmi
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II
Yazar 
Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-0111-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings için kapak resmi
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Yazar 
Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-28005-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç