Formal Methods and Tools

Formal Methods Archive | Verified Software | TLA | FME

GOAL | Coq | PVS | HOL | SPIN

Libraries, Portals, and Search Engines

Wikipedia | NTU Library | ACM Digital Library | Springer LNCS Series | Springer LINK | IEEE Xplore | Academic Press IDEAL | Wiley InterScience | SIAM Online | Elsevier Science | Scirus (the Search Engine for Science) | ACM Technews

NTU | NTU Management | NTU IM | NSC | iCAST | FLOLAC

Google | Google Scholar | Microsoft Libra | CiteSeer | Academic Search | Yam | Yahoo

Computer Societies, Organizations, and Companies

ACM | IEEE Computer Society

W3C | Free Sofware Foundation | Linux | OMG

共同供應契約 | IBM | SUN | Java | Microsoft | Smart Card News | Schlumberger | Gemplus

Book Stores and Publishers

Amazon | Academic Press | ACM Press | Addison-Wesley | Elsevier Science | IEEE Bookstore | Kluwer | McGraw Hill | MIT Press | Morgan Kaufmann | Prentice Hall | Springer

TeX etc.

TUG | CTAN