Limit Search Results
Author
SpringerLink (Online service)
(1488)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(31)
Apduhan, Bernady O. editor.
(23)
Murgante, Beniamino. editor.
(22)
Language
Publication Date
-
Subject
Computer science.
(789)
Artificial intelligence.
(434)
Software engineering.
(405)
Computer Modelling.
(337)
Computer Communication Networks.
(210)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1566 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics
Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics
Author 
Genisa, Maya. author. Shuib, Solehuddin. author. (orcid)0000-0003-4012-6188 Rajion, Zainul Ahmad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-6023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings
Author 
Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87345-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023
Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023
Author 
Jha, Brajesh Kumar. editor. (orcid)0000-0001-9370-2949 Jha, Navnit. editor. (orcid)0000-0001-7884-8640 Brahma, Jwngsar. editor. Yavuz, Mehmet. editor. (orcid)0000-0002-3966-6518 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6794-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV
Author 
Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0294-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Understanding Modelling and Programming
Understanding Modelling and Programming
Author 
Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71280-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Control Systems Benchmarks
Control Systems Benchmarks
Author 
Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76312-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation
Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation
Author 
Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85438-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Engineering Mathematics with MATLAB® and Simulink®
Engineering Mathematics with MATLAB® and Simulink®
Author 
Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Applied Antifragility in Natural Systems From Principles to Applications
Applied Antifragility in Natural Systems From Principles to Applications
Author 
Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90391-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action