본문

  1. Home
  4. Search
57 Results:SS:PROGRAMMINGLANGUAGE 0.250 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print 선택엑셀내보내기
11
An Introduction to the study of programming languages
An Introduction to the study of programming languages
Barron, D. W. | Cambridge University Press | 1977
печати
12
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
печати
13
Sparse Synchronous Programming with Temporal Abstractions.
Sparse Synchronous Programming with Temporal Abstractions.
Hui, John.Computer Science. | Columbia University. | 2024
печати
14
Scaling Dataflow: Programmability and Simulation.
Scaling Dataflow: Programmability and Simulation.
Zhang, Nathan. | Stanford University. | 2024
печати
15
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
печати
16
Compositional Security for Smart Contracts.
Compositional Security for Smart Contracts.
Yao, Siqiu.Computer Science. | Cornell University. | 2024
печати
17
Human-Centered Program Synthesis.
Human-Centered Program Synthesis.
Ferdowsifard, Kasra.Computer Science and Engineeri | University of California, San Diego. | 2024
печати
18
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
печати
19
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
печати
20
Exploiting Program Representation with Shader Applications- [electronic resource]
Exploiting Program Representation with Shader Applications- [electronic resource]
Yang, Yuting.Computer Science. | Princeton University. | 2023
печати
처음이전123456이후마지막