Mechanizing Proof – Computing, Risk & Trust

Похожие книги

1. Robert W. Kolb, James A. Overdahl. Financial Derivatives, 3rd Edition. – М.: , 0. – 0 с.
   
2. M. T. Maccrimmon, Peter Tillers, Marilyn Maccrimmon. The Dynamics of Judical Proof: Computation, Logic, and Common Sense (Studies in Fuzziness and Soft Computing, Vol. 94). – М.: , 0. – 0 с.
   
3. Handbook of Inflation Indexed Bonds. – М.: Wiley, 1999. – 306 с.
   
4. L. Jean Camp. Trust and Risk in Internet Commerce. – М.: , 0. – 0 с.
   
5. Juanita Ellis, Tim Speed. The Internet Security Guidebook: From Planning to Deployment. – М.: , 0. – 0 с.
   
6. Internet and Network Economics: First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings (Lecture Notes in Computer Science). – М.: , 2006. – 1106 с.
   
7. Recent Advances in Reliability and Quality in Design (Springer Series in Reliability Engineering). – М.: , 2008. – 523 с.
   
8. Algorithmic Aspects in Information and Management: 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings (Lecture Notes in Computer Science). – М.: , 2008. – 350 с.
   
9. Stefano Franchi. Mechanical Bodies, Computational Minds – Artificial Intelligence from Automata to Cyborgs. – М.: , 2005. – 544 с.
   
10. Donald Mackenzie. Mechanizing Proof – Computing, Risk & Trust. – М.: , 2001. – 434 с.
    
11. Stefano Franchi. Mechanical Bodies, Computational Minds – Artificial Intelligence from Automata to Cyborgs. – М.: , 2005. – 544 с.
    
12. GM WARD. Ward: Managing ?computer? Risk – A Guide For The Policymaker (prev.managing Microcomput). – М.: , 1986. – 182 с.
    
13. S MUFTIC. Muftic: ?security? Mechanisms For Computer Network S. – М.: , 1989. – 196 с.
    
14. David Cowan and Simon Halliday. The Appeal of Internal Review. – М.: , 2011. – 232 с.
    
15. Amit Chauhan. Securing MANET with an Enhanced Trust Calculation Method. – М.: LAP Lambert Academic Publishing, 2012. – 76 с.
    
16. Yousaf Ali Khan. Measuring Financial Risk Modelling. – М.: LAP Lambert Academic Publishing, 2013. – 116 с.
    
17. Pankaj Dashore and Rachna Dashore. Risk Management Through Fuzzy Logic. – М.: LAP Lambert Academic Publishing, 2013. – 144 с.
    

Образцы работ

Задайте свой вопрос по вашей теме

		Гладышева Марина Михайловна marina@studentochka.ru +7 911 822-56-12 с 9 до 21 ч. по Москве.