Clear Search

Books+ Search Results

Subject: "Computers"
Format: Is
Is Is Not
Dissertations & Theses

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (397)

Limit your search

-
Current results range from 1953 to 2023

1.
Computer applications in graphic design education
Author
Lindholm, Liisa
Published
[New Haven, Connecticut] : Yale University, [1987].
Location
LSF - Haas Arts Special Collections (Non-Circulating) >> THESIS GD 1987 LIN
Format
Books / Dissertations & Theses
2.
Economic analysis of computer performance
Author
Kang, Young Moo
Published
1986.
Location
SML, Microform (Non-Circulating) >> Film B15312
Format
Books / Dissertations & Theses / Microforms
3.
Zhongguo ji suan qi xie zhi yan jiu
Title
中國計算器械之研究
Author
Wu, Wanxing
吳萬興
Published
Minguo 60 [1971]
Location
SML, Stacks, LC Classification >> QA75 .W84 1971
Format
Books / Dissertations & Theses
4.
An analog computer for frequency response studies
Author
Gardner, Floyd Martin, 1929-
Published
Urbana, Ill., 1953.
Location
Library Shelving Facility (LSF) >> WG 954
Format
Books / Dissertations & Theses
5.
Alternative History: Multi-Log Systems in Theory and Practice
Author
Lockerman, Joshua Z.
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
6.
Modular and Compositional Development of Certified Concurrent Software Systems
Author
Kim, Jieung
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
7.
A Compositional Automation Engine for Verifying Complex System Software
Author
Wu, Xiongnan Newman
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
8.
High Performance Multi-core Transaction Processing via Deterministic Execution
Author
Faleiro, Jose Manuel
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
9.
Modular and Certified Resource-Bound Analyses
Author
Carbonneaux, Quentin
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
10.
Intuitive 3D Design Tools: Bridging Traditional and Digital Prototyping
Author
Paczkowski, Patrick
Published
Ann Arbor : ProQuest Dissertations & Theses, 2017
Online
https://yale.idm.oclc.org/login?URL=http://gateway.proquest.com/openurl?url_v...
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
11.
DeepSpec: Modular Certified Programming with Deep Specifications
Author
Weng, Shu-Chun
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
12.
An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
Author
Gu, Ronghui
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
13.
Facilitating the Acquisition of Realistic Material Appearance Models
Author
Lockerman, Yitzchak
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
14.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
Author
Costanzo, David
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
15.
Learning Regular Languages and Automaton Graphs
Author
Chen, Dongqu
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
16.
Nonverbal Communication in Socially Assistive Human-Robot Interaction
Author
Admoni, Henny
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
17.
Practical and Deployable Secure Multi-Party Computation
Author
Ghupta, Debayan
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
18.
Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities
Author
Maheswaran, John
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
19.
Effects, Asynchrony, and Choice in Arrowized Functional Reactive Programming
Author
Winograd-Cort, Daniel
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
20.
A Flexible Architecture for Structural Reliability Auditing to the Clouds
Author
Zhai, Ennan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
21.
Identity Management through Privacy-Preserving Authentication
Author
Syta, Ewa
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
22.
Seeking Invariance in the Shape from Shading Problem
Author
Holtmann-Rice, Daniel Niels
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
23.
Warding off Timing Channels in Deterland
Author
Wu, Weiyi
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
24.
Creating Personalized Robot Tutors That Adapt to The Needs of Individual Students
Author
Leyzberg, Daniel Noah
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
25.
Large-Scale Graph Data Processing
Author
Huang, Jiewen
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses