|
Cloud Storage Gateway Год: 2011 |
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science) Автор: Iman Poernomo, John N. Crossley, Martin Wirsing Год: 2005 |
Gateways to the Global Economy Автор: Ake E. Andersson, David E. Andersson Год: 1999 |
World Economy: Global Trade Policy 2002 Автор: Peter Lloyd, Chris Milner Год: 1999 |
Understanding IPv6 Автор: Joseph Davies Год: 2008 |
Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science) Автор: Qingfeng Chen, Chengqi Zhang, Shichao Zhang Год: 2008 |