Search Results for Computer Science.

208 sonuç bulundu

1 2 3 4 5 .. 18

000000000000DEFAULT_TR

25.

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings

Yazar

Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54423-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Yazar

Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44199-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

Yazar

Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08019-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Information Security 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15–16, 2018, Revised Selected Papers

Yazar

Venter, Hein. editor. (orcid)0000-0002-3607-8630 Loock, Marianne. editor. (orcid)0000-0001-8005-716X Coetzee, Marijke. editor. (orcid)0000-0002-9157-3079 Eloff, Mariki. editor. (orcid)0000-0001-8997-7931 Eloff, Jan. editor. (orcid)0000-0003-4683-2198

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Yazar

Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23597-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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

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-29750-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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:

33.

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:

34.

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:

35.

Algebra, Codes and Cryptology First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings

Yazar

Gueye, Cheikh Thiecoumba. editor. Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Cayrel, Pierre-Louis. editor. Buchmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Yazar

Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 18

	{displayName}	{count}
{error}