The Verification of MDG Algorithms in the HOL Theorem Prover

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

1. Jan Freidhof. The Dilemma of Cash Management in China: Presenting Entrusted Loans as a potential Solution. – М.: , 2012. – 56 с.
   
2. Luciano Romero Mascarell. Peronism Or Peronism: The Strategy of Dominance. Fiscal Federalism and the Politics of Coalition-Building in Argentina. – М.: , 2012. – 128 с.
   
3. Nomahaza Mahadi. Emotional Intelligence and Leadership: The role of emotional intelligence in the quality of leader-follower relationship. – М.: , 2012. – 336 с.
   
4. Zaharina Velikova. A Lattice Attack on the McEliece Public Key Cryptosystem: Lattice Basis Reduction Algorithms in Cryptography. – М.: , 2008. – 132 с.
   
5. The Editors of Black Issues in Higher Education. The Unfinished Agenda of Brown v. Board of Education. – М.: , 2004. – 256 с.
   
6. The Editors of Black Iissues in Higher Education (BIHE). The Unfinished Agenda of the Selma–Montgomery Voting Rights March. – М.: , 2005. – 240 с.
   
7. ICAA (The Institute of Chartered Accountants in Australia). Financial Reporting Handbook 2008. – М.: , 2008. – 0 с.
   
8. ICAA (The Institute of Chartered Accountants in Australia). Financial Reporting Handbook 2010. – М.: , 2010. – 1992 с.
   
9. ICAA (The Institute of Chartered Accountants in Australia). Auditing and Assurance Handbook 2010. – М.: , 2010. – 0 с.
   
10. Rajesh A. Thakker,Mahesh B. Patil and Maryam Shojaei Baghini. Applications of Evolutionary Algorithms in VLSI. – М.: LAP Lambert Academic Publishing, 2011. – 136 с.
    
11. Kritika Neopaney. Impacts of Rural Electrification in the Lives of Bhutanese Women. – М.: LAP Lambert Academic Publishing, 2011. – 128 с.
    
12. Sarah Hwa In Lee and Carlos Augusto Fernandes de Oliveira. Molecular identification of S. aureus in the milking environment. – М.: LAP Lambert Academic Publishing, 2013. – 92 с.
    
13. Anila Fatima Shakil. Analysis of instructional topics in the subject of Education. – М.: LAP Lambert Academic Publishing, 2012. – 176 с.
    
14. Franca Adieme. Implementation Of MDGs In The Management Of Universal Basic Education. – М.: LAP Lambert Academic Publishing, 2014. – 112 с.
    
15. Sa''ed Abed and Otmane Ait Mohamed. The Verification of MDG Algorithms in the HOL Theorem Prover. – М.: LAP Lambert Academic Publishing, 2010. – 160 с.
    
16. Paramartha Dutta and Dwijesh DuttaMajumder. Performance Analysis of Evolutionary Algorithms. – М.: LAP Lambert Academic Publishing, 2012. – 256 с.
    
17. Edwin Kasanga. Performance of Telecoms Industry in the Wake of Liberalisation:. – М.: LAP Lambert Academic Publishing, 2011. – 104 с.
    

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

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

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