본문

  1. Home
  4. Thesis
5 Results:SS:PROGRAMMINGLANGUAGES PP:CORNELL UNIVERSITY. 0.375 sec.
RSS 
Multilingual
 高级搜索
 新货搜索
选定的打印 선택엑셀내보내기
1
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
打印
2
Compilers for Secure Computation- [electronic resource]
Compilers for Secure Computation- [electronic resource]
Recto, Rolph.Computer Science. | Cornell University. | 2023
打印
3
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
打印
4
Stochastic Dynamic Logics- [electronic resource]
Stochastic Dynamic Logics- [electronic resource]
Roberts, Michael.Computer Science. | Cornell University. | 2023
打印
5
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
打印
처음1마지막