Limit Search Results
Author
SpringerLink (Online service)
(53)
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847
(3)
Balandin, Sergey. editor.
(2)
Brodsky, Alexander. editor.
(2)
Filipe, Joaquim. editor.
(2)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(29)
Probability and Statistics in Computer Science.
(27)
Application software.
(23)
Software engineering.
(19)
Artificial intelligence.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
61 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Gröbner Bases Statistics and Software Systems
Gröbner Bases Statistics and Software Systems
Author 
Hibi, Takayuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335439.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54574-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Developing Statistical Software in Fortran 95
Developing Statistical Software in Fortran 95
Author 
Lemmon, David R. author. Schafer, Joseph L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28123-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Author 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software for Data Analysis Programming with R
Software for Data Analysis Programming with R
Author 
Chambers, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75936-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
Author 
Mendes, Emilia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The R Software Fundamentals of Programming and Statistical Analysis
The R Software Fundamentals of Programming and Statistical Analysis
Author 
Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332463.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
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:
10. 
Cover image for Early Software Reliability Prediction A Fuzzy Logic Approach
Early Software Reliability Prediction A Fuzzy Logic Approach
Author 
Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-1176-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Handbook on Analyzing Human Genetic Data Computational Approaches and Software
Handbook on Analyzing Human Genetic Data Computational Approaches and Software
Author 
Lin, Shili. author. Zhao, Hongyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Author 
van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action