Here's some results.
Let us say that a sequence $a_{nm}$ of real numbers indexed by pairs of positive integers $(n,m)$ converges to $L$ if and only if for every $\epsilon\gt 0$ there exists $N\gt 0$ such that for all $n,m\geq N$, $|a_{nm}-L|\lt \epsilon$.
This is a fairly strong condition. We have:
Theorem. Suppose that $\lim\limits_{(n,m)\to\infty}a_{nm}$ exists and equals $L$. Then the following are equivalent:
- For each (sufficiently large) $n_0$, $\lim\limits_{m\to\infty}a_{n_0m}$ exists;
- $\lim\limits_{n\to\infty}\lim\limits_{m\to\infty}a_{nm} = L$.
Proof. If 2 holds, then we must have 1 (otherwise the expression in 2 does not even make sense). Now assume that 1 holds, and let $\lim\limits_{m\to\infty}a_{nm} = L_{n}$. We want to prove that $\lim\limits_{n\to\infty}L_n=L$.
Let $\epsilon\gt 0$. Then there exists $N\gt 0$ such that for all $n,m\geq N$, $|a_{nm}-L| \lt \epsilon$. Let $M_N\gt N$ be such that for all $m\geq M_N$, $|a_{M_Nm}-L_{M_N}|\lt \epsilon$. Since $M_n\gt N$, we have
$$|L_{M_N} - L| \leq |L_{M_N}-a_{M_Nm}| + |a_{M_Nm}-L| \leq 2\epsilon,$$
so this proves that $L_n\to L$ as $n\to\infty$. In particular, we have for the iterated limit
$$\lim\limits_{n\to\infty}\lim\limits_{m\to\infty} a_{nm} = \lim_{n\to\infty}L_n = L.\ \Box$$
A symmetric argument shows that
Theorem. Suppose that $\lim\limits_{(n,m)\to\infty}a_{nm}$ exists and equals $L$. Then the following are equivalent:
- For each (sufficiently large) $m_0$, $\lim\limits_{n\to\infty}a_{nm_0}$ exists;
- $\lim\limits_{m\to\infty}\lim\limits_{n\to\infty}a_{nm} = L$.
However, $\lim\limits_{n,m\to\infty}a_{nm}=L$ does not imply the existence of the iterated limits; in fact, existence of the double limit and the existence of one iterated limit does not suffice to imply that the other iterated limits exists. Take $a_{nm}=\frac{(-1)^n}{m}$. Then $\lim\limits_{n,m\to\infty}a_{nm}=0$ (given $\epsilon\gt 0$, pick $N$ such that $\frac{1}{N}\lt\epsilon$), and the limit as $m\to\infty$ of $\frac{(-1)^n}{m}$ exists for each fixed $n$, but $\lim\limits_{n\to\infty}\frac{(-1)^n}{m}$ does not exist for any $m$. (By taking $a_{nm} = \frac{(-1)^n}{m} + \frac{(-1)^m}{n}$ you get one in which neither iterated limit exists.)
So, a sufficient conditions for the iterated limits to exist is:
Corollary. Suppose that $\lim\limits_{(n,m)\to\infty}a_{nm}=L$. Then the iterated limits
$$\lim_{n\to\infty}\lim_{m\to\infty}a_{nm}\text{ and }\lim_{m\to\infty}\lim_{n\to\infty}a_{nm}$$
both exist and are equal to $L$ if and only if $\lim\limits_{n\to\infty}a_{nm}$ exists for almost all $m$ and $\lim\limits_{m\to\infty}a_{nm}$ exists for almost all $n$.
(Here, "almost all" means "all except perhaps for a finite number").
As I said, the condition above is pretty strong. You can have both iterated limits exist and be equal and yet for the double limit not to exist. To adapt the standard two-variable example, take $a_{nm}=\frac{nm}{n^2+m^2}$. The iterated limits both exist and are equal to $0$, but the double limit does not exist (for any $N\gt 0$ there exist $n,m\geq N$ such that $a_{nm}=\frac{1}{2}$ and there exist $n,m\geq N$ such that $a_{nm}=\frac{2}{5}$; just take $n=m=N$ for the first, and $n=2m=2N$ for the second).
You can get that the double limit exists and is equal to (one of) the iterated limits if you have some uniformness conditions.
I don't know of any necessary and sufficient conditions, and I suspect there won't generally be without some other overarching conditions. This is essentially the same problem as the problem of iterated limits in functions of two variables (just as the problem of finding the limit of a real function of real variable is closely connected to the problem of finding limits of sequences of real numbers). They are connected to the double limits, and you often have conditions based on uniform convergence that guarantee good things happen, but to state some general, simple condition for the iterated limits to exist and be equal seems difficult in general.