Limit Search Results
Author
SpringerLink (Online service)
(735)
Garau, Chiara. editor. (orcid)
(11)
Gervasi, Osvaldo. editor. (orcid)
(11)
Iliadis, Lazaros. editor. (orcid)
(11)
Jayne, Chrisina. editor.
(11)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
741 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Robot Control and Calibration Innovative Control Schemes and Calibration Algorithms
Robot Control and Calibration Innovative Control Schemes and Calibration Algorithms
Author 
Luo, Xin. author. Li, Zhibin. author. Jin, Long. author. Li, Shuai. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520637.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5766-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Mathematical Foundations of Data Science
Mathematical Foundations of Data Science
Author 
Hrycej, Tomas. author. Bermeitinger, Bernhard. author. Cetto, Matthias. author. Handschuh, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520564.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-19074-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Ethical and Social Issues in the Information Age
Ethical and Social Issues in the Information Age
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520570.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Essentials of Cloud Computing A Holistic, Cloud-Native Perspective
Essentials of Cloud Computing A Holistic, Cloud-Native Perspective
Author 
Surianarayanan, Chellammal. author. Chelliah, Pethuru Raj. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520597.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32044-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
XX(520609.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computational Methods for Deep Learning Theory, Algorithms, and Implementations
Computational Methods for Deep Learning Theory, Algorithms, and Implementations
Author 
Yan, Wei Qi. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520623.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-4823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
Author 
Nazareth, John Lawrence. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520189.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Chronicles: Formalization of a Temporal Model
Chronicles: Formalization of a Temporal Model
Author 
Guyet, Thomas. author. Besnard, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520330.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33693-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Research on Modeling and Using Context Over 25 Years
Research on Modeling and Using Context Over 25 Years
Author 
Brézillon, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520341.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39338-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Cognitive Security A System-Scientific Approach
Cognitive Security A System-Scientific Approach
Author 
Huang, Linan. author. Zhu, Quanyan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520429.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action