Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Ali, Maaruf. editor. (orcid)0000-0001-9906-5004
(1)
Andreasen, Troels. editor.
(1)
Awan, Irfan. editor.
(1)
Barrios Hernandez, Carlos Jaime. editor.
(1)
Dil
Yayın Yılı
-
2019
(15)
2014
(2)
Konu
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ç
17 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
13. 
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Yazar 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings için kapak resmi
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Yazar 
Fontaine, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers için kapak resmi
Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers
Yazar 
Tang, Yong. editor. Zu, Qiaohong. editor. Rodríguez García, José G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-15127-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ için kapak resmi
Computational Intelligence, Networked Systems and Their Applications International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅱ
Yazar 
Fei, Minrui. editor. Peng, Chen. editor. Su, Zhou. editor. Song, Yang. editor. Han, Qinglong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45261-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings için kapak resmi
High Performance Computing First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings
Yazar 
Hernandez, Gonzalo. editor. Barrios Hernandez, Carlos Jaime. editor. Díaz, Gilberto. editor. García Garino, Carlos. editor. Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45483-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: