This book covers fundamental techniques in the theory of C ∞ -imbeddings and C ∞ -immersions, emphasizing clear intuitive understanding and containing many figures and diagrams. Adachi starts with an introduction to the work of Whitney and of Haefliger on C ∞ -imbeddings and C ∞ -manifolds. The Smale-Hirsch theorem is presented as a generalization of the classification of C ∞ -imbeddings by isotopy and is extended by Gromov's work on the subject, including Gromov's convex integration theory.