Search Results for Computer science. - Narrowed by: E-Book - English - Algorithms. - Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300$0026isd$003dtrue? 2024-08-05T17:52:37Z Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483867 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555&#160;Stoelinga, Mari&euml;lle. editor. (orcid)0000-0001-6793-8165&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485712 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Was, Jaroslaw. editor.&#160;Sirakoulis, Georgios. editor.&#160;Bandini, Stefania. 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-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489181 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43880-0">https://doi.org/10.1007/978-3-662-43880-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489459 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Tanaka, Satoshi. editor.&#160;Hasegawa, Kyoko. editor.&#160;Xu, Rui. editor.&#160;Sakamoto, Naohisa. editor.&#160;Turner, Stephen John. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45289-9">https://doi.org/10.1007/978-3-662-45289-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logistics 5th International Conference, ICCL 2014, Valpara&iacute;so, Chile, September 24-26, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487652 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Gonz&aacute;lez-Ram&iacute;rez, Rosa G. editor.&#160;Schulte, Frederik. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Ceroni D&iacute;az, Jose 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-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Geometric Data Structures for Collision Detection and Haptics ent://SD_ILS/0/SD_ILS:332832 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Weller, Ren&eacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332832.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01020-5">http://dx.doi.org/10.1007/978-3-319-01020-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Intention Recognition ent://SD_ILS/0/SD_ILS:174031 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Kiefer, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1854-2">http://dx.doi.org/10.1007/978-1-4614-1854-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Explorations in Monte Carlo Methods ent://SD_ILS/0/SD_ILS:167852 2024-08-05T17:52:37Z 2024-08-05T17:52:37Z Author&#160;Shonkwiler, Ronald W. author.&#160;Mendivil, Franklin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-87837-9">http://dx.doi.org/10.1007/978-0-387-87837-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>