and+Systems

http:^^www.eecs.umich.edu^courses^eecs661^eecs661.

http:^^www.cs.dartmouth.edu^courseguide^grad^cs_10

http:^^logic.stanford.edu^classes^cs222^

http:^^www.cs.washington.edu^homes^tiwary^

http:^^www.cs.pitt.edu^~robc^

http:^^www.cc.gatech.edu^gvu^people^phd^jeremy.m.h

http:^^www.cs.rice.edu^~zhenghua^

http:^^cswww.vuse.vanderbilt.edu^~varki^home.html

http:^^www.cs.umd.edu^~rich^

http:^^www.cs.ucdavis.edu^faculty^matloff.html