Clear Search

Books+ Search Results

Subject: "Computer science"
Location: Is
Is Is Not
Library Shelving Facility (LSF)

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

-
Current results range from 1947 to 2021

1.
Developing Robot Teammates that Enhance Social Dynamics and Performance in Human-Robot Teams
Author
Sebo, Sarah Strohkorb
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20642
Format
Books / Microforms
2.
Refinement-Based Game Semantics for Certified Components
Author
Koenig, Jérémie
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20599
Format
Books / Microforms
3.
Deep Contextual Modeling for Natural Language Understanding, Generation, and Grounding
Author
Zhang, Rui
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20515
Format
Books / Microforms
4.
A Modular Synthesis Framework for Software Deployment, Design, and Implementation
Author
Santolucito, Mark
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20465
Format
Books / Microforms
5.
Modern Challenges for Machine Learning Applications of Submodularity: Privacy, Scalability, and Sequences
Author
Mitrovic, Marko
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20435
Format
Books / Microforms
6.
Real-Time CertiKOS: Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation
Author
Liu, Mengqi
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20422
Format
Books / Microforms
7.
Elea 9003 : storia del primo calcolatore elettronico italiano
Author
Gazzarri, Maurizio, 1971-
Published
Roma : Edizioni di Comunità, [2021]
Location
Library Shelving Facility (LSF) >> HD9696.2.I84 I535 2021 (LC)
Format
Books
8.
Il tecno-dragone : l'immaginario tecnologico cinese ieri, oggi e domani
Author
Tarantino, Matteo
Published
Milano : VP, Vita e pensiero, [2020]
Location
Library Shelving Facility (LSF) >> HN740.Z9 I5682 2020 (LC)
Format
Books
9.
Antropnyĭ podkhod protiv "igry v imitat︠s︡ii︠u︡" : filosofsko-metodologicheskie problemy nauki i tekhniki v t︠s︡ifrovui︠u︡ ėpokhu
Title
Антропный подход против "игры в имитацию"
Author
Petruni︠a︡, O. Ė. (Oleg Ėduardovich)
Петруня, О. Э. (Олег Эдуардович)
Published
Moskva : URSS : LENAND, 2021.
Location
Library Shelving Facility (LSF) >> QA76.167 .P48 2021 (LC)
Format
Books
10.
Wang Xuan wen ji
Title
王选文集
Author
Wang, Xuan, 1937-
王选, 1937-
Published
Beijing : Beijing da xue chu ban she, 1997.
Location
Library Shelving Facility (LSF) >> PL1074.5 .W32 1997 (LC)
Format
Books
11.
Setevye lingvisticheskie tekhnologii : kollektivnai︠a︡ monografii︠a︡
Title
Сетевые лингвистические технологии
Author
Beli︠a︡eva, L. N.
Беляева, Л. Н.
Published
Moskva : Izdatelʹstvo RGPU im. A. I. Gert︠s︡ena, 2019.
Location
Library Shelving Facility (LSF) >> P98 .B45 2019 (LC)
Format
Books
12.
Simples assim! : um pioneiro da informática no extremo oriental das Américas
Author
Ferreira Filho, Sebastião
Published
João Pessoa, Paraíba : MVC Editora : Forma Editoria, setembro de 2018.
Location
Library Shelving Facility (LSF) >> QA76.2.F47 A3 2018 (LC)
Format
Books
13.
Alternative History : Multi-Log Systems in Theory and Practice
Author
Lockerman, Joshua Z
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20037
Format
Books / Microforms
14.
Modular and Compositional Development of Certified Concurrent Software Systems
Author
Kim, Jieung
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20013
Format
Books / Microforms
15.
Building Effective Robot Tutoring Interactions for Children
Author
Ramachandran, Aditi
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF - Request for in-building use at any Yale library >> Film D19890
Format
Books / Microforms
16.
Luo ji, yu yan, ji suan : Ma Xiwen wen xuan
Title
逻辑・语言・计算
Author
Ma, Xiwen
马希文
Published
Beijing : Shang wu yin shu guan, 2019.
Location
Library Shelving Facility (LSF) >> QA76.9.M35 M28 2019 (LC)
Format
Books
17.
Modular and Certified Resource-Bound Analyses
Author
Carbonneaux, Quentin
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF - Request for in-building use at any Yale library >> Film D19596
Format
Books / Microforms
18.
Approximate Gaussian Elimination
Author
Kyng, Rasmus
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF - Request for delivery to any Yale Library >> Film D19498
Format
Books / Microforms
19.
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
20.
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
21.
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
22.
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
23.
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
24.
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
25.
Natural language processing for social media
Author
Farzindar, Atefeh
Published
San Rafael, Calif. : Morgan & Claypool Publishers, [2018]
©2018
Location
Library Shelving Facility (LSF) >> QA76.9.N38 F37 2018
Format
Books