Top 1200 international workshop on automated deduction in geometry 2nd 1998 beijing china PDF Book Page 5

book image

Lectures On The Geometry Of Manifolds, 2nd Edition

Liviu I. Nicolaescu
·580 Pages
·2007
·2.331 MB

book image

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

International AMAST Workshop, ARTS'99 (5th : 1999 : Städtliche Volkshochschule in Bamberg)
·364 Pages
·1999
·4.5 MB

book image

Web Intelligence Meets Brain Informatics: First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers

Ning Zhong, Jiming Liu, Yiyu Yao, Jinglong Wu, Shengfu Lu, Yulin Qin, Kuncheng Li (auth.), Ning Zhong, Jiming Liu, Yiyu Yao, Jinglong Wu, Shengfu Lu, Kuncheng Li (eds.)
·525 Pages
·2007
·10.267 MB

book image

Rough Set and Knowledge Technology: 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings

Deyi Li (auth.), Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron (eds.)
·797 Pages
·2010
·12.258 MB

book image

Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings

Xavier Leroy (auth.), Xavier Leroy, Atsushi Ohori (eds.)
·601 Pages
·1998
·5.544 MB

book image

Intelligence and Security Informatics: Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings

Sajimon Abraham, P. Sojan Lal (auth.), Michael Chau, G. Alan Wang, Xiaolong Zheng, Hsinchun Chen, Daniel Zeng, Wenji Mao (eds.)
·142 Pages
·2011
·3.818 MB

book image

Geometry and Topology of Manifolds: 10th China-Japan Conference 2014

Akito Futaki, Reiko Miyaoka, Zizhou Tang, Weiping Zhang (eds.)
·350 Pages
·2016
·4.886 MB

book image

Commutative Algebra: Proceedings of a Workshop Held in Salvador, Brazil, August 8-17, 1988

Brazil) Workshop in Commutative Algebra (1988 Salvador, Aron Simis
·168 Pages
·1990
·7.84 MB

book image

Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Konstantinos Karasavvas, Mario Antonioletti, Malcolm Atkinson, Neil Chue Hong (auth.), Pilar Herrero, María S. Pérez, Víctor Robles (eds.)
·217 Pages
·2005
·3.118 MB

book image

Model Engineers’ Workshop – Issue 346, December 2024

Model Engineers’ Workshop
·68 Pages
·55 MB

book image

Information Security and Cryptology: 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers

Lidong Han, Wei Wei, Mingjie Liu (auth.), Mirosław Kutyłowski, Moti Yung (eds.)
·402 Pages
·2013
·4.698 MB

book image

Model Engineers’ Workshop – Issue 345, November 2024

Model Engineers’ Workshop
·68 Pages
·49 MB

book image

analogical deduction

168 Pages
·2011
·0.51 MB

book image

Proceedings of the 1st International Workshop on High-Speed and Intercity Railways: Volume 1

Yongle Li, Huoyue Xiang, Peng Hu, Bin Wang (auth.), Yi-Qing Ni, Xiao-Wei Ye (eds.)
·484 Pages
·2012
·20.618 MB

book image

3rd EASN Association International Workshop on Aerostructures

Mario Guagliano,Spiros Pantelakis,Chris Rodopoulos
·73 Pages
·2014
·10.611 MB

book image

Beyond Beijing: Liberalization and the Regions in China

Dali L. Yang
·212 Pages
·1997
·1.594 MB

1
456
50