Applications of Stein spaces in Algebraic Geometry I want to know where are essential applications of the theory of Stein spaces in algebraic geometry. I heard Cartan's theorem A & B were used in Serre's GAGA, but are there any other applications?
 A: I would say that technically speaking Stein spaces are essentially not used in algebraic geometry but that they had, and still have, a strong motivational role. Let me elaborate on these polemical assertions.    
First of all algebraic geometry, and especially scheme theory, does not presuppose that the base field is $\mathbb C$ and even less that it has characteristic zero. So Stein manifolds can't even be defined. 
Stein manifolds are replaced in algebraic geometry by affine varieties (or schemes), and theorems for them are infinitely easier than the corresponding theorems for Stein spaces: the vanishing of cohomology for coherent sheaves (and even for quasi-coherent sheaves!) is proved in two pages over general affine noetherian schemes (not only varieties) in Hartshorne, whereas the corresponding theorem for Stein spaces was developed over two decades by Oka, Cartan, Serre, ... and takes half a book to be proved (cf. the book by Grauert-Remmert on Stein spaces or that by L.Kaup-B.Kaup on holomorphic functions of several variables).    
And finally the empirical evidence is overwhelming: of the numerous algebraic geometry books which handle cohomology of coherent sheaves over an algebraic variety exactly zero (to my knowledge) use Stein manifolds to prove their results.    
That said, historically the first use of the cohomology of coherent sheaves was indeed in complex manifold theory : Cartan realized that Oka's results on pseudo-convex domains could be interpreted in the language of Leray's recently discovered  sheaves and Cartan's student Serre adapted these techniques to algebraic geometry in his ground-breaking article Faisceaux Algébriques Cohérents.
But let me emphasize again that Serre never uses any result from Stein theory in that article.
A: How about the Cartan-Serre theorem:

Theorem(Cartan-Serre): Let $X$ be a compact holomorphic variety, and $\mathscr{F}$ a coherent sheaf on $X$. Then, $H^p(X,\mathscr{F})$ is a finite dimensional space for all $p\geqslant 0$.

This is, undeniably, one of the most important theorems in any introduction to analytic geometry. The proof of this theorem makes huge use of Stein spaces.
The guiding principle behind the use of Stein spaces in the proof is simple. Whenever we want to compute cohomology, we like to have a more concrete way of getting a handle on it. 
Usually this presents itself in the form of a Leray cover $\mathfrak{U}$ for the sheaf $\mathscr{F}$ (a cover where the restriction of the sheaf to every finite intersection is acyclic) on a space $X$. This is because Leray's theorem then tells us that the Čech cohomology $\check{H}^i(\mathfrak{U},\mathscr{F})$ coincides with the usual definition of cohomology as $H^i(X,\mathscr{F})=(R^i\Gamma)(\mathscr{F})$.
In algebraic geometry, this principle manifests itself fairly aggressively. I am sure you have appealed to the fact that if $X$ is a separated quasicompact scheme, and $\mathscr{F}$ a coherent sheaf on $X$, then $H^i(X,\mathscr{F})$ can be computed as $\check{H}^i(\mathfrak{U},\mathscr{F})$, where $\mathfrak{U}$ is any finite open cover of $X$. This is merely Leray's theorem, along with the observation that Serre's criterion for affiness implies that $\mathscr{U}$ is a Leray cover for $\mathscr{F}$ on $X$.
Stein spaces and Cartan's theorems play the exact same role in complex manifolds that affine varieties and Serre's criterion play in algebraic geometry. Namely, Cartan's theorems tell us that if $X$ is an analytic space and $\mathscr{F}$ a coherent sheaf, then any cover $\mathscr{U}$ by Stein manifolds will be a Leray cover. Thus, we may appeal to Leray's theorem to conclude that we can compute the sheaf cohomology as the Čech cohomology of this cover.
