international symposium

的圖書，這是第 79 頁

	$ 3299	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20 出版社：Springer 出版日期：2014-10-07 語言：英文規格：平裝 / 644頁 / 23.39 x 15.6 x 3.38 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 3299	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im 出版社：Springer 出版日期：2014-10-07 語言：英文規格：平裝 / 547頁 / 23.39 x 15.6 x 2.92 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 3299	Model-Based Safety and Assessment: 4th International Symposium, Imbsa 2014, Munich, Germany, October 27-29, 2014, Proceedings 出版社：Springer 出版日期：2014-10-02 語言：英文規格：平裝 / 209頁 / 23.39 x 15.6 x 1.17 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 10175	Legislation, Technology and Practice of Mine Land Reclamation: Proceedings of the Beijing International Symposium on Land Reclamation and Ecological R 作者：Hu　出版社：CRC Press 出版日期：2014-10-01 語言：英文規格：精裝 / 684頁 / 24.9 x 17.5 x 4.3 cm / 普通級博客來 - 民法 - 來源網頁看圖書介紹
	$ 13199	Proceedings of the 12th International Symposium Continuous Surface Mining - Aachen 2014 作者：Niemann-Delius　出版社：Springer 出版日期：2014-10-01 語言：英文規格：精裝 / 644頁 / 23.4 x 15.5 x 3.6 cm / 普通級博客來 - 氣候變遷 - 來源網頁看圖書介紹
	$ 3299	Biomedical Simulation: 6th International Symposium, Isbms 2014, Strasbourg, France, October 16-17, 2014, Proceedings 出版社：Springer 出版日期：2014-09-30 語言：英文規格：平裝 / 244頁 / 23.39 x 15.6 x 1.37 cm / 普通級/ 初版博客來 - 醫療行政 - 來源網頁看圖書介紹
	$ 3299	Distributed Computing: 28th International Symposium Disc 2014, Austin, Tx, Usa, October 12-15, 2014, Proceedings 出版社：Springer 出版日期：2014-09-29 語言：英文規格：平裝 / 574頁 / 23.39 x 15.6 x 3.07 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November 3-7, 2014, Proceedings 出版社：Springer 出版日期：2014-09-29 語言：英文規格：平裝 / 430頁 / 23.39 x 15.6 x 2.34 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 3299	String Processing and Information Retrieval: 21st International Symposium, Spire 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings 出版社：Springer 出版日期：2014-09-23 語言：英文規格：平裝 / 279頁 / 23.39 x 15.6 x 1.57 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Algorithmic Game Theory: 7th International Symposium, Sagt 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings 作者：Lavi　出版社：Springer 出版日期：2014-09-23 語言：英文規格：平裝 / 297頁 / 23.4 x 15.5 x 1.8 cm / 普通級博客來 - 電子商務與數位出版 - 來源網頁看圖書介紹
	$ 2699	Smart Graphics: 12th International Symposium, Sg 2014, Taipei, Taiwan, August 27-29, 2014, Proceedings 出版社：Springer 出版日期：2014-09-22 語言：英文規格：平裝 / 183頁 / 23.39 x 15.6 x 1.07 cm / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 10199	Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, 出版社：Springer 出版日期：2014-09-20 語言：英文規格：平裝 / 318頁 / 23.39 x 15.6 x 1.78 cm / 普通級/ 初版博客來 - 人工智慧 - 來源網頁看圖書介紹