Abstraction Refinement For Large Scale Model Checking

By Chao Wang, John Silvia, Fabio Somenzi, Gary D. Hachtel, John E. Silvia

"John's book emphasizes the importance of understanding the dynamic nature of the decision process with insightful applications to issues of innovation, growth, and fiscal and monetary policy. This...

Alakazam

By

Tibet sans retour

By Wang Chao

Tui hui dao zi you

By Chao Wang

Xun zhao Luomai

By Chao Wang

Jin ge tie ma de jiao hui

By

Machine Learning and Knowledge Discovery in Databases Research Track

By Elena Baralis, Danai Koutra, Claudia Plant, Francesco Bonchi, Manuel Gomez Rodriguez

Neural Information Processing

By Long Cheng, Chaojie Li, Zheng Guang Wu, Biao Luo, Hongyi Li