کتاب های Nikolaj Bjørner (auth.)
![Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/107111-n.jpg)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.), 2011![Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings](http://cdn.ketabkoo.com/covers/1/107112-n.jpg)
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.), 2011![Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings](http://cdn.ketabkoo.com/covers/4/447678-n.jpg)
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Nikolaj Bjørner (auth.), 2012![Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings](http://cdn.ketabkoo.com/covers/4/447679-n.jpg)