Limit Search Results
Author
SpringerLink (Online service)
(868)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(742)
Computer software.
(545)
Computer Communication Networks.
(228)
Data structures (Computer science).
(213)
Artificial intelligence.
(198)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
903 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Author 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Author 
Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30885-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
Author 
Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Author 
Even, Guy. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31104-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Author 
Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Author 
Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31155-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings
Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings
Author 
Cox, Philip. editor. Plimmer, Beryl. editor. Rodgers, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31223-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Author 
Kärkkäinen, Juha. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31265-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Author 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Author 
Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31570-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31585-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31594-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action