Clear Search

Books+ Search Results

"Computers"
Subject (Local Yale): Is
Is Is Not
Thesis : Yale University, Graduate School, Computer Science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Computational reconstruction of biological networks
Author
Yip, Yuk Lap
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13748
Format
Books / Dissertations & Theses / Microforms
2.
A type-preserving computer infrastructure
Author
League, Christopher Adam
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11665
Format
Books / Dissertations & Theses / Microforms
3.
Volume bounded molecular computation
Author
Fu, Bin
Published
[1997]
Location
Library Shelving Facility (LSF) >> Film D10251
Library Shelving Facility (LSF) >> Film D10251
Format
Books / Dissertations & Theses / Microforms
4.
Computational methods for eye-tracking analysis applications to autism
Author
Shic, Frederick
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13621
Format
Books / Dissertations & Theses / Microforms
5.
Efficient fault-tolerant infrastructure for cloud computing
Author
Su, Xueyuan
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17825
Format
Books / Microforms
6.
Efficient cryptographic tools for secure distributed computing
Author
Yampolskiy, Aleksandr
Published
c2006.
Location
SML, Microform (Non-Circulating) >> Film D12797
Format
Books / Dissertations & Theses / Microforms
7.
Practical and Deployable Secure Multi-Party Computation
Author
Gupta, Debayan
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19075
Format
Books / Microforms
8.
Massive data streams in graph theory and computational geometry
Author
Zhang, Jian
Published
c2005.
Location
Library Shelving Facility (LSF) >> Film D12611
Format
Books / Dissertations & Theses / Microforms
9.
Privacy, integrity, and incentive-compatibility in computations with untrusted parties
Author
Zhong, Sheng
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D12289
Format
Books / Dissertations & Theses / Microforms
10.
Provably good computational approximations to some difficult problems in finance and economics
Author
Akcoglu, Karhan Eren
Published
c2002.
Location
Library Shelving Facility (LSF) >> Film D11281
Format
Books / Dissertations & Theses / Microforms
11.
Principled compilation and scavenging
Author
Monnier, Stefan
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D11925
Format
Books / Dissertations & Theses / Microforms
12.
Distributed data structures for peer-to-peer systems
Author
Shah, Gauri
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D11952
Format
Books / Dissertations & Theses / Microforms
13.
Modeling user interfaces in a functional language
Author
Courtney, Antony Alexander
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D12017
Format
Books / Dissertations & Theses / Microforms
14.
Distributed algorithmic mechanism design
Author
Sami, Rahul
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11950
Format
Books / Dissertations & Theses / Microforms
15.
Functional reactive programming for real-time reactive systems
Author
Wan, Zhanyong
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11691
Format
Books / Dissertations & Theses / Microforms
16.
Microarchitecture for billion-transistor VLSI superscalar processors
Author
Loh, Gabriel Hsiuwei
Published
[2003], c2002.
Location
Library Shelving Facility (LSF) >> Film D11667
Format
Books / Dissertations & Theses / Microforms
17.
The perceptual organization of visual flows
Author
Ben-Shahar, Ohad
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11868
Format
Books / Dissertations & Theses / Microforms
18.
Randomized algorithms for matrix operations
Author
Drineas, Petros
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11851
Format
Books / Dissertations & Theses / Microforms
19.
A type system for certified runtime type analysis
Author
Saha, Bratin
Published
[2003], c2002.
Location
Library Shelving Facility (LSF) >> Film D11610
Format
Books / Dissertations & Theses / Microforms
20.
PATH, a program transformation system for Haskell
Author
Tullsen, Mark Anders
Published
c2002.
Location
Library Shelving Facility (LSF) >> Film D11474
Format
Books / Dissertations & Theses / Microforms
21.
Memory consistency and program verification
Author
Ferreira, Rodrigo
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14775
Format
Books / Dissertations & Theses / Microforms
22.
Spectral sparsification and restricted invertibility
Author
Srivastava, Nikhil
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14158
Format
Books / Dissertations & Theses / Microforms
23.
Syntactic finitism in the metatheory of programming languages
Author
Sarnat, Jeffrey
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14168
Format
Books / Dissertations & Theses / Microforms
24.
Accelerated dense random projections
Author
Liberty, Edo
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13828
Format
Books / Dissertations & Theses / Microforms
25.
Active learning of interaction networks
Author
Reyzin, Lev
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D14051
Format
Books / Dissertations & Theses / Microforms