Search Results for Computer simulation. - Narrowed by: Programming Techniques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-13T18:53:01Z Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605299 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Blaas-Schenner, Claudia. editor.&#160;Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016&#160;Haas, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MATLAB and Simulink in Action Programming, Scientific Computing and Simulation ent://SD_ILS/0/SD_ILS:603494 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Xue, Dingy&uuml;. author.&#160;Pan, Feng. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-1176-9">https://doi.org/10.1007/978-981-99-1176-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612856 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613250 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers ent://SD_ILS/0/SD_ILS:616099 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Namazi-Rad, Mohammad-Reza. editor.&#160;Padgham, Lin. editor.&#160;Perez, Pascal. editor.&#160;Nagel, Kai. editor.&#160;Bazzan, Ana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51957-9">https://doi.org/10.1007/978-3-319-51957-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Scientific Computing in C++ ent://SD_ILS/0/SD_ILS:617561 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Pitt-Francis, Joe. author.&#160;Whiteley, Jonathan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611436 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Aichernig, Bernhard K. editor.&#160;Furia, Carlo A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613096 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618449 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Kapitsaki, Georgia M. editor.&#160;Santana de Almeida, Eduardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Foundations for Mastering Change I ent://SD_ILS/0/SD_ILS:617815 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</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 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z 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/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2026-03-13T18:53:01Z 2026-03-13T18:53:01Z 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/>