Limit Search Results
Author
SpringerLink (Online service)
(85)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Language
Publication Date
-
2013
(84)
2015
(1)
Subject
Computational complexity.
(84)
Computer science.
(79)
Algorithm Analysis and Problem Complexity.
(55)
Computer software.
(55)
Artificial Intelligence (incl. Robotics).
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
85 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335176.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
Author 
Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Optimization Approaches for Solving String Selection Problems
Optimization Approaches for Solving String Selection Problems
Author 
Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332467.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Ramsey Theory for Discrete Structures
Ramsey Theory for Discrete Structures
Author 
Prömel, Hans Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332857.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01315-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Concise Computer Mathematics Tutorials on Theory and Problems
Concise Computer Mathematics Tutorials on Theory and Problems
Author 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332887.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Author 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Author 
Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332997.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
Author 
Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03898-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Author 
Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action