본문

  1. Home
  4. Search
313 Results:SS:PROGRAMMING 0.390 sec.
RSS 
Multilingual
 חיפוש מתקדם
 חיפוש חדש ההגעה
Selected Print 선택엑셀내보내기
111
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
להדפיס
112
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
להדפיס
113
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
להדפיס
114
Bridging the Gap between Set Theory and Logic: Leveraging Computing as a Mediating Tool for Learning.
Bridging the Gap between Set Theory and Logic: Leveraging Computing as a Mediating Tool for Learning.
Martinez, Antonio Estevan, IV.Mathematics and Scie | University of California, San Diego. | 2022
להדפיס
115
정보 검색의 이론과 실제 : 검색엔진을 구현하고 평가하는 방법
정보 검색의 이론과 실제 : 검색엔진을 구현하고 평가하는 방법
Büttcher, Stefan | 에이콘 | 2021
להדפיס
116
(처음으로 배우는)C 프로그래밍
(처음으로 배우는)C 프로그래밍
Bronson, Gary J. | 영한출판사 | 2003
להדפיס
117
ShaderX² : DirectX 9 셰이더 프로그래밍 팁 & 트릭
ShaderX² : DirectX 9 셰이더 프로그래밍 팁 & 트릭
Engel, Wolfgang | 정보문화사 | 2004
להדפיס
118
Rational Inattention and a Causal Account of Program Security.
Rational Inattention and a Causal Account of Program Security.
Soloviev, Matvey.Computer Science. | Cornell University. | 2021
להדפיס
119
Compositional and Automated Verification of Distributed Systems.
Compositional and Automated Verification of Distributed Systems.
Wilcox, James R.Computer Science and Engineering. | University of Washington. | 2021
להדפיס
120
Usable and Efficient Systems for Machine Learning.
Usable and Efficient Systems for Machine Learning.
Xin, Doris.Electrical Engineering & Computer Scien | University of California, Berkeley. | 2021
להדפיס
처음이전78910111213141516이후마지막