A personal obsession is (weakly) almost period functions. Let $G$ be a discrete group (you can work more generally) and for $f\in \ell^\infty(G)$ let $O(f)$ be the set of translate of $f$ by the group action. Set
```
\begin{align*} AP(G) = \{ f\in \ell^\infty(G) : O(f)\text{ is relatively compact}\}, \\
WAP(G) = \{ f\in \ell^\infty(G) : O(f)\text{ is weakly relatively compact}\}. \end{align*}
```

Then these are unital sub-$C^*$-algebras of $\ell^\infty(G)$ and so have character spaces $G^{AP}$ and $G^{WAP}$. You can extend the product from $G$ to these: then the product on $G^{AP}$ is jointly continuous, but that on $G^{WAP}$ only separately jointly continuous. Translated back to algebra, this means that the measure spaces $M(G^{AP})$ and $M(G^{WAP})$ become Banach algebras for the convolution product. The continuity translates to say that the product on $M(G^{WAP})$ is separately weak$^*$-continuous, and that on $M(G^{AP})$ is even jointly weak$^*$-continuous on bounded sets.

So that gives an example: if $C$ is the closed unit ball of $M(G^{WAP})$ and $f$ is the product map, then $f$ satisfies your requirements, but $f$ is not jointly continuous unless $WAP(G) = AP(G)$ (I think-- this last claim needs a little chasing of definitions). If $G$ is abelian then $G^{AP}$ is the classical Bohr compacitification, but $G^{WAP}$ is much larger. There are books by Berglund (and coauthors) on this topic; they do, IMHO, need a functional analysis background.

Surely there are easier examples for what you want though. (And $f$ is not injective in my example).