Limit Search Results
Author
SpringerLink (Online service)
(12)
Akshay, S. editor. (orcid)0000-0002-2471-5997
(2)
Niemetz, Aina. editor.
(2)
Sankaranarayanan, Sriram. editor.
(2)
Wichert, Andrzej, author.
(2)
Language
Publication Date
-
Subject
COMPUTERS / Computer Science
(27)
COMPUTERS / Artificial Intelligence
(14)
COMPUTERS / Computer Graphics / Game Programming & Design
(7)
Computers.
(6)
Software engineering.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for FOUNDATIONS OF ARTIFICIAL INTELLIGENCE AND ROBOTICS. Volume 1, A holistic view.
FOUNDATIONS OF ARTIFICIAL INTELLIGENCE AND ROBOTICS. Volume 1, A holistic view.
Author 
Chun, Wendell H.
Preferred Shelf Number 
TJ211.495
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032673134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Network optimization in intelligent IoT applications : principles and challenges
Network optimization in intelligent IoT applications : principles and challenges
Author 
Khurana, Payal, editor. Mehra, Pawan Singh, editor. Tanwar, Sudeep, editor.
Preferred Shelf Number 
TK5105.8857
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003405535
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Why data science projects fail : the harsh realities of implementing AI and analytics, without the hype
Why data science projects fail : the harsh realities of implementing AI and analytics, without the hype
Author 
Gray, Doug (Douglas A.), author. Shellsear, Evan, author.
Preferred Shelf Number 
QA76.9 .Q36
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032661360
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for AI for understanding human conversations
AI for understanding human conversations
Author 
Neuman, Yair, 1968- author.
Preferred Shelf Number 
P95.45
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003591047
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The AI glossary : demystifying 101 essential artificial intelligence terms for everyone
The AI glossary : demystifying 101 essential artificial intelligence terms for everyone
Author 
Khan, Richard R., author.
Preferred Shelf Number 
TA347 .A78
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003600268
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for AI based advancements in biometrics and its applications
AI based advancements in biometrics and its applications
Author 
S., Balasubramaniam, editor. Kadry, Seifedine, 1977- editor. Prasanth, A., editor. Dhanaraj, Rajesh Kumar, editor.
Preferred Shelf Number 
TK7882 .B56
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032702377
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4
Modern Approaches in Machine Learning and Cognitive Science: A Walkthrough Volume 4
Author 
Gunjan, Vinit Kumar. editor. Zurada, Jacek M. editor. Singh, Ninni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43009-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Face De-identification: Safeguarding Identities in the Digital Era
Face De-identification: Safeguarding Identities in the Digital Era
Author 
Wen, Yunqian. author. Liu, Bo. author. (orcid)0000-0002-3603-6617 Song, Li. author. Cao, Jingyi. author. Xie, Rong. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Handbook of geospatial artificial intelligence
Handbook of geospatial artificial intelligence
Author 
Gao, Song (Geography teacher), editor. Hu, Yingjie, editor. Li, Wenwen, editor.
Preferred Shelf Number 
G70.217 .G46 H26 2024
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003308423
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial Intelligence of things (AIoT) new standards, technologies and communication systems
Artificial Intelligence of things (AIoT) new standards, technologies and communication systems
Author 
Qureshi, Kashif Naseer. Newe, Thomas.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003430018
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for ALGORITHMS IN ADVANCED ARTIFICIAL INTELLIGENCE icaaai-2023.
ALGORITHMS IN ADVANCED ARTIFICIAL INTELLIGENCE icaaai-2023.
Author 
Mohan, R. N. V. Jagan. Sekhar, Vasamsetty Chandra. Gupta, V. M. N. S. S. V. K. R.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003529231
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Explainable AI for Intelligent transportation systems
Explainable AI for Intelligent transportation systems
Author 
Adadi, Amina, editor. Bouhoute, Afaf, editor.
Preferred Shelf Number 
TE228.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003324140
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Research tendencies and prospect domains for AI development and implementation
Research tendencies and prospect domains for AI development and implementation
Author 
Kondratenko, Yuriy P., editor. Shevchenko, Anatolii I., editor.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9788770046947
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Quantum artificial intelligence with Qiskit.
Quantum artificial intelligence with Qiskit.
Author 
Wichert, Andrzej, author.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003374404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Translational application of artificial intelligence in healthcare : a textbook
Translational application of artificial intelligence in healthcare : a textbook
Author 
Reddy, Sandeep, editor.
Preferred Shelf Number 
R858
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003262152
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Foundation, architecture, and prototyping of humanized AI a new constructivist approach
Foundation, architecture, and prototyping of humanized AI a new constructivist approach
Author 
Chang, Mark.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003392422
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Era of artificial intelligence : the 21st century practitioners approach
Era of artificial intelligence : the 21st century practitioners approach
Author 
Das, Ritwik, editor. Mitra, Madhumi, editor. Singh, Chandrani, editor.
Preferred Shelf Number 
Q335.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003300472
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for ARTIFICIAL INTELLIGENCE AND SOCIETY 5.0; ISSUES, OPPORTUNITIES, AND CHALLENGES
ARTIFICIAL INTELLIGENCE AND SOCIETY 5.0; ISSUES, OPPORTUNITIES, AND CHALLENGES
Author 
Khullar, Vikas, 1983- Sharma, Vrajesh. Angurala, Mohit. Chhabra, Nipun.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003397052
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for ARTIFICIAL INTELLIGENCE FOR INTRUSION DETECTION SYSTEMS
ARTIFICIAL INTELLIGENCE FOR INTRUSION DETECTION SYSTEMS
Author 
Swarnkar, Mayank, editor. Rajput, Shyam Singh, editor.
Preferred Shelf Number 
TK5105.59
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003346340
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Artificial intelligence for capital markets
Artificial intelligence for capital markets
Author 
Jafar, Syed Hasan, editor.
Preferred Shelf Number 
HG4523
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003327745
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for AI for scientific discovery
AI for scientific discovery
Author 
Hastings, Janna, author.
Preferred Shelf Number 
Q180.55 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003226642
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for AI for Death and Dying
AI for Death and Dying
Author 
Savin-Baden, Maggi, 1960-
Preferred Shelf Number 
HQ1073 .S38 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003108504
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for CODED LEADERSHIP; DEVELOPING SCALABLE MANAGEMENT IN AN AI-INDUCED QUANTUM WORLD
CODED LEADERSHIP; DEVELOPING SCALABLE MANAGEMENT IN AN AI-INDUCED QUANTUM WORLD
Author 
Sairam, Pinisetti Swami, editor. K., Hemachandran, editor. Rodriguez, Raul Villamarin, editor.
Preferred Shelf Number 
HD57.7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003244660
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for AI for creativity
AI for creativity
Author 
Hageback, Niklas, author.
Preferred Shelf Number 
Q342 .H34 2022 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003194941
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for AI for school teachers
AI for school teachers
Author 
Luckin, Rosemary, author. George, Karine, author. Cukurova, Mutlu, author.
Preferred Shelf Number 
LB1028.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003193173
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for AI for the sustainable development goals
AI for the sustainable development goals
Author 
Sætra, Henrik Skaug, author.
Preferred Shelf Number 
HC79 .E5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003193180
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE
MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE
Author 
Wichert, Andrzej, author.
Preferred Shelf Number 
BF161
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003244547
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for AI for cars
AI for cars
Author 
Aulinas, Josep, author. Sjafrie, Hanky, author.
Preferred Shelf Number 
TL272.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003099512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Cunning machines : your pocket guide to the world of artificial intelligence
Cunning machines : your pocket guide to the world of artificial intelligence
Author 
Osiński, Jędrzej.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003021537
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Author 
Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16692-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Author 
Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30806-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papers
Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papers
Author 
Tatnall, Arthur. editor. (orcid)0000-0003-4317-971X Webb, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESE
Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESE
Author 
Long, Shengzhao. editor. Dhillon, Balbir S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2323-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Human Interface and the Management of Information: Applications and Services 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part II
Human Interface and the Management of Information: Applications and Services 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part II
Author 
Yamamoto, Sakae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Author 
Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies: