Limit Search Results
Author
SpringerLink (Online service)
(102)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Language
English
(102)
Publication Date
-
2014
(55)
2019
(47)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
102 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Author 
Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Garnier, Simon. editor. Hamann, Heiko. editor. Montes de Oca, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09952-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings
Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings
Author 
Gørtz, Inge Li. editor. Ravi, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Graph Drawing 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers
Graph Drawing 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers
Author 
Duncan, Christian. editor. Symvonis, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45803-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings
Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings
Author 
Simonis, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07046-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Author 
Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Author 
Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings
Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings
Author 
Lee, Jon. editor. Vygen, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07557-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action