Limit Search Results
Author
SpringerLink (Online service)
(780)
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.
(743)
Computer software.
(541)
Computer Communication Networks.
(224)
Data structures (Computer science).
(213)
Artificial intelligence.
(186)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
784 Results Found Subscribe to search results
000000000000DEFAULT
Print
97. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Author 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334549.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings
Author 
Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334695.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38905-4
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
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:
102. 
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:
103. 
Cover image for Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334879.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40020-9
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334881.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40041-4
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334888.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40084-1
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
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:
107. 
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:
108. 
Cover image for Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Author 
Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number 
ONLINE(334915.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action