Limit Search Results
Author
SpringerLink (Online service)
(20)
Dhillon, B. S. (Balbir S.), 1947-
(2)
O'Regan, Gerard. author.
(2)
Takayama, Nobuki. editor.
(2)
Adler, Aaron. editor.
(1)
Language
Publication Date
-
Subject
Computer software.
(9)
Mathematical Software.
(7)
Computer science.
(6)
Mathematics.
(6)
Computational complexity.
(4)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematical Approaches to Software Quality
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:
2. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
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:
3. 
Cover image for Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
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:
4. 
Cover image for Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2
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:
5. 
Cover image for Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments
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:
6. 
Cover image for Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
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:
7. 
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:
8. 
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:
9. 
Cover image for Optimization and Learning 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings
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:
10. 
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:
11. 
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:
12. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
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:
Go to:Search Results
|
Top of Page
|
Search Facets