Again, here's a comment (on your answer) that's too long to fit so I'm posting it as an answer.
First of all, these definitions are definitely in books. I'd strongly recommend checking out Bott & Tu's "Differential Forms in Algebraic Topology". (I always recommend Bott & Tu, it's fantastic. It introduces de Rham cohomology and the basics of the algebraic topology of smooth manifolds, but then it also introduces some exciting and relatively advanced algebraic topology, too.)
Next, Jason is right, but there is more: you must require that on each fiber, the maps preserve the relevant structure. (This means, for example, that a map of vector bundles is supposed to be linear on each fiber.)
Then, if $f:S \rightarrow M$ is an immersion of a smooth manifold into a Riemannian manifold, the normal bundle $NS \rightarrow S$ consists of those pairs $(s,v)$ such that $s\in S$, $v \in T_{f(s)}M$, and $v \perp (df)_s(T_sS)$. (In particular, it makes no sense to ask that $v$ be perpendicular to all $s\in S$; vectors can't be perpendicular points, and anyways you only can compare tangent vectors that are based at the same point.)
In the more general case that $M$ doesn't have a Riemannian structure, the normal bundle can still be defined as the set of pairs $(s,\overline{v})$, where $s\in S$ and $\overline{v} \in T_{f(s)}M / (df)_s(T_sS)$. That is, $v\in T_{f(s)}M$ is a representative of an equivalence class of vectors in a quotient vector space, where we're quotienting by the relation that we "can't see" vectors that are tangent to $S\subset M$ at $s$. It might be helpful to think of the example of the standard inclusion $f:\mathbb{R} \rightarrow \mathbb{R}^2$.
I'd recommend that you work out an explicit formula for the normal bundle of the standard inclusion $f:S^1 \rightarrow \mathbb{R}^2$ (with the usual Riemannian structure on $\mathbb{R}^2$!). Then, you can try fancier immersions.
Bonus: Can you see why we're demanding that our map be an immersion?
Added, in response to a question on the comments: Let $F$ be some space that'll be our fiber, and choose a "structure group" $\mbox{Aut}(F)$. For instance, if $F=\mathbb{R}^n$, you could take
- $\mbox{Aut}(F)=O(n)$ to get "vector bundles with a metric",
- $\mbox{Aut}(F)=GL_n(\mathbb{R})$ to get "vector bundles",
- $\mbox{Aut}(F)=\mbox{Diffeo}(\mathbb{R}^n)$ to get ... well, these don't have a name. But you could take this, anyways.
Then, it turns out that $F$-bundles with transition functions in $\mbox{Aut}(F)$ are equivalent to bundles of $\mbox{Aut}(F)$-torsors. (A torsor for a group $G$ is just a copy of $G$ where we've forgotten the basepoint, but we remember how $G$ acts by (say, left) multiplication. So for instance, an abstract copy of the real line is a torsor for the group $\mathbb{R}$.) From this framework, you can see that in fact it's not just that a morphism of $F$-bundles needs to be fiberwise: the individual maps on fibers are also required to respect the $\mbox{Aut}(F)$-action (i.e., they need to be equivariant). This is the general setup for any kind of fiber bundle, of which vector bundles are just a special case. The important thing here is that it's the structure group that matters, not the actual fiber.
By the way, you ask for definitions of trivializations of (i) fiber bundles, (ii) vector bundles, and (iii) normal bundles. But (iii) is just a special case of (ii). I still think you should work out the example of the normal bundle for the standard embedding $S^1 \rightarrow \mathbb{R}^2$.