Limit Search Results
Author
SpringerLink (Online service)
(92)
Cooper, S. Barry. editor.
(5)
Li, Angsheng. editor.
(5)
Agrawal, Manindra. editor.
(3)
Cai, Jin-Yi. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(52)
Information theory.
(47)
Theory of Computation.
(36)
Computer software.
(21)
Artificial intelligence.
(20)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
104 Results Found Subscribe to search results
00000000DEFAULT
Print
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
Cover image for Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime
Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime
Author 
Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rzmb
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Living on the Edge : 28 Papers in Honour of Jonathan Kaye
Living on the Edge : 28 Papers in Honour of Jonathan Kaye
Author 
Abu-Mansour, Mahasen, contributor. Cassimjee, Farida, contributor. Charette, Monik, contributor. Cobb, Margaret, contributor. Cristófaro-Silva, Thaïs, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110890563
https://www.degruyter.com/isbn/9783110890563
Cover https://www.degruyter.com/document/cover/isbn/9783110890563/original
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Genetic and evolutionary computation medical applications
Genetic and evolutionary computation medical applications
Author 
Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-
Preferred Shelf Number 
ONLINE(318963.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=624700
ebrary http://site.ebrary.com/id/10441473
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634
John Wiley http://dx.doi.org/10.1002/9780470973134
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Multiple view geometry in computer vision
Multiple view geometry in computer vision
Author 
Hartley, Richard, author. Zisserman, Andrew, author.
Preferred Shelf Number 
ONLİNE
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action