Search

Subject Computer simulation

311. NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. (2018)

Editors:
Dutle, Aaron Michael; Muñoz, César A, 1968-; Narkawicz, Anthony Joseph, 1982-
Other Names:
NFM (Symposium), 10th
Record Type:
Book
Extent:
1 online resource (xi, 470 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

315. High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers /: 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers. (2015)

Editors:
Daydé, Michel; Marques, Osni; Nakajima, Kengo, 1962-
Other Names:
VECPAR (Conference), 11th
Record Type:
Book
Extent:
1 online resource (xvii, 311 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

316. High performance computing systems : performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers /: performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers. (2015)

Editors:
Jarvis, Stephen A, 1970-; (Research fellow), Wright, Steven A; Hammond, Simon (Simon David)
Other Names:
PMBS (Workshop), 5th
Record Type:
Book
Extent:
1 online resource (xii, 276 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

318. Software reuse : bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /: bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings. (2016)

Editors:
Kapitsaki, Georgia M; Almeida, Eduardo (Eduardo Santana de)
Other Names:
International Conference on Software Reuse, 15th
Record Type:
Book
Extent:
1 online resource (xi, 412 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗