Limit Search Results
Author
SpringerLink (Online service)
(192)
Li, Daoliang. editor.
(4)
Enns, Richard H. author.
(3)
Mohamed Ali, Mohamed Sultan. editor.
(3)
Boll, Susanne. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(82)
Computer Modelling.
(43)
Engineering.
(39)
Artificial intelligence.
(38)
Software engineering.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
194 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis
Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis
Author 
Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52914-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers
Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66251-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Microdomains in the Cardiovascular System
Microdomains in the Cardiovascular System
Author 
Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54579-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
Author 
Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Author 
Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6364-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Air Quality Integrated Assessment A European Perspective
Air Quality Integrated Assessment A European Perspective
Author 
Guariso, Giorgio. editor. Volta, Marialuisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33349-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Distributed Simulation A Model Driven Engineering Approach
Distributed Simulation A Model Driven Engineering Approach
Author 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings
Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings
Author 
Zheng, Guoyan. editor. Liao, Hongen. editor. Jannin, Pierre. editor. Cattin, Philippe. editor. Lee, Su-Lin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43775-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Machine Learning for Evolution Strategies
Machine Learning for Evolution Strategies
Author 
Kramer, Oliver. author. (orcid)0000-0001-7607-1700 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33383-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Transactions on Computational Collective Intelligence XXII
Transactions on Computational Collective Intelligence XXII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49619-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action