|
Alcatel–Lucent Scalable IP Networks Self–Study Guide Автор: Kent Hundley Год: 2009 |
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science) Автор: Iman Poernomo, John N. Crossley, Martin Wirsing Год: 2005 |
GRID-ENABLED TRANSPORTATION ROUTING WITH REAL-TIME EVENTS Автор: Ying Cao Год: 2010 |
Transportation Автор: Barnhart C. Год: 2006 |
Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science) Автор: Qingfeng Chen, Chengqi Zhang, Shichao Zhang Год: 2008 |