Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(80)
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
Yayın Yılı
-
Konu
Artificial intelligence.
(39)
Algorithms.
(31)
Software engineering.
(30)
Computer science—Mathematics.
(21)
Mathematical logic.
(20)
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ç
80 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I için kapak resmi
Understanding the Brain Function and Emotions 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I
Yazar 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19591-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57708-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI için kapak resmi
Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI
Yazar 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62407-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings için kapak resmi
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
Yazar 
Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58667-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings için kapak resmi
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Yazar 
Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68210-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings için kapak resmi
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62932-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings için kapak resmi
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Yazar 
Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56258-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings için kapak resmi
Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
Yazar 
Bonato, Vanderlei. editor. Bouganis, Christos. editor. Gorgon, Marek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30481-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers için kapak resmi
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
Yazar 
Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46079-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings için kapak resmi
High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
Yazar 
Kunkel, Julian M. editor. Balaji, Pavan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41321-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç