Search Results for Mathematical Software.

Mathematical software

2024-08-27T13:25:11Z

Author Rice, John R., ed.
Preferred Shelf Number QA 76 M766 1971
Format: Books
Availability Beytepe Library~2

Mathematical Approaches to Software Quality

2024-08-27T13:25:11Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2024-08-27T13:25:11Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number XX(520574.1)
Electronic Access https://doi.org/10.1007/978-3-031-26212-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-08-27T13:25:11Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~1

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

2024-08-27T13:25:11Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67621-0
Format: Electronic Resources
Availability Online Library~1

Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments

2024-08-27T13:25:11Z

Author Agustín-Aquino, Octavio Alberto. author. Junod, Julien. author. Mazzola, Guerino. author. SpringerLink (Online service)
Preferred Shelf Number XX(518349.1)
Electronic Access https://doi.org/10.1007/978-3-319-11236-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2024-08-27T13:25:11Z

Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

2024-08-27T13:25:11Z

Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15582-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2024-08-27T13:25:11Z

Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11832225
Format: Electronic Resources
Availability Online Library~1

Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings

2024-08-27T13:25:11Z

Author Dorronsoro, Bernabé. editor. (orcid) Chicano, Francisco. editor. Danoy, Gregoire. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520678.1)
Electronic Access https://doi.org/10.1007/978-3-031-34020-8
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2024-08-27T13:25:11Z

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)
Preferred Shelf Number XX(520720.1)
Electronic Access https://doi.org/10.1007/978-3-031-46739-4
Format: Electronic Resources
Availability Online Library~1

Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

2024-08-27T13:25:11Z

Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520477.1)
Electronic Access https://doi.org/10.1007/978-3-031-34896-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-08-27T13:25:11Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519028.1)
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

The Impact of Pen and Touch Technology on Education

2024-08-27T13:25:11Z

Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518440.1)
Electronic Access https://doi.org/10.1007/978-3-319-15594-4
Format: Electronic Resources
Availability Online Library~1

Bayesian networks for probabilistic inference and decision analysis in forensic science

2024-08-27T13:25:11Z

Author Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.
Preferred Shelf Number ONLINE(342015.1)
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9781118914762 Wiley Online Library http://onlinelibrary.wiley.com/book/10.1002/9781118914762 Volltext http://proquest.tech.safaribooksonline.de/9781118914748
Format: Electronic Resources
Availability Online Library~1

Computer system reliability safety and usability

2024-08-27T13:25:11Z

Author Dhillon, B. S.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Safety and human error in engineering systems

2024-08-27T13:25:11Z

Author Dhillon, B. S. (Balbir S.), 1947-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Visual Mathematics and Cyberlearning

2024-08-27T13:25:11Z

Author Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335714.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-2321-4
Format: Electronic Resources
Availability Online Library~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-08-27T13:25:11Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

Fast Compact Algorithms and Software for Spline Smoothing

2024-08-27T13:25:11Z

Author Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331788.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Global Optimization Exploiting Space-Filling Curves

2024-08-27T13:25:11Z

Author Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332385.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8042-6
Format: Electronic Resources
Availability Online Library~1

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

2024-08-27T13:25:11Z

Author Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332858.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01321-3
Format: Electronic Resources
Availability Online Library~1

Spatial mathematics theory and practice through mapping

2024-08-27T13:25:11Z

Author Arlinghaus, Sandra L. (Sandra Lach) Kerski, Joseph J.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System

2024-08-27T13:25:11Z

Author Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332481.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: Electronic Resources
Availability Online Library~1

The SimCalc Vision and Contributions Democratizing Access to Important Mathematics

2024-08-27T13:25:11Z

Author Hegedus, Stephen J. editor. Roschelle, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336043.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5696-0
Format: Electronic Resources
Availability Online Library~1

Environmental fate and transport analysis with compartment modeling

2024-08-27T13:25:11Z

Author Little, Keith W.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Statistical thinking in epidemiology

2024-08-27T13:25:11Z

Author Tu, Yu-Kang. Gilthorpe, Mark S.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Systems engineering and architecting creating formal requirements

2024-08-27T13:25:11Z

Author Bellagamba, Laurence.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Modern anti-windup synthesis

2024-08-27T13:25:11Z

Author Zaccarian, Luca. Teel, Andrew R., 1965-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7t5z2
Format: Electronic Resources
Availability Online Library~1

A student's guide to the study, practice, and tools of modern mathematics

2024-08-27T13:25:11Z

Author Bindner, Donald. Erickson, Martin J., 1963-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Reliability technology, human error, and quality in health care

2024-08-27T13:25:11Z

SAS for data analysis : intermediate statistical methods

2024-08-27T13:25:11Z

Author Marasinghe, Mervyn G. Kennedy, William J. (William Jo), 1936-
Preferred Shelf Number QA276.4 .M266 2008
Format: Books
Availability Health Sciences Library~2

Probability and statistical inference

2024-08-27T13:25:11Z

Author Bartoszyński, Robert. Niewiadomska-Bugaj, Magdalena.
Preferred Shelf Number ONLINE(318903.1)
Electronic Access ebrary http://site.ebrary.com/id/10225361 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=219782 MyiLibrary http://www.myilibrary.com?id=120382 John Wiley http://dx.doi.org/10.1002/9780470191590
Format: Electronic Resources
Availability Online Library~1

Modeling tools for environmental engineers and scientists

2024-08-27T13:25:11Z

Author Nirmalakhandan, N.
Preferred Shelf Number GE45.M37 K43 2002
Format: Books
Availability Beytepe Library~1