Detecting whether some rings are Dedekind domains
The trickiest part is probably proving that $f(x,y) = x^4 + xy - 1$ is irreducible over $\mathbb{C}$, and in particular over $\mathbb{Z}$. I'll leave this to you, but ask me if you have trouble.
Thus $A = \mathbb{C}[x,y]/(f)$ is a domain. You already saw that $A$ is noetherian. Now the prime ideal $(f)$ has height one (because it is principal) and $\mathbb{C}[x,y]$ is two-dimensional, so $A$ is one-dimensional. Geometrically, $A$ is the algebra of polynomial functions on the curve $X = \{ f = 0 \} \subset \mathbb{C}^2$. As for normality, take the partial derivatives $f_x(x,y) = 4x^3 + y$ and $f_y(x,y) = x$. The set $X \cap \{ f_x = f_y = 0 \}$ is empty, which means $X$ is nonsingular. This implies that $A$ is normal.
As for $B = \mathbb{Z}[x,y]/(f)$, again $(f)$ has height one, but $\mathbb{Z}[x,y]$ is three-dimensional, so $B$ is two-dimensional and in particular cannot be a Dedekind domain.
Finally, $C = \mathbb{F}_2[x,y]/(x^4 - y^3)$ is not normal because $y/x$, which lies in the fraction field of $C$ but not $C$ itself, satisfies the monic polynomial $t^3 - x$.
As said in the comments, $\mathbb{Z}[x,y]/(f)$ cannot have dimension $1$ so cannot be a Dedekind domain.
For any field $k$ and any nonzero polynomial $f(x,y) \in k[x,y]$, the quotient $k[x,y]/(f)$ is the coordinate ring of the plane algebraic curve $f(x,y) = 0$. This ring is a domain iff $f$ is irreducible. It is always be Noetherian and one-dimensional. It is a Dedekind domain iff it is nonsingular (nonsingular $\implies$ normal $\implies$ nonsingular in codimension one).
Assuming that the ground field $k$ is perfect, nonsingular is equivalent to smooth, and the latter is much easier to detect. The way to do it goes back essentially to multivariable calculus: the curve defined by $f(x,y) = 0$ is smooth at a point $P = (x,y)$ (such that $f(P) = 0$!) iff at least one of $\partial f / \partial x, \partial f / \partial y$ is nonzero at $P$.
Thus for instance in your third example both partial derivatives vanish at $P = (0,0)$. What about the first example?