H.T. Kung's Documents

H.T. Kung's Documents

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science)

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science)
Read more
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005,

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005,
Read more
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Read more
Video Object Extraction and Representation: Theory and Applications (The Springer International Series in Engineering and Computer Science)

Video Object Extraction and Representation: Theory and Applications (The Springer International Series in Engineering and Computer Science)
Read more
Compact Transformation Groups, part 1

Compact Transformation Groups, part 1
Read more
Organic Syntheses

Organic Syntheses
Read more
Organic Syntheses

Organic Syntheses
Read more
Organic Syntheses

Organic Syntheses
Read more
Organic Syntheses

Organic Syntheses
Read more
International Mathematical Conference 1982: Proceedings

International Mathematical Conference 1982: Proceedings
Read more
Organic Syntheses

Organic Syntheses
Read more
Organic Syntheses

Organic Syntheses
Read more
Organic Syntheses

Organic Syntheses
Read more
Resource Ecology: Spatial and Temporal Dynamics of Foraging (Wageningen UR Frontis Series)

Resource Ecology: Spatial and Temporal Dynamics of Foraging (Wageningen UR Frontis Series)
Read more
Organic Syntheses

Organic Syntheses
Read more
Time Series Analysis: With Applications in R

Time Series Analysis: With Applications in R
Read more
Time Series Analysis: With Applications in R, Second Edition (Springer Texts in Statistics)

Time Series Analysis: With Applications in R, Second Edition (Springer Texts in Statistics)
Read more
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992
Read more
MultiMedia Image and Video Processing

MultiMedia Image and Video Processing
Read more
Micro Electro Mechanical System Design

Micro Electro Mechanical System Design
Read more
Time Series Analysis: With Applications in R, Second Edition (Springer Texts in Statistics)

Time Series Analysis: With Applications in R, Second Edition (Springer Texts in Statistics)
Read more
Transactions on Large-Scale Data- and Knowledge-Centered Systems I (Lecture Notes in Computer Science Transactions on Large-Scale Data- and Knowledge-Centered Systems, 5740)

Transactions on Large-Scale Data- and Knowledge-Centered Systems I (Lecture Notes in Computer Science Transactions on Large-Scale Data- and Knowledge-Centered Systems, 5740)
Read more
Confucius, The Doctrine Of The Mean

Confucius, The Doctrine Of The Mean
Read more
Growth, Distribution, and Social Change: Essays on the Economy of the Republic of China

Growth, Distribution, and Social Change: Essays on the Economy of the Republic of China
Read more
Methanol Production and Use (Chemical Industries, Volume 57)

Methanol Production and Use (Chemical Industries, Volume 57)
Read more
Partially Ordered Topological Vector Spaces

Partially Ordered Topological Vector Spaces
Read more
Transactions on Large-Scale Data- and Knowledge-Centered Systems I (Lecture Notes in Computer Science Transactions on Large-Scale Data- and Knowledge-Centered Systems)

Transactions on Large-Scale Data- and Knowledge-Centered Systems I (Lecture Notes in Computer Science Transactions on Large-Scale Data- and Knowledge-Centered Systems)
Read more
Veterinary Acupuncture

Veterinary Acupuncture
Read more
Multimedia Image And Video Processing

Multimedia Image And Video Processing
Read more
Multimedia Image And Video Processing

Multimedia Image And Video Processing
Read more