|
Adapting Proofs-as-Programs: The Curry-Howard Protocol Автор: Iman Poernomo Год: 2005 |
Client-Server Protocol Год: 2011 |
Bootstrap Protocol Год: 2011 |
Binary Protocol Год: 2011 |
Babel (Protocol) Год: 2011 |
Simple Common Gateway Interface Автор: Lambert M. Surhone Год: 2010 |