Limit Search Results
Author
SpringerLink (Online service)
(49)
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
(1)
Abreu, Orlando. editor.
(1)
Aceto, Luca. editor.
(1)
Alam, Muhammad. editor.
(1)
Language
Publication Date
-
Subject
Computer Modelling.
(35)
Artificial intelligence.
(10)
Computer science.
(10)
Software engineering.
(9)
Computer Communication Networks.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Author 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
Author 
Xin-lin, Huang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52730-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Author 
Micheloni, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51735-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Author 
Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62569-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61756-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Graphical Simulation of Deformable Models
Graphical Simulation of Deformable Models
Author 
Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51031-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals
Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals
Author 
Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31053-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Author 
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Data Assimilation: Mathematical Concepts and Instructive Examples
Data Assimilation: Mathematical Concepts and Instructive Examples
Author 
Guzzi, Rodolfo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22410-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Autonomic Road Transport Support Systems
Autonomic Road Transport Support Systems
Author 
McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Natural Disasters, When Will They Reach Me?
Natural Disasters, When Will They Reach Me?
Author 
Wijesundera, Isuri. author. Halgamuge, Malka N. author. (orcid)0000-0001-9994-3778 Nanayakkara, Thrishantha. author. Nirmalathas, Thas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1113-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action