본문

  1. Home
  4. 소장자료검색
313 Results:SS:PROGRAMMING 0.469 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
101
A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]
A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]
Azevedo de Amorim, Pedro Henrique.Computer Science | Cornell University. | 2023
프린트
102
Compilers for Secure Computation- [electronic resource]
Compilers for Secure Computation- [electronic resource]
Recto, Rolph.Computer Science. | Cornell University. | 2023
프린트
103
Designing Formally Correct Intermittent Systems- [electronic resource]
Designing Formally Correct Intermittent Systems- [electronic resource]
Surbatovich, Milijana.Electrical and Computer Engi | Carnegie Mellon University. | 2023
프린트
104
Language-Based Techniques for Building Timing Channel Secure Hardware-Software Systems- [electronic resource]
Language-Based Techniques for Building Timing Channel Secure Hardware-Software Systems- [electronic resource]
Zagieboylo, Drew.Computer Science. | Cornell University. | 2023
프린트
105
Stochastic Dynamic Logics- [electronic resource]
Stochastic Dynamic Logics- [electronic resource]
Roberts, Michael.Computer Science. | Cornell University. | 2023
프린트
106
Multi-Level Methodology for PMEM Data Consistency- [electronic resource]
Multi-Level Methodology for PMEM Data Consistency- [electronic resource]
Xu, Yi.Computer Science and Engineering. | University of California, San Diego. | 2023
프린트
107
Unity 2021 cookbook : over 140 recipes to take your Unity game development skills to the next level
Unity 2021 cookbook : over 140 recipes to take your Unity game development skills to the next level
Smith, Mattz. | Packt Publishing | 2021
프린트
108
Dependency Injection : principles, practices, and patterns
Dependency Injection : principles, practices, and patterns
Deursen, Steven Van. | Manning | 2019
프린트
109
Revisiting Program Slicing with Ownership-Based Information Flow.
Revisiting Program Slicing with Ownership-Based Information Flow.
Crichton, William Perry. | Stanford University. | 2022
프린트
110
A Note on Dynamic Processes.
A Note on Dynamic Processes.
McMillan, Andrew.Applied and Interdisciplinary Mat | University of Michigan. | 2022
프린트
처음이전6789101112131415이후마지막