Limit Search Results
Author
SpringerLink (Online service)
(84)
Cotta, Carlos. editor.
(3)
Gavrilova, Marina L. editor.
(3)
Tan, C. J. Kenneth. editor.
(3)
Abramsky, Samson. editor.
(2)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
Author 
Blum, Christian. editor. Battiti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Author 
Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13824-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Author 
Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
Author 
Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14322-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Author 
Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14162-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Author 
Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14165-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Author 
Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14183-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
Author 
Mangard, Stefan. editor. Standaert, François-Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Author 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part II
Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part II
Author 
Schaefer, Robert. editor. Cotta, Carlos. editor. Kołodziej, Joanna. editor. Rudolph, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15871-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Sequences and Their Applications – SETA 2010 6th International Conference, Paris, France, September 13-17, 2010. Proceedings
Sequences and Their Applications – SETA 2010 6th International Conference, Paris, France, September 13-17, 2010. Proceedings
Author 
Carlet, Claude. editor. Pott, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15874-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action