Search Results for Mathematical Software. - Narrowed by: Online Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematical$002bSoftware.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue? 2024-11-14T13:13:32Z Mathematical Approaches to Software Quality ent://SD_ILS/0/SD_ILS:175417 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-435-9">http://dx.doi.org/10.1007/1-84628-435-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2 ent://SD_ILS/0/SD_ILS:399168 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. editor.&#160;Prokopova, Zdenka. 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-67621-0">https://doi.org/10.1007/978-3-319-67621-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400160 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Davenport, James H. editor. (orcid)0000-0002-3982-7545&#160;Kauers, Manuel. editor.&#160;Labahn, George. editor.&#160;Urban, Josef. 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-96418-8">https://doi.org/10.1007/978-3-319-96418-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments ent://SD_ILS/0/SD_ILS:518349 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Agust&iacute;n-Aquino, Octavio Alberto. author.&#160;Junod, Julien. author.&#160;Mazzola, Guerino. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518349.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11236-7">https://doi.org/10.1007/978-3-319-11236-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489079 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Hong, Hoon. editor.&#160;Yap, Chee. 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-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193016 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Fukuda, Komei. editor.&#160;Hoeven, Joris van der. editor.&#160;Joswig, Michael. editor.&#160;Takayama, Nobuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184660 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Iglesias, Andr&eacute;s. editor.&#160;Takayama, Nobuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11832225">http://dx.doi.org/10.1007/11832225</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520477 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Saeed, Rashid A. editor.&#160;Bakari, Abubakar D. editor.&#160;Sheikh, Yahya Hamad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520477.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34896-9">https://doi.org/10.1007/978-3-031-34896-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520678 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Dorronsoro, Bernab&eacute;. editor. (orcid)&#160;Chicano, Francisco. editor.&#160;Danoy, Gregoire. editor.&#160;Talbi, El-Ghazali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520678.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34020-8">https://doi.org/10.1007/978-3-031-34020-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520720 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor.&#160;Hern&aacute;ndez, German. editor.&#160;Villa Ramirez, Jose Luis. editor.&#160;Gaona Garc&iacute;a, Elvis Eduardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520720.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-46739-4">https://doi.org/10.1007/978-3-031-46739-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519028 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Kroening, Daniel. editor.&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519028.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Impact of Pen and Touch Technology on Education ent://SD_ILS/0/SD_ILS:518440 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Hammond, Tracy. editor.&#160;Valentine, Stephanie. editor.&#160;Adler, Aaron. editor.&#160;Payton, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518440.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15594-4">https://doi.org/10.1007/978-3-319-15594-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bayesian networks for probabilistic inference and decision analysis in forensic science ent://SD_ILS/0/SD_ILS:342015 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Taroni, Franco, author.&#160;Biedermann, Alex, author.&#160;Bozza, Silvia, author.&#160;Garbolino, Paolo, 1955- author.&#160;Aitken, C. G. G., author.<br/>Preferred Shelf Number&#160;ONLINE(342015.1)<br/>Electronic Access&#160;<a href="http://proquest.safaribooksonline.com/?fpi=9781118914748">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118914762">http://dx.doi.org/10.1002/9781118914762</a> Wiley Online Library <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118914762">http://onlinelibrary.wiley.com/book/10.1002/9781118914762</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9781118914748">http://proquest.tech.safaribooksonline.de/9781118914748</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safety and human error in engineering systems ent://SD_ILS/0/SD_ILS:288126 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Dhillon, B. S. (Balbir S.), 1947-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466506954">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/> Computer system reliability safety and usability ent://SD_ILS/0/SD_ILS:285390 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Dhillon, B. S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466573130">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/> Spatial mathematics theory and practice through mapping ent://SD_ILS/0/SD_ILS:290043 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Arlinghaus, Sandra L. (Sandra Lach)&#160;Kerski, Joseph J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466505339">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/> Fast Compact Algorithms and Software for Spline Smoothing ent://SD_ILS/0/SD_ILS:331788 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Weinert, Howard L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331788.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5496-0">http://dx.doi.org/10.1007/978-1-4614-5496-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Realtime Data Mining Self-Learning Techniques for Recommendation Engines ent://SD_ILS/0/SD_ILS:332858 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Paprotny, Alexander. author.&#160;Thess, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332858.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01321-3">http://dx.doi.org/10.1007/978-3-319-01321-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System ent://SD_ILS/0/SD_ILS:332481 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Hammock, Michael R. author.&#160;Mixon, J. Wilson. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332481.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-9417-1">http://dx.doi.org/10.1007/978-1-4614-9417-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visual Mathematics and Cyberlearning ent://SD_ILS/0/SD_ILS:335714 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Martinovic, Dragana. editor.&#160;Freiman, Viktor. editor.&#160;Karadag, Zekeriya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-2321-4">http://dx.doi.org/10.1007/978-94-007-2321-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The SimCalc Vision and Contributions Democratizing Access to Important Mathematics ent://SD_ILS/0/SD_ILS:336043 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Hegedus, Stephen J. editor.&#160;Roschelle, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5696-0">http://dx.doi.org/10.1007/978-94-007-5696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Global Optimization Exploiting Space-Filling Curves ent://SD_ILS/0/SD_ILS:332385 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Sergeyev, Yaroslav D. author.&#160;Strongin, Roman G. author.&#160;Lera, Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332385.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-8042-6">http://dx.doi.org/10.1007/978-1-4614-8042-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical thinking in epidemiology ent://SD_ILS/0/SD_ILS:286128 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Tu, Yu-Kang.&#160;Gilthorpe, Mark S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420099928">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/> Systems engineering and architecting creating formal requirements ent://SD_ILS/0/SD_ILS:289928 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Bellagamba, Laurence.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439881422">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/> Environmental fate and transport analysis with compartment modeling ent://SD_ILS/0/SD_ILS:289945 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Little, Keith W.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439887974">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/> A student's guide to the study, practice, and tools of modern mathematics ent://SD_ILS/0/SD_ILS:291546 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Bindner, Donald.&#160;Erickson, Martin J., 1963-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439846070">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/> Modern anti-windup synthesis ent://SD_ILS/0/SD_ILS:375546 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Zaccarian, Luca.&#160;Teel, Andrew R., 1965-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7t5z2">http://www.jstor.org/stable/10.2307/j.ctt7t5z2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability technology, human error, and quality in health care ent://SD_ILS/0/SD_ILS:285036 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Dhillon, B. S. (Balbir S.), 1947-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420065596">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/> Probability and statistical inference ent://SD_ILS/0/SD_ILS:318903 2024-11-14T13:13:32Z 2024-11-14T13:13:32Z Author&#160;Bartoszy&#324;ski, Robert.&#160;Niewiadomska-Bugaj, Magdalena.<br/>Preferred Shelf Number&#160;ONLINE(318903.1)<br/>Electronic Access&#160;ebrary <a href="http://site.ebrary.com/id/10225361">http://site.ebrary.com/id/10225361</a> EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=219782">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=219782</a> MyiLibrary <a href="http://www.myilibrary.com?id=120382">http://www.myilibrary.com?id=120382</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470191590">http://dx.doi.org/10.1002/9780470191590</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>