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$0026ps$003d300$0026isd$003dtrue?dt=list
2026-01-08T18:04:00Z
Mathematical Approaches to Software Quality
ent://SD_ILS/0/SD_ILS:175417
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400160
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments
ent://SD_ILS/0/SD_ILS:518349
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Agustín-Aquino, Octavio Alberto. author. Junod, Julien. author. Mazzola, Guerino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193016
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11832225">http://dx.doi.org/10.1007/11832225</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Random Number Generators on Computers
ent://SD_ILS/0/SD_ILS:578351
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Nakazawa, Naoya, author. Nakazawa, Hiroshi, author.<br/>Preferred Shelf Number QA276.5<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003410607">https://www.taylorfrancis.com/books/9781003410607</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
COLLECTIVE INTELLIGENCE the rise of swarm systems and their impact on society.
ent://SD_ILS/0/SD_ILS:590179
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Seebacher, Uwe G. Legat, Christoph.<br/>Preferred Shelf Number Q337.3<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032690711">https://www.taylorfrancis.com/books/9781032690711</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
APPLIED STATISTICS WITH PYTHON
ent://SD_ILS/0/SD_ILS:592818
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Kaganovskiy, Leon.<br/>Preferred Shelf Number QA276<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003473114">https://www.taylorfrancis.com/books/9781003473114</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PROBABILITY THEORY an introduction using r.
ent://SD_ILS/0/SD_ILS:578540
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Deshmukh, Shailaja R. Kashikar, Akanksha S.<br/>Preferred Shelf Number QA273.19 .E4<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781032619057">https://www.taylorfrancis.com/books/9781032619057</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SMART MEDICAL IMAGING FOR DIAGNOSIS AND TREATMENT PLANNING
ent://SD_ILS/0/SD_ILS:569729
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Dey, Nilanjan, 1984- editor. Misra, Bitan, editor. Chakraborty, Sayan, PhD, editor.<br/>Preferred Shelf Number R859<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003464884">https://www.taylorfrancis.com/books/9781003464884</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn R : as a language
ent://SD_ILS/0/SD_ILS:585088
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Aphalo, Pedro J., author.<br/>Preferred Shelf Number QA76.73 .R3 2024<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003404187">https://www.taylorfrancis.com/books/9781003404187</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied machine learning using mlr3 in R
ent://SD_ILS/0/SD_ILS:592736
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Bischl, Bernd, editor. Sonabend, Raphael, editor. Kotthoff, Lars, editor. Lang, Michel, editor.<br/>Preferred Shelf Number Q325.5<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003402848">https://www.taylorfrancis.com/books/9781003402848</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Dorronsoro, Bernabé. editor. (orcid) Chicano, Francisco. editor. Danoy, Gregoire. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
ent://SD_ILS/0/SD_ILS:528444
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40997-4">https://doi.org/10.1007/978-3-031-40997-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
ent://SD_ILS/0/SD_ILS:528595
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22311-2">https://doi.org/10.1007/978-3-031-22311-2</a><br/>Format: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Technologies for Smart Cities
ent://SD_ILS/0/SD_ILS:526670
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Vershinin, Yuri A. editor. Pashchenko, Fedor. editor. Olaverri-Monreal, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-05516-4">https://doi.org/10.1007/978-3-031-05516-4</a><br/>Format: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Predictive Analytics in System Reliability
ent://SD_ILS/0/SD_ILS:526781
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Kumar, Vijay. editor. Pham, Hoang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-05347-4">https://doi.org/10.1007/978-3-031-05347-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Society 5.0 Cyber-Solutions for Human-Centric Technologies
ent://SD_ILS/0/SD_ILS:527255
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35875-3">https://doi.org/10.1007/978-3-031-35875-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies and Sustainable Development Advanced Approaches and Innovations in Up-to-Date Networks and Systems
ent://SD_ILS/0/SD_ILS:528809
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Dovgyi, Stanislav. editor. Trofymchuk, Oleksandr. editor. Ustimenko, Vasyl. editor. Globa, Larysa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46880-3">https://doi.org/10.1007/978-3-031-46880-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-criteria decision models in software reliability : methods and applications
ent://SD_ILS/0/SD_ILS:571883
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.<br/>Preferred Shelf Number QA76.76 .R44 M85 2023<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367816414">https://www.taylorfrancis.com/books/9780367816414</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
COMPUTER ARITHMETIC IN PRACTICE exercises and programming.
ent://SD_ILS/0/SD_ILS:574387
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Gryś, Sławomir, author.<br/>Preferred Shelf Number QA76.9 .C62<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003363286">https://www.taylorfrancis.com/books/9781003363286</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topological dynamics in metamodel discovery with artificial intelligence : from biomedical to cosmological technologies
ent://SD_ILS/0/SD_ILS:583068
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Fernández Stigliano, Ariel, author.<br/>Preferred Shelf Number Q335 .F468 2023<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003333012">https://www.taylorfrancis.com/books/9781003333012</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced R Solutions
ent://SD_ILS/0/SD_ILS:553836
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Grosser, Malte. Bumann, Henning, author. Wickham, Hadley, author.<br/>Preferred Shelf Number QA276.45 .R3 G76 2022<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003175414">https://www.taylorfrancis.com/books/9781003175414</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bayesian Modelling of Spatio-Temporal Data with R.
ent://SD_ILS/0/SD_ILS:553597
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Sahu, Sujit Kumar<br/>Preferred Shelf Number QA279.5<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429318443">https://www.taylorfrancis.com/books/9780429318443</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid genetic optimization for IC chips thermal control : with MATLAB applications
ent://SD_ILS/0/SD_ILS:577026
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Karvinkoppa, Mathew, author. Hotta, Tapano Kumar, author.<br/>Preferred Shelf Number TK7874<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/e/9781003188506">https://www.taylorfrancis.com/books/e/9781003188506</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003188506">https://www.taylorfrancis.com/books/9781003188506</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STEM PROBLEMS WITH MATHCAD AND PYTHON
ent://SD_ILS/0/SD_ILS:586718
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.<br/>Preferred Shelf Number QA303.2<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003228356">https://www.taylorfrancis.com/books/9781003228356</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supervised machine learning : optimization framework and applications with SAS and R
ent://SD_ILS/0/SD_ILS:572906
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Kolosova, Tanya, author. Berestizhevsky, Samuel, author.<br/>Preferred Shelf Number Q325.75 .K65 2021 EB<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429297595">https://www.taylorfrancis.com/books/9780429297595</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied spatial statistics and econometrics : data analysis in R
ent://SD_ILS/0/SD_ILS:559453
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Kopczewska, Katarzyna, editor.<br/>Preferred Shelf Number HA30.6<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003033219">https://www.taylorfrancis.com/books/9781003033219</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
25 problems for STEM education
ent://SD_ILS/0/SD_ILS:579721
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Ochkov, V. F. (Valeriĭ Fedorovich)<br/>Preferred Shelf Number QA76.27<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429344251">https://www.taylorfrancis.com/books/9780429344251</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R for health data science
ent://SD_ILS/0/SD_ILS:589280
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Harrison, Ewen, author. Pius, Riinu, author.<br/>Preferred Shelf Number QH324.2 .H37 2020<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367855420">https://www.taylorfrancis.com/books/9780367855420</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability 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
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
ent://SD_ILS/0/SD_ILS:530615
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06773-5">https://doi.org/10.1007/978-3-319-06773-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Impact of Pen and Touch Technology on Education
ent://SD_ILS/0/SD_ILS:518440
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
ent://SD_ILS/0/SD_ILS:529912
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17996-4">https://doi.org/10.1007/978-3-319-17996-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mixed effects models for the population approach : models, tasks, methods and tools
ent://SD_ILS/0/SD_ILS:545105
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Lavielle, Marc, author.<br/>Preferred Shelf Number QA180.55 .S7 L38 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482226515">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Introduction to software for chemical engineers
ent://SD_ILS/0/SD_ILS:540159
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Martin, Mariano Martin, editor. of compilation.<br/>Preferred Shelf Number TP184 .I595 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466599376">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Acoustic analyses using Matlab and Ansys
ent://SD_ILS/0/SD_ILS:542624
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Howard, Carl Q., 1970, author. Cazzolato, Benjamin S., 1969- author.<br/>Preferred Shelf Number TA365 .H69 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482223279">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Software engineering mathematics
ent://SD_ILS/0/SD_ILS:542512
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Woodcock, Janet, author. Taylor and Francis.<br/>Preferred Shelf Number QA76.758 .W661989<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780429019111">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Game engine architecture
ent://SD_ILS/0/SD_ILS:544439
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Gregory, Jason, 1970, author.<br/>Preferred Shelf Number QA76.76 .C672 G77 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466560062">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Bayesian networks for probabilistic inference and decision analysis in forensic science
ent://SD_ILS/0/SD_ILS:342015
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.<br/>Preferred Shelf Number ONLINE(342015.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A handbook of statistical graphics using SAS ODS
ent://SD_ILS/0/SD_ILS:541155
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Der, Geoff, author. Everitt, Brian Sidney, author. Taylor and Francis.<br/>Preferred Shelf Number QA276.4 .D474<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466599048">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Nonlinear time series : theory, methods and applications with R examples
ent://SD_ILS/0/SD_ILS:541805
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Douc, Randal, author. Moulines, Eric, author. Stoffer, David S., author. Taylor and Francis.<br/>Preferred Shelf Number QA280<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466502345">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Dynamic documents with R and KNITR
ent://SD_ILS/0/SD_ILS:539143
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Xie, Yihui., author. Taylor and Francis.<br/>Preferred Shelf Number QA276.4<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482203547">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Safety and human error in engineering systems
ent://SD_ILS/0/SD_ILS:540152
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Dhillon, B. S. (Balbir S.), 1947, author.<br/>Preferred Shelf Number T55 .D485 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466506954">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Spatial mathematics : theory and practice through mapping
ent://SD_ILS/0/SD_ILS:544720
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Arlinghaus, Sandra L. (Sandra Lach), author. Kerski, Joseph J.<br/>Preferred Shelf Number G70.23 .A77 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466505339">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Computer system reliability : safety and usability
ent://SD_ILS/0/SD_ILS:547174
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Dhillon, B. S., author.<br/>Preferred Shelf Number QA76.76 .R44 D495 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466573130">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Fast Compact Algorithms and Software for Spline Smoothing
ent://SD_ILS/0/SD_ILS:331788
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Weinert, Howard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331788.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
ent://SD_ILS/0/SD_ILS:332481
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332481.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Global Optimization Exploiting Space-Filling Curves
ent://SD_ILS/0/SD_ILS:332385
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332385.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
ent://SD_ILS/0/SD_ILS:332858
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332858.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Mathematics and Cyberlearning
ent://SD_ILS/0/SD_ILS:335714
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335714.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
ent://SD_ILS/0/SD_ILS:336043
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Hegedus, Stephen J. editor. Roschelle, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336043.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering and architecting : creating formal requirements
ent://SD_ILS/0/SD_ILS:542813
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Bellagamba, Laurence., author.<br/>Preferred Shelf Number TA168 .B376 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439881422">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Statistical thinking in epidemiology
ent://SD_ILS/0/SD_ILS:540974
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Tu, Yu-Kang., author. Gilthorpe, Mark S.<br/>Preferred Shelf Number RA652.2 .M3 T8 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420099928">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Environmental fate and transport analysis with compartment modeling
ent://SD_ILS/0/SD_ILS:541801
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Little, Keith W., author.<br/>Preferred Shelf Number TD174 .L58 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439887974">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
A student's guide to the study, practice, and tools of modern mathematics
ent://SD_ILS/0/SD_ILS:544792
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Bindner, Donald., author. Erickson, Martin J., 1963-<br/>Preferred Shelf Number QA41.6 .B56 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439846070">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Modern anti-windup synthesis
ent://SD_ILS/0/SD_ILS:375546
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Zaccarian, Luca. Teel, Andrew R., 1965-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7t5z2">http://www.jstor.org/stable/10.2307/j.ctt7t5z2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability technology, human error, and quality in health care
ent://SD_ILS/0/SD_ILS:542996
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Dhillon, B. S. (Balbir S.), 1947, author.<br/>Preferred Shelf Number RA399 .A1 D487 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420065596">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Software engineering foundations : a software science perspective
ent://SD_ILS/0/SD_ILS:541714
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Wang, Yingxu., author.<br/>Preferred Shelf Number QA76.758 .W375 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780203496091">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Probability and statistical inference
ent://SD_ILS/0/SD_ILS:318903
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Bartoszyński, Robert. Niewiadomska-Bugaj, Magdalena.<br/>Preferred Shelf Number ONLINE(318903.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of linear algebra
ent://SD_ILS/0/SD_ILS:541998
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Hogben, Leslie.<br/>Preferred Shelf Number QA184.2 .H36 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010572">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Aquifer test modeling
ent://SD_ILS/0/SD_ILS:545038
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Walton, William Clarence., author.<br/>Preferred Shelf Number GB1199 .W345 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420042931">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Handbook of discrete and computational geometry
ent://SD_ILS/0/SD_ILS:539999
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Goodman, Jacob E. O'Rourke, Joseph.<br/>Preferred Shelf Number QA167 .H36 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420035315">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Therapeutic applications of Monte Carlo calculations in nuclear medicine
ent://SD_ILS/0/SD_ILS:537553
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Zaidi, Habib. Sgouros, George.<br/>Preferred Shelf Number R905 .T44 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420033250">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Therapeutic applications of Monte Carlo calculations in nuclear medicine
ent://SD_ILS/0/SD_ILS:541076
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Zaidi, Habib. Sgouros, George.<br/>Preferred Shelf Number R905 .T44 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420033250">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Modeling tools for environmental engineers and scientists
ent://SD_ILS/0/SD_ILS:546842
2026-01-08T18:04:00Z
2026-01-08T18:04:00Z
Author Nirmalakhandan, N., author.<br/>Preferred Shelf Number GE45 .M37 K43 2002<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420003390">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>