본문

  1. Home
  4. Search
251 Results:SS:PROGRAMMING 0.375 sec.
RSS 
Multilingual
 Búsqueda Avanzada
 Nueva llegada Buscar
Selected Print 선택엑셀내보내기
91
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
impresión
92
Stochastic Dynamic Logics- [electronic resource]
Stochastic Dynamic Logics- [electronic resource]
Roberts, Michael.Computer Science. | Cornell University. | 2023
impresión
93
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
impresión
94
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
impresión
95
Dependency Injection : principles, practices, and patterns
Dependency Injection : principles, practices, and patterns
Deursen, Steven Van. | Manning | 2019
impresión
96
Revisiting Program Slicing with Ownership-Based Information Flow.
Revisiting Program Slicing with Ownership-Based Information Flow.
Crichton, William Perry. | Stanford University. | 2022
impresión
97
A Note on Dynamic Processes.
A Note on Dynamic Processes.
McMillan, Andrew.Applied and Interdisciplinary Mat | University of Michigan. | 2022
impresión
98
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing.
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing.
Chakraborty, Saikat.Computer Science. | Columbia University. | 2022
impresión
99
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Li, Yao.Computer and Information Science. | University of Pennsylvania. | 2022
impresión
100
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
impresión
처음이전12345678910이후마지막