Clear Search

Books+ Search Results

Subject: "Computers"
Author/Creator: Is
Is Is Not
Yale University, degree granting institution
Location: Is
Is Is Not
Library Shelving Facility (LSF)

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Intuitive 3d design tools : bridging traditional and digital prototyping
Author
Paczkowski, Patrick
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
Library Shelving Facility (LSF) >> Film D19331
Format
Books / Microforms
2.
DeepSpec : modular certified programming with deep specifications
Author
Weng, Shu-Chun
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19004
Format
Books / Microforms
3.
Design and Implementation of Privacy-Preserving Surveillance
Author
Segal, Aaron
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19131
Format
Books / Microforms
4.
An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
Author
Gu, Ronghui
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19074
Format
Books / Microforms
5.
Facilitating the Acquisition of Realistic Material Appearance Models
Author
Lockerman, Yitzchak
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19102
Format
Books / Microforms
6.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
Author
Costanzo, David
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19052
Format
Books / Microforms
7.
Learning regular languages and automaton graphs
Author
Chen, Dongqu
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D18846
Format
Books / Microforms
8.
Nonverbal communication in socially assistive human-robot interaction
Author
Admoni, Henny
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D18812
Format
Books / Microforms
9.
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
10.
A wire-compatible TCP implementation for low-latency applications
Author
Nowlan, Michael F.
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
Library Shelving Facility (LSF) >> Film D18733
Format
Books / Microforms