Search Results for Computer programming - Narrowed by: Mathematics of Computing. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bprogramming$0026qf$003dSUBJECT$002509Subject$002509Mathematics$002bof$002bComputing.$002509Mathematics$002bof$002bComputing.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-15T15:15:36Z Maths For Computing A Beginner's Guide ent://SD_ILS/0/SD_ILS:606296 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Charatan, Quentin. author.&#160;Kans, Aaron. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:603628 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706&#160;Krebbers, Robbert. editor.&#160;Wiedijk, Freek. 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-61716-4">https://doi.org/10.1007/978-3-031-61716-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundation Mathematics for Computer Science A Visual Approach ent://SD_ILS/0/SD_ILS:605308 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Vince, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-66549-3">https://doi.org/10.1007/978-3-031-66549-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605244 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Kov&aacute;cs, Laura. editor. (orcid)0000-0002-8299-2714&#160;Sokolova, Ana. editor. (orcid)0000-0002-8384-3438&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611950 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Moral, Seraf&iacute;n. editor.&#160;Pivert, Olivier. editor.&#160;S&aacute;nchez, Daniel. editor.&#160;Mar&iacute;n, Nicol&aacute;s. 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-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616012 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Gopal, T.V. editor.&#160;J&auml;ger, Gerhard. editor.&#160;Steila, Silvia. 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-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618348 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Antonucci, Alessandro. editor.&#160;Cholvy, Laurence. editor.&#160;Papini, Odile. 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-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library ent://SD_ILS/0/SD_ILS:615722 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Beebe, Nelson H.F. 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-64110-2">https://doi.org/10.1007/978-3-319-64110-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611236 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. 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-66320-3">https://doi.org/10.1007/978-3-319-66320-3</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-15T15:15:36Z 2026-03-15T15:15:36Z 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/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:610898 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32149-3">https://doi.org/10.1007/978-3-319-32149-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Random-Like Bi-level Decision Making ent://SD_ILS/0/SD_ILS:610681 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Xu, Jiuping. author. (orcid)0000-0003-3756-3969&#160;Li, Zongmin. author.&#160;Tao, Zhimiao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-1768-1">https://doi.org/10.1007/978-981-10-1768-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Data Analysis using Aggregation Functions in R ent://SD_ILS/0/SD_ILS:612837 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;James, Simon. 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-46762-7">https://doi.org/10.1007/978-3-319-46762-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:618411 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Dongarra, Jack. editor.&#160;Karczewski, Konrad. editor.&#160;Kitowski, Jacek. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32152-3">https://doi.org/10.1007/978-3-319-32152-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography Made Simple ent://SD_ILS/0/SD_ILS:617695 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Smart, Nigel. 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-21936-3">https://doi.org/10.1007/978-3-319-21936-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613275 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Olivetti, Nicola. editor.&#160;Tiwari, Ashish. 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-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms for Data Science ent://SD_ILS/0/SD_ILS:617769 2026-03-15T15:15:36Z 2026-03-15T15:15:36Z Author&#160;Steele, Brian. author.&#160;Chandler, John. author.&#160;Reddy, Swarna. 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-45797-0">https://doi.org/10.1007/978-3-319-45797-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>