Search

Subject Computer simulation

463. Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. (2018)

Editors:
McIver, Annabelle; Horváth, András, 1974-
Other Names:
International Conference on the Quantitative Evaluation of Systems, 15th
Record Type:
Book
Extent:
1 online resource (xi, 423 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

464. Modeling, design and simulation of systems. 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27-29, 2017, Proceedings /: 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27-29, 2017, Proceedings. Part I : (2017)

Editors:
Mohamed Ali, Mohamed Sultan; Wahid, Herman; Mohd Subha, Nurul Adilla; Sahlan, Shafishuhaza; Md. Yunus, Mohd Amri; Wahap, Ahmad Ridhwan
Other Names:
Asia Simulation Conference, 17th
Record Type:
Book
Extent:
1 online resource (xxv, 727 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

467. Advances in human factors in simulation and modeling : proceedings of the AHFE 2018 International Conferences on Human Factors and Simulation and Digital Human Modeling and Applied Optimization, held on July 21-25, 2018, in Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA /: proceedings of the AHFE 2018 International Conferences on Human Factors and Simulation and Digital Human Modeling and Applied Optimization, held on July 21-25, 2018, in Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA. (2018)

Editors:
Cassenti, Daniel N
Other Names:
International Conferences on Human Factors and Simulation and Digital Human Modeling and Applied Optimization
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

468. Bio-inspired computing : theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings /: theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings. (2017)

Editors:
He, Cheng; Mo, Hongwei; Pan, Linqiang; Zhao, Yuxin
Other Names:
International Conference on Bio-inspired Computing, Theories and Applications, 12th
Record Type:
Book
Extent:
1 online resource (xv, 638 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

470. Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. (2018)

Editors:
Howar, Falk; Barnat, Jiří
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 23rd
Record Type:
Book
Extent:
1 online resource (xvi, 291 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗