Limit Search Results
Author
SpringerLink (Online service)
(68)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Language
English
(412)
Publication Date
-
Subject
COMPUTERS / Artificial Intelligence
(296)
Artificial intelligence.
(184)
Computers.
(56)
COMPUTERS.
(31)
Electronic books.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
412 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for ICT for competitive strategies : proceedings of 4th International Conference on Information and Communication Technology for Competitive Strategies (ICTCS 2019), December 13th-14th, 2019, Udaipur, India
ICT for competitive strategies : proceedings of 4th International Conference on Information and Communication Technology for Competitive Strategies (ICTCS 2019), December 13th-14th, 2019, Udaipur, India
Author 
International Conference on Information and Communication Technology for Competitive Strategies (4th : 2019 : Udaipur, India). Mishra, Durgesh Kumar, editor. Dey, Nilanjan, 1984- editor. Deora, Bharat Singh, editor. Joshi, Amit, editor.
Preferred Shelf Number 
T58.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003052098
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 Innovative smart healthcare and bio-medical systems AI, intelligent computing and connected technologies
Innovative smart healthcare and bio-medical systems AI, intelligent computing and connected technologies
Author 
Salem, Abdel-Badeeh M., editor.
Preferred Shelf Number 
R855.3
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003044291
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Digital technology and justice : justice apps
Digital technology and justice : justice apps
Author 
Sourdin, Tania, author. Meredith, Jacqueline, author. Li, Bin, author.
Preferred Shelf Number 
K2100 .S68 2020
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003127031
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 Machine learning for iOS developers
Machine learning for iOS developers
Author 
Mishra, Abhishek, author.
Preferred Shelf Number 
Q325.5 .M57 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Engineering autonomous vehicles and robots : the DragonFly modular-based approach
Engineering autonomous vehicles and robots : the DragonFly modular-based approach
Author 
Liu, Shaoshan, author.
Preferred Shelf Number 
TL152.8 .L585 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119570516
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings
Applications and Techniques in Information Security 10th International Conference, ATIS 2019, Thanjavur, India, November 22–24, 2019, Proceedings
Author 
Shankar Sriram, V. S. editor. (orcid)0000-0001-7870-7944 Subramaniyaswamy, V. editor. Sasikaladevi, N. editor. (orcid)0000-0002-0841-502X Zhang, Leo. editor. Batten, Lynn. editor. (orcid)0000-0003-4525-2423
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0871-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Databases Theory and Applications 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings
Databases Theory and Applications 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings
Author 
Chang, Lijun. editor. Gan, Junhao. editor. Cao, Xin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12079-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23525-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Author 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Author 
Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action