본문

  1. Home
  4. 소장자료검색
251 Results:SS:PROGRAMMING 4.16 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
71
The Art of computer programming
The Art of computer programming
Drury, Donald William | Tab Books | 1983
프린트
72
The MC68000 assembly language and systems programming
The MC68000 assembly language and systems programming
Ford, William | D. C. Heath | 1988
프린트
73
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
프린트
74
Improving Web Automation Tools Through UI Context and Demonstration.
Improving Web Automation Tools Through UI Context and Demonstration.
Krosnick, Rebecca P.Computer Science & Engineering | University of Michigan. | 2024
프린트
75
The Design of Correct and Efficient Serverless Microservices.
The Design of Correct and Efficient Serverless Microservices.
Zhang, Haoran.Computer and Information Science. | University of Pennsylvania. | 2024
프린트
76
Scaling Dataflow: Programmability and Simulation.
Scaling Dataflow: Programmability and Simulation.
Zhang, Nathan. | Stanford University. | 2024
프린트
77
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
프린트
78
Correctness of Software Tools Under Weak Memory Models.
Correctness of Software Tools Under Weak Memory Models.
Liu, Shuyang.Computer Science 0201. | University of California, Los Angeles. | 2024
프린트
79
Compositional Security for Smart Contracts.
Compositional Security for Smart Contracts.
Yao, Siqiu.Computer Science. | Cornell University. | 2024
프린트
80
On Transparent Optimizations for Communication in Highly Parallel Systems.
On Transparent Optimizations for Communication in Highly Parallel Systems.
Wilkins, Michael.Computer Engineering. | Northwestern University. | 2024
프린트
처음이전12345678910이후마지막