Search Results for Programming.

1.

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Yazar

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2300-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Yazar

Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Yazar

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Yazar

Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Yazar

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4207-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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:

8.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73709-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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:

10.

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Yazar

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Yazar

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-86695-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73741-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

Yazar

Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-89610-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Yazar

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Yazar

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66064-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Yazar

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

Yazar

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

Yazar

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

Yazar

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

Yazar

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Yazar

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)