Search Results for Computer programming.

337 sonuç bulundu

1 2 3 4 5 .. 29

000000000000DEFAULT_TR

13.

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Yazar

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Yazar

Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

Yazar

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Alice and Bob learn secure coding

Yazar

Janca, Tanya. author.

Yer Numarası

QA76.76 .D47

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Optimization in sustainable energy : methods and applications

Yazar

Chatterjee, Prasenjit, 1982- editor.

Yer Numarası

TJ163.2 .O68 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242139

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Numbers and Computers

Yazar

Kneusel, Ronald T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

Yazar

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Yazar

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)