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
Discrete Mathematics in Computer Science.
(85)
Computational complexity.
(84)
Computer science.
(79)
Algorithm Analysis and Problem Complexity.
(55)
Computer software.
(55)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
85 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
Author 
Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334893.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Author 
Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40164-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Author 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
Author 
Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335098.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers
Author 
Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335203.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45281-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I
Author 
Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39206-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Author 
Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334753.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39212-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Author 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334778.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action