Limit Search Results
Author
SpringerLink (Online service)
(52)
Cooper, S. Barry. editor.
(4)
Li, Angsheng. editor.
(4)
Agrawal, Manindra. editor.
(2)
Atallah, Mikhail J.
(2)
Language
Publication Date
-
Subject
Information theory.
(40)
Theory of Computation.
(30)
Computer software.
(20)
Computational complexity.
(18)
Logic design.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Massively Parallel Evolutionary Computation on GPGPUs
Massively Parallel Evolutionary Computation on GPGPUs
Author 
Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334507.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Distributed Algorithms for Message-Passing Systems
Distributed Algorithms for Message-Passing Systems
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334542.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38250-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Author 
Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
Author 
Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
Cover image for Teoria degli Automi Finiti
Teoria degli Automi Finiti
Author 
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-5474-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action