Search Results for Computer science.

453 sonuç bulundu

1 2 3 4 5 6 .. 38

000000000000DEFAULT_TR

37.

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings

Yazar

Bagnoli, Franco. editor. (orcid)0000-0002-6293-0305 Baetens, Jan. editor. (orcid)0000-0003-4084-9992 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Matteuzzi, Tommaso. editor. (orcid)0000-0002-1915-9148 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71552-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66263-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63121-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Yazar

Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57711-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Yazar

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41540-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Yazar

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41528-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers

Yazar

Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71412-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73716-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Information Systems Security 20th International Conference, ICISS 2024, Jaipur, India, December 16-20, 2024, Proceedings

Yazar

Patil, Vishwas T. editor. (orcid)0000-0001-7714-2291 Krishnan, Ram. editor. (orcid)0000-0002-7402-553X Shyamasundar, Rudrapatna K. editor. (orcid)0000-0001-6966-0507 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80020-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II

Yazar

Kajimoto, Hiroyuki. editor. (orcid)0000-0002-5088-7397 Lopes, Pedro. editor. (orcid)0000-0001-6527-7084 Pacchierotti, Claudio. editor. (orcid)0000-0002-8006-9168 Basdogan, Cagatay. editor. (orcid)0000-0002-6382-7334 Gori, Monica. editor. (orcid)0000-0002-5616-865X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-70061-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part II

Yazar

Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78450-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Interactive Storytelling 17th International Conference on Interactive Digital Storytelling, ICIDS 2024, Barranquilla, Colombia, December 2-6, 2024, Proceedings, Part I

Yazar

Murray, John T. editor. (orcid)0000-0003-2579-6802 Reyes, María Cecilia. editor. (orcid)0000-0001-8084-469X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78453-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 38

	{displayName}	{count}
{error}