Limit Search Results
Author
SpringerLink (Online service)
(147)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Language
Subject
Computer science.
(101)
Computational complexity.
(84)
Discrete Mathematics in Computer Science.
(84)
Mathematics.
(60)
Computer software.
(56)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Author 
Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335154.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42001-6
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 Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers
Author 
Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335214.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45392-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Imagine Math 2 Between Culture and Mathematics
Imagine Math 2 Between Culture and Mathematics
Author 
Emmer, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335606.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computing Qualitatively Correct Approximations of Balance Laws Exponential-Fit, Well-Balanced and Asymptotic-Preserving
Computing Qualitatively Correct Approximations of Balance Laws Exponential-Fit, Well-Balanced and Asymptotic-Preserving
Author 
Gosse, Laurent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335607.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action