Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(478)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(7)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Gao, Honghao. editor.
(5)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(190)
Software engineering.
(96)
Application software.
(84)
Computer security.
(73)
Computer communication systems.
(68)
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ç
531 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Fair Scheduling in High Performance Computing Environments için kapak resmi
Fair Scheduling in High Performance Computing Environments
Yazar 
Sedighi, Art. author. Smith, Milton. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14568-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
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:
39. 
Critical Information Infrastructures Security 13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24-26, 2018, Revised Selected Papers için kapak resmi
Critical Information Infrastructures Security 13th International Conference, CRITIS 2018, Kaunas, Lithuania, September 24-26, 2018, Revised Selected Papers
Yazar 
Luiijf, Eric. editor. (orcid)0000-0002-1821-9890 Žutautaitė, Inga. editor. (orcid)0000-0002-6073-2823 Hämmerli, Bernhard M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05849-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings için kapak resmi
Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings
Yazar 
Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233 Pernici, Barbara. editor. Lim, Ee-Peng. editor. de Oliveira, José Palazzo M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33223-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Testbeds and Research Infrastructures for the Development of Networks and Communities 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings için kapak resmi
Testbeds and Research Infrastructures for the Development of Networks and Communities 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings
Yazar 
Gao, Honghao. editor. Yin, Yuyu. editor. Yang, Xiaoxian. editor. Miao, Huaikou. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12971-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings için kapak resmi
Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings
Yazar 
Ferreira, Joao Carlos. editor. (orcid)0000-0002-6662-0806 Martins, Ana Lúcia. editor. (orcid)0000-0002-8533-6595 Monteiro, Vitor. editor. (orcid)0000-0001-6640-8955 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14757-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part IV için kapak resmi
Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part IV
Yazar 
Jawahar, C.V. editor. Li, Hongdong. editor. Mori, Greg. editor. Schindler, Konrad. editor. (orcid)0000-0002-3172-9246 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20870-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings için kapak resmi
Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings
Yazar 
Doucet, Antoine. editor. Isaac, Antoine. editor. Golub, Koraljka. editor. Aalberg, Trond. editor. (orcid)0000-0001-5593-0860 Jatowt, Adam. editor. (orcid)0000-0001-7235-0665
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30760-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Adaptive Instructional Systems First International Conference, AIS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings için kapak resmi
Adaptive Instructional Systems First International Conference, AIS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Yazar 
Sottilare, Robert A. editor. Schwarz, Jessica. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22341-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III için kapak resmi
Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III
Yazar 
Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34618-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings için kapak resmi
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Yazar 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Human Mental Workload: Models and Applications Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings için kapak resmi
Human Mental Workload: Models and Applications Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings
Yazar 
Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, Maria Chiara. editor. (orcid)0000-0002-6770-8332 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32423-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç