Search Results for Science -- Software. - Narrowed by: Simulation and Modeling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dSUBJECT$002509Subject$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ps$003d300? 2025-12-26T18:22:58Z Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:334837 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334837.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Engineering Product Lines, Languages, and Conceptual Models ent://SD_ILS/0/SD_ILS:334257 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Reinhartz-Berger, Iris. editor.&#160;Sturm, Arnon. editor.&#160;Clark, Tony. editor.&#160;Cohen, Sholom. editor.&#160;Bettin, Jorn. editor.<br/>Preferred Shelf Number&#160;ONLINE(334257.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334768 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Heidrich, Jens. editor.&#160;Oivo, Markku. editor.&#160;Jedlitschka, Andreas. editor.&#160;Baldassarre, Maria Teresa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334768.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Pacino, Dario. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Jensen, Rune M&oslash;ller. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334992 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Gupta, Ashutosh. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334992.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335097 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Cuzzocrea, Alfredo. editor.&#160;Maabout, Sofian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335097.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41366-7">http://dx.doi.org/10.1007/978-3-642-41366-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335215 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Hammoudi, Slimane. editor.&#160;Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335215.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2025-12-26T18:22:58Z 2025-12-26T18:22:58Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>