Search Results for Computer science.

225 sonuç bulundu

1 2 3 4 5 6 .. 19

000000000000DEFAULT_TR

37.

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Yazar

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings

Yazar

Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Yazar

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61716-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-60599-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-60597-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Yazar

Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61433-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Yazar

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Yazar

Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68416-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Yazar

Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-48751-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Yazar

Liberatore, Federico. editor. (orcid)0000-0001-9900-5108 Wesolkowski, Slawo. editor. Demange, Marc. editor. (orcid)0000-0001-6195-2919 Parlier, Greg H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 19

	{displayName}	{count}
{error}