Search Results for Computer science.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

208 sonuç bulundu

1 2 3 4 5 6 .. 18

000000000000DEFAULT_TR

37.

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31019-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22348-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

Yazar

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12018-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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:

41.

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24258-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I

Yazar

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29743-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27–28, 2017, Revised Selected Papers

Yazar

Ragia, Lemonia. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-06010-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part I

Yazar

Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-36365-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-31175-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Geo-informatics in Sustainable Ecosystem and Society 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers

Yazar

Xie, Yichun. editor. (orcid)0000-0002-2045-6406 Zhang, Anbing. editor. Liu, Haixin. editor. Feng, Lili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-7025-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Information Management and Big Data 5th International Conference, SIMBig 2018, Lima, Peru, September 3–5, 2018, Proceedings

Yazar

Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Muñante, Denisse. editor. (orcid)0000-0003-2621-8342 Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-11680-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II

Yazar

Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.