Limit Search Results
Author
SpringerLink (Online service)
(215)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Language
English
(215)
Publication Date
-
Subject
Computer science -- Mathematics.
(213)
Artificial intelligence.
(121)
Computer networks .
(104)
Computer science.
(89)
Theory of Computation.
(77)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
215 Results Found Subscribe to search results
00000000000DEFAULT
Print
205. 
Cover image for Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32152-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Cryptography Made Simple
Cryptography Made Simple
Author 
Smart, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Algorithms for Data Science
Algorithms for Data Science
Author 
Steele, Brian. author. Chandler, John. author. Reddy, Swarna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45797-0
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Author 
Herdt, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Relaxed Abduction Robust Information Interpretation for Industrial Applications
Relaxed Abduction Robust Information Interpretation for Industrial Applications
Author 
Hubauer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14407-4
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Linear Algebra for Computational Sciences and Engineering
Linear Algebra for Computational Sciences and Engineering
Author 
Neri, Ferrante. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40341-0
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Engineering Computation of Structures: The Finite Element Method
Engineering Computation of Structures: The Finite Element Method
Author 
Neto, Maria Augusta. author. Amaro, Ana. author. Roseiro, Luis. author. Cirne, José. author. Leal, Rogério. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17710-6
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Sparse Grids and Applications
Sparse Grids and Applications
Author 
Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31703-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Condition The Geometry of Numerical Algorithms
Condition The Geometry of Numerical Algorithms
Author 
Bürgisser, Peter. author. Cucker, Felipe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334693.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38896-5
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Author 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334985.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Author 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334663.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action