Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Dil
Yayın Yılı
-
Konu
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
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ç
3808 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
61. 
Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers için kapak resmi
Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
Yazar 
Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29193-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness için kapak resmi
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Yazar 
Gol Mohammadi, Nazila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-27488-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers için kapak resmi
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Yazar 
Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05529-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Integrating Business Process Models and Rules Empirical Evidence and Decision Framework için kapak resmi
Integrating Business Process Models and Rules Empirical Evidence and Decision Framework
Yazar 
Wang, Wei. author. (orcid)0000-0003-2932-4247 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-11809-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Yazar 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers için kapak resmi
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
Yazar 
Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17642-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III için kapak resmi
Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III
Yazar 
Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17659-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Yazar 
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21759-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings için kapak resmi
Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings
Yazar 
Coppola, Massimo. editor. (orcid)0000-0002-7937-4157 Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404 D’Agostino, Daniele. editor. (orcid)0000-0003-2649-0071 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13342-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers için kapak resmi
Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers
Yazar 
Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-10868-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Computing and Communication Systems in Urban Development A Detailed Perspective için kapak resmi
Computing and Communication Systems in Urban Development A Detailed Perspective
Yazar 
Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-26013-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç