Search Results for Mathematics - Narrowed by: Computer programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-24T11:42:13Z Computer programming and formal systems ent://SD_ILS/0/SD_ILS:257223 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Braffort, P. (Paul), editor.&#160;Hirschberg, D. (David), editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534002">http://www.sciencedirect.com/science/book/9780444534002</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer programming and formal systems ent://SD_ILS/0/SD_ILS:257351 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Braffort, P. (Paul)&#160;Hirschberg, D. (David)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533913">http://www.sciencedirect.com/science/book/9780444533913</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. 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-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485590 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Guerra, Esther. editor. (orcid)0000-0002-2818-2278&#160;Orejas, Fernando. 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-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Learning with R ent://SD_ILS/0/SD_ILS:486235 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Ghatak, Abhijit. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485592 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Cariani, Fabrizio. editor.&#160;Grossi, Davide. editor.&#160;Meheus, Joke. editor.&#160;Parent, Xavier. 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-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489579 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Gupta, Gopal. editor.&#160;Pe&ntilde;a, Ricardo. 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-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Computations with GPUs ent://SD_ILS/0/SD_ILS:487579 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Kindratenko, Volodymyr. 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-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial scientific computing ent://SD_ILS/0/SD_ILS:288048 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Naumann, Uwe, 1969-&#160;Schenk, Olaf, 1967-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439827369">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An introduction to programming with specifications a mathematical approach ent://SD_ILS/0/SD_ILS:257756 2024-11-24T11:42:13Z 2024-11-24T11:42:13Z Author&#160;Kubiak, Ryszard.&#160;Rudzi&#324;ski, Roman.&#160;Soko&#322;owski, S. (Stefan)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>