Xiao Su's Documents

Xiao Su's Documents

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
The Evolving Continents: Understanding Processes of Continental Growth - Special Publication 338 (Geological Society Special Publication)

The Evolving Continents: Understanding Processes of Continental Growth - Special Publication 338 (Geological Society Special Publication)
Read more
Optimization and Control with Applications

Optimization and Control with Applications
Read more
Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004

Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004
Read more
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings

Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings
Read more
Electrochemical Impedance Spectroscopy in PEM Fuel Cells: Fundamentals and Applications

Electrochemical Impedance Spectroscopy in PEM Fuel Cells: Fundamentals and Applications
Read more
An Introduction to Iterative Toeplitz Solvers (Fundamentals of Algorithms)

An Introduction to Iterative Toeplitz Solvers (Fundamentals of Algorithms)
Read more
An introduction to iterative Toeplitz solvers

An introduction to iterative Toeplitz solvers
Read more
Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
Optimization and control with applications

Optimization and control with applications
Read more
NMR Logging Principles and Applications

NMR Logging Principles and Applications
Read more
Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings (Communications in Computer and Information Science)

Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings (Communications in Computer and Information Science)
Read more
Electrochemical Impedance Spectrocopy in PEM Fuel Cells

Electrochemical Impedance Spectrocopy in PEM Fuel Cells
Read more
Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II

Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
Read more
Spheroidal wave functions in electromagnetic theory

Spheroidal wave functions in electromagnetic theory
Read more
Handbook of Markov Chain Monte Carlo

Handbook of Markov Chain Monte Carlo
Read more
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings (Lecture Notes in Computer Science)

Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings (Lecture Notes in Computer Science)
Read more
Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I

Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I
Read more
Proceedings of the 2nd Conference on Compact Transformation Groups

Proceedings of the 2nd Conference on Compact Transformation Groups
Read more
Sigma Receptors: Chemistry, Cell Biology and Clinical Implications

Sigma Receptors: Chemistry, Cell Biology and Clinical Implications
Read more
Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers

Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers
Read more
Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)

Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)
Read more
Proceedings of the 2nd Conference on Compact Transformation Groups

Proceedings of the 2nd Conference on Compact Transformation Groups
Read more
Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 19Author: Joan S Birman; Jane Gilman; William W Menasco; Xiao-son

Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 19Author: Joan S Birman; Jane Gilman; William W Menasco; Xiao-son
Read more
Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings

Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
Read more
A Minicourse on Stochastic Partial Differential Equations (Lecture Notes in Mathematics)

A Minicourse on Stochastic Partial Differential Equations (Lecture Notes in Mathematics)
Read more
Web Information Systems - WISE 2004, 5 conf

Web Information Systems - WISE 2004, 5 conf
Read more
Domain Decomposition Methods 10: The Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, Colorado, USA (Contemporary Mathematics)

Domain Decomposition Methods 10: The Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, Colorado, USA (Contemporary Mathematics)
Read more
Bioluminescence and Chemiluminescence: Light Emission: Biology and Scientific Applications, Proceedings of the 15th International Symposium

Bioluminescence and Chemiluminescence: Light Emission: Biology and Scientific Applications, Proceedings of the 15th International Symposium
Read more
Catalysts for Fine Chemical Synthesis, Catalysts for Carbon-Carbon Bond Formation (Catalysts For Fine Chemicals Synthesis) (Volume 3)

Catalysts for Fine Chemical Synthesis, Catalysts for Carbon-Carbon Bond Formation (Catalysts For Fine Chemicals Synthesis) (Volume 3)
Read more