Compact spaces whose compactness does not come from a product of compact spaces For the (Hausdorff) compact spaces I can think of, compactness is established either using a product of compact spaces (including the Heine-Borel Theorem, the Banach-Alaoglu Theorem, Stone-Čech compactification, etc.) or by inheriting compactness from another space (e.g. the Hausdorff metric on compact subsets of another compact space). I guess it might be vague as to whether one-point/end type compactifications fall into the second category, but compactness is generally established from compact subsets of the original space.
Are there any examples of compact spaces whose compactness can be established via a fundamentally different method?
 A: For me the most basic compact spaces are $\{x_n: n \in \Bbb N\} \cup \{x\}$ when $x_n \to x$, (the countable cofinite space is a special case), of course all finite spaces, and all ordered topological spaces with a suprema for all subsets ("very order complete", usual order completeness being: "every nonempty subset that is bounded above has a supremum"). (finite sets can again be seen as a special case).
For all of these the compactness is a very basic fact, not derivable from a "product theorem". 
A: Elaborating on Michael Greinecker's comment: if $X$ is a compact Hausdorff space then the map $i \colon X \to \Pi_{C(X,I)} I$ given by $i(x)_f = f(x)$, where $I = [0,1]$, is a homeomorphism onto its image.  So every compact Hausdorff space can be expressed as the closed subspace of the product of closed unit intervals, which is a partial negative answer to your question - establishing the compact Hausdorffness of a space by taking products and subspaces will, in a sense, always work.
That said, depending on your taste you might consider the Arzela-Ascoli theorem as an alternative source of compact Hausdorff spaces - this shows, for instance, that a uniformly bounded sequence of functions on Euclidean space with uniformly bounded derivatives forms a compact set.  It's not so obvious how to see such a sequence as a closed subset of a product space, though this does become clearer when you follow through the proof of Arzel-Ascoli (as above, it sort of has to eventually).
