Search Results for Programming Language.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

348 Results Found

1 .. 4 5 6 7 8 .. 29

000000000000DEFAULT

61.

ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 2

Author

Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8591-9

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Programming Languages and Systems 34th European Symposium on Programming, ESOP 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, Part I

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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, Part I

Author

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python

Author

Sundararajan, Srikrishnan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-0353-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

BUiD Doctoral Research Conference 2024 Multidisciplinary Studies

Author

Al Marri, Khalid. editor. Mir, Farzana Asad. editor. (orcid)0000-0001-9378-1800 Awad, Ahmed. editor. Abubakar, Ahmed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Author

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Author

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Active Disturbance Rejection Control From Principles to Practice

Author

Herbst, Gernot. author. Madonski, Rafal. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

Author

Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6957-5

Format:

Availability

Online Library~1

Available:
Copies:

72.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)