Limit Search Results
Author
SpringerLink (Online service)
(837)
Quarteroni, Alfio. author.
(17)
Saleri, Fausto. author.
(8)
Dongarra, Jack. editor.
(6)
Griebel, Michael. editor.
(6)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(504)
Mathematics.
(310)
Computer science.
(271)
Computer science—Mathematics.
(204)
Algorithms.
(120)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1030 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Author 
Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04156-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Solid-Liquid Separation in the Mining Industry
Solid-Liquid Separation in the Mining Industry
Author 
Concha A., Fernando. author. (orcid)0000-0002-5712-5141 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02484-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers
System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers
Author 
Pötzsche, Christian. editor. Heuberger, Clemens. editor. Kaltenbacher, Barbara. editor. Rendl, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45504-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Author 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Author 
Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Transaction Processing Management of the Logical Database and its Underlying Physical Structure
Transaction Processing Management of the Logical Database and its Underlying Physical Structure
Author 
Sippu, Seppo. author. Soisalon-Soininen, Eljas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12292-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Blind Source Separation Advances in Theory, Algorithms and Applications
Blind Source Separation Advances in Theory, Algorithms and Applications
Author 
Naik, Ganesh R. editor. Wang, Wenwu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55016-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
Author 
Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06793-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Information Visualization An Introduction
Information Visualization An Introduction
Author 
Spence, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07341-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Author 
Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action