Search Results for Programming Languages.

1.

Programming Languages: Principles and Paradigms

Author

Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520706.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Wies, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520944.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Author

Hur, Chung-Kil. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521341.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8311-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

Author

Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521187.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Author

Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.

Preferred Shelf Number

XX(520931.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedings

Author

Spano, Lucio Davide. editor. Schmidt, Albrecht. editor. (orcid) Santoro, Carmen. editor. Stumpf, Simone. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520954.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520189.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Author

Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521245.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers

Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers

Author

Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.

Preferred Shelf Number

XX(521293.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

XX(521397.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Introduction to Artificial Intelligence

Author

Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521892.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}