博客來-作者-K. Sriram

		Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings 外文書 , Etessami Kousha (EDT)/ Rajamani Sriram K. (EDT) , Ingram , 出版日期: 2005-06-24 優惠價: 7450 元 This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (... more	放入購物車下次再買
		Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings 外文書 , Gary T. Leavens O’Hearn Peter Rajamani Sriram K. , Ingram , 出版日期: 2010-08-05 優惠價: 3299 元	放入購物車下次再買
		Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, May 9-10, 2003, Proceedings 外文書 , Ball Rajamani Sriram K. Thomas , Ingram , 出版日期: 2003-04-28 優惠價: 3299 元	放入購物車下次再買
		Tantrasangraha of Nilakantha Somayaji 外文書 , K./ Sriram M. S. Ramasubramanian , Hindustan Book Agency , 出版日期: 2011-02-15 優惠價: 3116 元	可訂購時通知我
		Tantrasangraha of Nilakantha Somayaji 外文書 , K. (EDT)/ Sriram M. S. (EDT) Ramasubramanian , Ingram , 出版日期: 2011-03-17 優惠價: 6599 元 explanatory notes, K. Ramasubramanian and M. S. Sriram have used authentic Sanskrit editions of Tantrasangraha by Surand Kunjan...... more	可訂購時通知我

搜尋推薦