Xiao-Shan Gao's Documents

Xiao-Shan Gao's Documents

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Read more
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
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
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
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
Report to Congressional Committees

Report to Congressional Committees
Read more
National Animal Identification System

National Animal Identification System
Read more
The Stability Theory of Stream Ciphers

The Stability Theory of Stream Ciphers
Read more
Soul Mountain

Soul Mountain
Read more
One Man's Bible

One Man's Bible
Read more
One Man's Bible

One Man's Bible
Read more
Auf dem Meer

Auf dem Meer
Read more
CRC Monographs on Statistics & Applied Probability)

CRC Monographs on Statistics & Applied Probability)
Read more
Geometric Qp Functions (Frontiers in Mathematics)

Geometric Qp Functions (Frontiers in Mathematics)
Read more
Security in Distributed, Grid, Mobile, and Pervasive Computing

Security in Distributed, Grid, Mobile, and Pervasive Computing
Read more
Surfaces fibrees en courbes de genre deux

Surfaces fibrees en courbes de genre deux
Read more
Geometric Qp Functions (Frontiers in Mathematics)

Geometric Qp Functions (Frontiers in Mathematics)
Read more
Yeast Protocols

Yeast Protocols
Read more
MobileFi: Advanced Research and Technology

MobileFi: Advanced Research and Technology
Read more
Security in Distributed, Grid, Mobile, and Pervasive Computing

Security in Distributed, Grid, Mobile, and Pervasive Computing
Read more
MobileFi: Advanced Research and Technology

MobileFi: Advanced Research and Technology
Read more
Security in Distributed, Grid, Mobile, and Pervasive Computing

Security in Distributed, Grid, Mobile, and Pervasive Computing
Read more
Yeast Protocols (Methods in Molecular Biology) (Methods in Molecular Biology)

Yeast Protocols (Methods in Molecular Biology) (Methods in Molecular Biology)
Read more
Deformation and Processing of Structural Materials

Deformation and Processing of Structural Materials
Read more
WiMAX-MobileFi: advanced research and technology

WiMAX-MobileFi: advanced research and technology
Read more
Optoelectronic Integrated Circuit Design and Device Modeling

Optoelectronic Integrated Circuit Design and Device Modeling
Read more
Invariant Descriptive Set Theory

Invariant Descriptive Set Theory
Read more
Nonlinear time series, semiparametric and nonparametric methods

Nonlinear time series, semiparametric and nonparametric methods
Read more
Digital Analysis of Remotely Sensed Imagery

Digital Analysis of Remotely Sensed Imagery
Read more
One Man's Bible

One Man's Bible
Read more