Search Results for Model theory.

108 Results Found

1 .. 3 4 5 6 7 .. 9

000000000000DEFAULT

49.

Cover image for Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings

Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings

Author

Tang, Haixu. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520924.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Author

Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

Author

Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521127.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

Author

Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

Author

Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.

Preferred Shelf Number

XX(521363.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

Author

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Preferred Shelf Number

XX(521379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Worldwide Successful Pediatric Nurse-Led Models of Care

Author

Betz, Cecily L. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521442.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Author

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Preferred Shelf Number

XX(521388.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Nursing: Health Education and Improving Patient Self-Management Intervention Mapping for Healthy Lifestyles

Author

Sassen, Barbara. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521553.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology

Author

Djulbegovic, Benjamin. author. Hozo, Iztok. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521946.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

Author

Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520517.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Data Analytics A Theoretical and Practical View from the EDISON Project

Author

Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520729.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 9

	{displayName}	{count}
{error}