Search Results for Model theory.

57 Results Found

1 2 3 4 5

000000000000DEFAULT

13.

Cover image for Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

Author

Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520232.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I

Author

Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520194.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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

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

Author

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

Preferred Shelf Number

XX(520405.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1648-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers

Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers

Author

Pan, Linqiang. editor. Zhao, Dongming. editor. Li, Lianghao. editor. Lin, Jianqing. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520407.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1549-1

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings

Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings

Author

Yang, Hongming. editor. Fei, Jiang. editor. Qiang, Tang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520410.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks

Author

Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520469.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520319.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2446-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Author

Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520735.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Author

Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520757.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521010.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.