Limit Search Results
Author
SpringerLink (Online service)
(163)
Taylor and Francis.
(5)
Agarwal, Sonali. editor.
(3)
Bankov, Kristian, contributor.
(3)
CRC Press LLC.
(3)
Language
Publication Date
-
Subject
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(42)
Model theory.
(20)
Computational intelligence.
(18)
Computer science.
(16)
Artificial intelligence.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
401 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Introduction to model theory and to the metamathematics of algebra
Introduction to model theory and to the metamathematics of algebra
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533975
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Tracking Language Growth in Child English Learners : The Role of Model Texts
Tracking Language Growth in Child English Learners : The Role of Model Texts
Author 
Luquin, María , author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783111563442
https://www.degruyter.com/isbn/9783111563442
Cover https://www.degruyter.com/document/cover/isbn/9783111563442/original
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
64. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5844-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
Author 
Buckley, Christopher L. editor. Cialfi, Daniela. editor. Lanillos, Pablo. editor. Ramstead, Maxwell. editor. Sajid, Noor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28719-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Author 
Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Introduction to Transfer Learning Algorithms and Practice
Introduction to Transfer Learning Algorithms and Practice
Author 
Wang, Jindong. author. Chen, Yiqiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7584-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Worldwide Successful Pediatric Nurse-Led Models of Care
Worldwide Successful Pediatric Nurse-Led Models of Care
Author 
Betz, Cecily L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22152-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37993-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Author 
Mao, Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-04090-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action