Here's a more portable version (works with bash, pdftk and wget):

wget http://i.stanford.edu/~ullman/focs/ch{01..14}.pdf && pdftk ch*.pdf cat output merged.pdf