Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(87)
Avlonitis, Markos. editor. (orcid)0000-0002-8575-0358
(4)
Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528
(4)
Macintyre, John. editor. (orcid)0000-0001-8514-9127
(4)
Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X
(4)
Dil
Yayın Yılı
-
Konu
Algorithms.
(61)
Artificial intelligence.
(40)
Application software.
(20)
Computer networks .
(17)
Software engineering.
(16)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
91 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
An Introduction to Kolmogorov Complexity and Its Applications için kapak resmi
An Introduction to Kolmogorov Complexity and Its Applications
Yazar 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-11298-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers için kapak resmi
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Yazar 
Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35895-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I için kapak resmi
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I
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-0108-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
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:
41. 
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers için kapak resmi
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Yazar 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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:
43. 
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:
44. 
Cloud Computing Principles, Systems and Applications için kapak resmi
Cloud Computing Principles, Systems and Applications
Yazar 
Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54645-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers için kapak resmi
High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016, Revised Selected Papers
Yazar 
Barrios Hernández, Carlos Jaime. editor. Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57972-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
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:
47. 
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings için kapak resmi
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Yazar 
Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68034-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets