Search Results for Chemical systems -- Analysis. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dChemical$002bsystems$002b--$002bAnalysis.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300?dt=list2026-01-19T20:26:18ZComputer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5190072026-01-19T20:26:18Z2026-01-19T20:26:18ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5188772026-01-19T20:26:18Z2026-01-19T20:26:18ZAuthor Maler, Oded. editor. Halász, Ádám. editor. Dang, Thao. editor. Piazza, Carla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27656-4">https://doi.org/10.1007/978-3-319-27656-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Scale Modeling, Volume II Selections from the International Symposia on Scale Modeling, ISSM VI (2009) and ISSM VII (2013)ent://SD_ILS/0/SD_ILS:5295602026-01-19T20:26:18Z2026-01-19T20:26:18ZAuthor Saito, Kozo. editor. Ito, Akihiko. editor. Nakamura, Yuji. editor. Kuwana, Kazunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10308-2">https://doi.org/10.1007/978-3-319-10308-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>