본문

  1. Home
  4. Thesis
34 Results:SS:PROGRAMMINGLANGUAGE 0.234 sec.
RSS 
Multilingual
 חיפוש מתקדם
 חיפוש חדש ההגעה
Selected Print 선택엑셀내보내기
1
Teaching and Assessing Programming Language Tracing.
Teaching and Assessing Programming Language Tracing.
Nelson, Gregory L.Computer Science and Engineering | University of Washington. | 2021
להדפיס
2
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
להדפיס
3
Formal Modeling Languages for High-assurance Domain-specific Systems = 高保障特定领域系统的形式化建模语言.
Formal Modeling Languages for High-assurance Domain-specific Systems = 高保障特定领域系统的形式化建模语言.
Ni, Haobin.Computer Science. | Cornell University. | 2024
להדפיס
4
Sparse Synchronous Programming with Temporal Abstractions.
Sparse Synchronous Programming with Temporal Abstractions.
Hui, John.Computer Science. | Columbia University. | 2024
להדפיס
5
Scaling Dataflow: Programmability and Simulation.
Scaling Dataflow: Programmability and Simulation.
Zhang, Nathan. | Stanford University. | 2024
להדפיס
6
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types.
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types.
Lazarek, Lukas.Computer Science. | Northwestern University. | 2024
להדפיס
7
Compositional Security for Smart Contracts.
Compositional Security for Smart Contracts.
Yao, Siqiu.Computer Science. | Cornell University. | 2024
להדפיס
8
Human-Centered Program Synthesis.
Human-Centered Program Synthesis.
Ferdowsifard, Kasra.Computer Science and Engineeri | University of California, San Diego. | 2024
להדפיס
9
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Geisler, Dietrich.Computer Science. | Cornell University. | 2024
להדפיס
10
Towards Ai-Driven Networks: Hardware and Software for Data-Plane Ml- [electronic resource]
Towards Ai-Driven Networks: Hardware and Software for Data-Plane Ml- [electronic resource]
Swamy, Tushar. | Stanford University. | 2023
להדפיס
처음1234이후마지막