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
49. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520722.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Explainable Artificial Intelligence First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part I
Explainable Artificial Intelligence First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part I
Author 
Longo, Luca. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520723.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44064-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Industrial Networks and Intelligent Systems 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023, Proceedings
Industrial Networks and Intelligent Systems 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023, Proceedings
Author 
Vo, Nguyen-Son. editor. Tran, Hoai-An. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520724.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Machine Dynamics Kinematics and Dynamics
Machine Dynamics Kinematics and Dynamics
Author 
Abbasimoshaei, Alireza. author. Kern, Thorsten A. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520725.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6010-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Digital Economy. Emerging Technologies and Business Innovation 8th International Conference, ICDEc 2023, Braga, Portugal, May 2-4, 2023, Proceedings
Digital Economy. Emerging Technologies and Business Innovation 8th International Conference, ICDEc 2023, Braga, Portugal, May 2-4, 2023, Proceedings
Author 
Jallouli, Rim. editor. (orcid) Bach Tobji, Mohamed Anis. editor. (orcid) Belkhir, Meriam. editor. Soares, Ana Maria. editor. Casais, Beatriz. editor.
Preferred Shelf Number 
XX(520624.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42788-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520625.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Data Analytics for Internet of Things Infrastructure
Data Analytics for Internet of Things Infrastructure
Author 
Sharma, Rohit. editor. Jeon, Gwanggil. editor. Zhang, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520626.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33808-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Programs as Diagrams From Categorical Computability to Computable Categories
Programs as Diagrams From Categorical Computability to Computable Categories
Author 
Pavlovic, Dusko. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520627.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
Select an Action