Limit Search Results
Author
Jain, Lakhmi C. editor.
(137)
Filipe, Joaquim. editor.
(75)
Nguyen, Ngoc Thanh. editor.
(72)
Abraham, Ajith. editor.
(69)
Kacprzyk, Janusz. editor.
(67)
Language
Publication Date
-
2013
(7991)
2012
(6632)
2011
(6512)
2009
(5781)
2010
(5642)
Subject
Computer science.
(11576)
Engineering.
(7871)
Medicine.
(7488)
Economics.
(7225)
Artificial intelligence.
(6167)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65976 Results Found Subscribe to search results
000000000000DEFAULT
Print
181. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520525.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520526.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Trends in Data Protection and Encryption Technologies
Trends in Data Protection and Encryption Technologies
Author 
Mulder, Valentin. editor. Mermoud, Alain. editor. Lenders, Vincent. editor. Tellenbach, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520527.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33386-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Cloud Computing, Big Data & Emerging Topics 11th Conference, JCC-BD&ET 2023, La Plata, Argentina, June 27-29, 2023, Proceedings
Cloud Computing, Big Data & Emerging Topics 11th Conference, JCC-BD&ET 2023, La Plata, Argentina, June 27-29, 2023, Proceedings
Author 
Naiouf, Marcelo. editor. Rucci, Enzo. editor. Chichizola, Franco. editor. De Giusti, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520528.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Data Analytics A Theoretical and Practical View from the EDISON Project
Data Analytics A Theoretical and Practical View from the EDISON Project
Author 
Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520729.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39129-3
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Digital Enterprises Service-Focused, Digitally-Powered, Data-Fueled
Digital Enterprises Service-Focused, Digitally-Powered, Data-Fueled
Author 
Proper, Henderik A. editor. (orcid) van Gils, Bas. editor. Haki, Kazem. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520730.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30214-5
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Author 
Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520731.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7869-4
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for The AI-Enabled Enterprise
The AI-Enabled Enterprise
Author 
Kulkarni, Vinay. author. Reddy, Sreedhar. author. Clark, Tony. author. Proper, Henderik A. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520732.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29053-4
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach
Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach
Author 
Wang, Xi. author. (orcid) Li, ZhiWu. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520733.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings
Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings
Author 
Anutariya, Chutiporn. editor. Bonsangue, Marcello M. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520734.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7969-1
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
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:
192. 
Cover image for The What and How of Modelling Information and Knowledge From Mind Maps to Ontologies
The What and How of Modelling Information and Knowledge From Mind Maps to Ontologies
Author 
Keet, C. Maria. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520736.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39695-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action