Limit Search Results
Author
SpringerLink (Online service)
(63)
Song, Xiao. editor. (orcid)0000-0003-4279-426X
(4)
Wu, Yunjie. editor.
(4)
Zhang, Lin. editor. (orcid)0000-0003-1989-6102
(4)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Language
Publication Date
-
Subject
Computer simulation.
(63)
Software engineering.
(27)
Computer science.
(19)
Artificial intelligence.
(14)
Computer networks .
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
63 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Author 
Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Author 
van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57861-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Social Simulation 2015
Advances in Social Simulation 2015
Author 
Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47253-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Mathematical Advances Towards Sustainable Environmental Systems
Mathematical Advances Towards Sustainable Environmental Systems
Author 
Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43901-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
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:
44. 
Cover image for Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66335-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Mental Modeling Approach Risk Management Application Case Studies
Mental Modeling Approach Risk Management Application Case Studies
Author 
Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-6616-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Author 
Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43425-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Author 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action