I have written up some detailed lecture notes

**<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory">Introduction to Stable homotopy theory</a>**

_<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+P">Prelude -- Classical homotopy theory</a>_ ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-P.pdf), 99 pages)

<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1">Part 1 -- Stable homotopy theory</a>

* <a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1-1">Part 1.1 -- Sequential spectra</a> ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-1-1.pdf), 67 pages)

* <a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+1-2">Part 1.2 -- Structured spectra</a> ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-1-2.pdf), 80 pages)

<a href="https://ncatlab.org/nlab/show/Introduction+to+Stable+homotopy+theory+--+2">Part 2 -- Adams spectral sequences</a> ([pdf](https://dl.dropboxusercontent.com/u/12630719/StableHomotopyTheory-2.pdf), 56 pages)

This introduces and then proceeds systematically via model categories. Full details and proofs are given. 

(Except in the second half of part 2, which needs more finalizing still.)

To view the web version you need the Firefox browser