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 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:
38. 
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:
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 Planning Support Science for Smarter Urban Futures
Planning Support Science for Smarter Urban Futures
Author 
Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Author 
De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53321-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas
Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas
Author 
Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3087-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Variable-Structure Approaches Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes
Variable-Structure Approaches Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes
Author 
Rauh, Andreas. editor. Senkel, Luise. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31539-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Evacuation Modeling Trends
Evacuation Modeling Trends
Author 
Cuesta, Arturo. editor. Abreu, Orlando. editor. Alvear, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20708-7
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 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:
47. 
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:
48. 
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:
Select an Action