Limit Search Results
Author
SpringerLink (Online service)
(563)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Language
English
(896)
Publication Date
-
Subject
Artificial intelligence.
(284)
Machine theory.
(264)
Formal Languages and Automata Theory.
(249)
Computer science.
(193)
COMPUTERS / Machine Theory
(146)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
902 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Deep learning in medical image analysis : recent advances and future trends
Deep learning in medical image analysis : recent advances and future trends
Author 
Indrakumari, R., editor.
Preferred Shelf Number 
RC78.7 .D53
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003343172
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Electromagnetic analysis of electric machines : first principles, modeling, and design
Electromagnetic analysis of electric machines : first principles, modeling, and design
Author 
Kirtley, James L., author. Lee, Christopher H. T., author. Mohammadi, Sajjad, author.
Preferred Shelf Number 
TK2000 .K57 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394315284
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings
Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings
Author 
Sinha, Arunesh. editor. (orcid)0000-0002-3594-3848 Fu, Jie. editor. (orcid)0000-0002-4470-2827 Zhu, Quanyan. editor. (orcid)0000-0002-0008-2953 Zhang, Tao. editor. (orcid)0000-0002-1454-4645 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74835-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
Author 
Sun, Maosong. editor. Liang, Jiye. editor. (orcid)0000-0001-5887-9327 Han, Xianpei. editor. (orcid)0000-0002-1304-6302 Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543 He, Yulan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8367-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Reciprocal Recommender Systems
Reciprocal Recommender Systems
Author 
Neve, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85103-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Innovations in Healthcare and Outcome Measurement New Approaches for a Healthy Lifestyle
Innovations in Healthcare and Outcome Measurement New Approaches for a Healthy Lifestyle
Author 
Plugmann, Philipp. editor. Portius, Dorothea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77302-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Restarting Automata Extensions and Generalizations
Restarting Automata Extensions and Generalizations
Author 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78701-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I
The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I
Author 
Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78952-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action