Search Results for Foundations.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

32 Results Found

1 2 3

000000000000DEFAULT

13.

Cover image for Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part IV

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part IV

Author

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Advances in Intelligent Data Analysis XXIII 23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7-9, 2025, Proceedings

Advances in Intelligent Data Analysis XXIII 23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7-9, 2025, Proceedings

Author

Krempl, Georg. editor. (orcid)0000-0002-4153-2594 Puolamäki, Kai. editor. (orcid)0000-0003-1819-1047 Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for 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

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

Author

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)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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:

17.

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Author

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 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

Fundamental Approaches to Software Engineering 28th International Conference, FASE 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

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Author

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0617-7

Format:

Availability

Online Library~1

Available:
Copies:

21.

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Author

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

An Introduction to Knowledge Graphs

Author

Serles, Umutcan. author. Fensel, Dieter. author. SpringerLink (Online service)