Limit Search Results
Author
SpringerLink (Online service)
(100)
Lopez, Cesar. author.
(10)
O'Regan, Gerard. author.
(7)
Taylor and Francis.
(4)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Language
English
(176)
Publication Date
-
Subject
Computer software.
(24)
Mathematical Software.
(22)
Software engineering.
(20)
COMPUTERS / Mathematical & Statistical Software
(17)
Electronic books.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
176 Results Found Subscribe to search results
000000000000DEFAULT
Print
97. 
Cover image for Techniques for Evaluating the Differences in Multiregional Input-Output Databases A Comparative Evaluation of CO2 Consumption-Based Accounts Calculated Using Eora, GTAP and WIOD
Techniques for Evaluating the Differences in Multiregional Input-Output Databases A Comparative Evaluation of CO2 Consumption-Based Accounts Calculated Using Eora, GTAP and WIOD
Author 
Owen, Anne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51556-4
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Advances in Solid and Hazardous Waste Management
Advances in Solid and Hazardous Waste Management
Author 
Goel, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57076-1
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Trends in Software Testing
Trends in Software Testing
Author 
Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1415-4
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Author 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for The Symbolic Computation of Integrability Structures for Partial Differential Equations
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Author 
Krasil'shchik, Joseph. author. Verbovetsky, Alexander. author. Vitolo, Raffaele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71655-8
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Modelling Organs, Tissues, Cells and Devices Using MATLAB and COMSOL Multiphysics
Modelling Organs, Tissues, Cells and Devices Using MATLAB and COMSOL Multiphysics
Author 
Dokos, Socrates. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54801-7
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Process modeling and simulation for chemical engineers : theory and practice
Process modeling and simulation for chemical engineers : theory and practice
Author 
Upreti, Simant Ranjan, author.
Preferred Shelf Number 
TP155.7 .U67 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118914670
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for A data scientist's guide to acquiring, cleaning and managing data in R
A data scientist's guide to acquiring, cleaning and managing data in R
Author 
Buttrey, Samuel, author. Whitaker, Lyn R., author.
Preferred Shelf Number 
QA76.9 .D26
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Author 
Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57666-4
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Smart Electromechanical Systems: The Central Nervous System
Smart Electromechanical Systems: The Central Nervous System
Author 
Gorodetskiy, Andrey E. editor. Kurbanov, Vugar G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action