Search

Subject Computer simulation

301. Curves and surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised selected papers /: 8th International Conference, Paris, France, June 12-18, 2014, Revised selected papers. (2015)

Editors:
Boissonnat, J.-D (Jean-Daniel), 1953-; Cohen, Albert, 1965-; Gibaru, Olivier; Gout, Christian; Lyche, Tom; Mazure, Marie-Laurence; Schumaker, Larry L, 1939-
Other Names:
International Conference on Curves and Surfaces, 8th
Record Type:
Book
Extent:
1 online resource (xi, 492 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

302. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017)

Editors:
Cavalheiro, Simone; Fiadeiro, José Luiz, 1961-
Other Names:
Brazilian Symposium on Formal Methods, 20th
Record Type:
Book
Extent:
1 online resource (x, 305 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

304. Enterprise and organizational modeling and simulation : 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers /: 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers. (2017)

Editors:
Pergl, Robert; Lock, Russell; Babkin, Eduard; Molhanec, Martin
Other Names:
International Workshop on Enterprise and Organizational Modeling and Simulation, 13th; CAiSE (Conference), 29th
Record Type:
Book
Extent:
1 online resource, illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

306. Enhancements in applied geomechanics, mining, and excavation simulation and analysis : proceedings of the 5th GeoChina International Conference 2018 -- Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China /: proceedings of the 5th GeoChina International Conference 2018 -- Civil Infrastructures Confronting Severe Weathers and Climate Changes: From Failure to Sustainability, held on July 23 to 25, 2018 in HangZhou, China. ([2019])

Editors:
Sevi, Adam; Neves, José, 1948-; Zhao, Honghua
Other Names:
Geo-China International Conference, 5th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

308. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018)

Editors:
Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de
Other Names:
International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xiv, 692 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗