본문

  1. Home
  4. Thesis
29 Results:SS:PROGRAMMINGLANGUAGES 0.234 sec.
RSS 
Multilingual
 Erweiterte Suche
 Neuankömmling Buch suchen
ausgewählten Druck 선택엑셀내보내기
21
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Emre, Mehmet.Computer Science. | University of California, Santa Barbara. | 2022
drucken
22
Rational Inattention and a Causal Account of Program Security.
Rational Inattention and a Causal Account of Program Security.
Soloviev, Matvey.Computer Science. | Cornell University. | 2021
drucken
23
Compositional and Automated Verification of Distributed Systems.
Compositional and Automated Verification of Distributed Systems.
Wilcox, James R.Computer Science and Engineering. | University of Washington. | 2021
drucken
24
Usable and Efficient Systems for Machine Learning.
Usable and Efficient Systems for Machine Learning.
Xin, Doris.Electrical Engineering & Computer Scien | University of California, Berkeley. | 2021
drucken
25
Automating Program Analysis for Differential Privacy.
Automating Program Analysis for Differential Privacy.
Zhang, Hengchu.Computer and Information Science. | University of Pennsylvania. | 2021
drucken
26
Refinement-Based Game Semantics for Certified Components.
Refinement-Based Game Semantics for Certified Components.
Koenig, Jeremie.Computer Science. | Yale University. | 2020
drucken
27
Teaching and Assessing Programming Language Tracing.
Teaching and Assessing Programming Language Tracing.
Nelson, Gregory L.Computer Science and Engineering | University of Washington. | 2021
drucken
28
Programming Language Tools and Techniques for Computational Fabrication.
Programming Language Tools and Techniques for Computational Fabrication.
Nandi, Chandrakana.Computer Science and Engineerin | University of Washington. | 2021
drucken
29
Mechanisms for Provable Integrity Protection in Decentralized Systems.
Mechanisms for Provable Integrity Protection in Decentralized Systems.
Cecchetti, Ethan Benjamin.Computer Science. | Cornell University. | 2021
drucken
처음이전123마지막