Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Cynthia Dwork (auth.), Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li (eds.)
Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Hopcroft (auth.), Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.)
Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper (eds.)
Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Dingzhu Du,Lian Li,En Zhu,Kun He (eds.)
Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Ding-Zhu Du, Zhenhua Duan, Cong Tian
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Shaoying Liu, Zhenhua Duan (eds.)
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Zhenhua Duan, Luke Ong (eds.)
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Shaoying Liu, Zhenhua Duan (eds.)
Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Elad Barkan, Eli Biham, Adi Shamir (auth.), Cynthia Dwork (eds.)
Computing and Combinatorics: 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Dachuan Xu, Donglei Du, Dingzhu Du (eds.)
search