|
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science) Автор: Iman Poernomo, John N. Crossley, Martin Wirsing Год: 2005 |
Speech Processing for IP Networks Автор: David Burke Год: 2007 |
Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science) Автор: Qingfeng Chen, Chengqi Zhang, Shichao Zhang Год: 2008 |
Expert Network Time Protocol: An Experience in Time with NTP (Expert) Автор: Peter Rybaczyk Год: 2005 |
TCP/IP JumpStart: Internet Protocol Basics Автор: Andrew G. Blank Год: 2002 |
Understanding IPv6 Автор: Youngsong Mun Год: 2005 |