Search Results for Mathematical Software.

1.

Mathematical software

Author

Rice, John R., ed.

Preferred Shelf Number

QA 76 M766 1971

Format:

Availability

Beytepe Library~2

Available:
Copies:

2.

Mathematical Approaches to Software Quality

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:

Availability

Online Library~1

Available:
Copies:

3.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

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:

Availability

Online Library~1

Available:
Copies:

4.

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

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:

Availability

Online Library~1

Available:
Copies:

5.

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

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:

Availability

Online Library~1

Available:
Copies:

6.

Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments

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:

Availability

Online Library~1

Available:
Copies:

7.

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

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:

Availability

Online Library~1

Available:
Copies:

8.

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

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

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:

Availability

Online Library~1

Available:
Copies:

9.

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

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

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:

Availability

Online Library~1

Available:
Copies:

10.

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

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:

Availability

Online Library~1

Available:
Copies:

11.

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

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

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:

Availability

Online Library~1

Available:
Copies:

12.

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

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

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:

Availability

Online Library~1

Available:
Copies:

13.

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

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:

Availability

Online Library~1

Available:
Copies:

14.

The Impact of Pen and Touch Technology on Education

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:

Availability

Online Library~1

Available:
Copies:

15.

Bayesian networks for probabilistic inference and decision analysis in forensic science

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:

Availability

Online Library~1

Available:
Copies:

16.

Computer system reliability safety and usability

Author

Dhillon, B. S.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

17.

Safety and human error in engineering systems

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:

Availability

Online Library~1

Available:
Copies:

18.

Visual Mathematics and Cyberlearning

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:

Availability

Online Library~1

Available:
Copies:

19.

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

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:

Availability

Online Library~1

Available:
Copies:

20.

Fast Compact Algorithms and Software for Spline Smoothing

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:

Availability

Online Library~1

Available:
Copies:

21.

Introduction to Global Optimization Exploiting Space-Filling Curves

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:

Availability

Online Library~1

Available:
Copies:

22.

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

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:

Availability

Online Library~1

Available:
Copies:

23.

Spatial mathematics theory and practice through mapping

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:

Availability

Online Library~1

Available:
Copies:

24.

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

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:

Availability

Online Library~1

Available:
Copies:

25.

The SimCalc Vision and Contributions Democratizing Access to Important Mathematics

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:

Availability

Online Library~1

Available:
Copies:

26.

Environmental fate and transport analysis with compartment modeling

Author

Little, Keith W.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

27.

Statistical thinking in epidemiology

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:

Availability

Online Library~1

Available:
Copies:

28.

Systems engineering and architecting creating formal requirements

Author

Bellagamba, Laurence.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

29.

Modern anti-windup synthesis

Author

Zaccarian, Luca. Teel, Andrew R., 1965-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7t5z2

Format:

Availability

Online Library~1

Available:
Copies:

30.

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

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:

Availability

Online Library~1

Available:
Copies:

31.

Reliability technology, human error, and quality in health care

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:

Availability

Online Library~1

Available:
Copies:

32.

SAS for data analysis : intermediate statistical methods

Author

Marasinghe, Mervyn G. Kennedy, William J. (William Jo), 1936-

Preferred Shelf Number

QA276.4 .M266 2008

Format:

Availability

Health Sciences Library~2

Available:
Copies:

33.

Probability and statistical inference

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:

Availability

Online Library~1

Available:
Copies:

34.

Modeling tools for environmental engineers and scientists

Author

Nirmalakhandan, N.

Preferred Shelf Number

GE45.M37 K43 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

	{displayName}	{count}
{error}