Home Page
| Contact information | Courses | Publications
| Research | Miscellany
| Bookmarks
Bookmarks
tm test
Alta vista
Google
The rest of this page is largely out of date.
I used to keep it up to date before I
started using Netscape's built-in bookmarking. Now I mostly
just use it for the search engines, and for links that I haven't
moved over to Netscape.
Web search etc.:
Mike's Web authoring links
Internet Starting Points
Alta Vista: Main Page
excite Netsearch
Lycos Search Form
Yahoo
Linux Software Map
Netfind
Software:
Mathpad -- Structure editor
LyX --
WYSIWIG LaTeX
tkgofer
tkgofer
repository
Scientific Workplace -
Unofficial Homepage
TCI -- Scientific Workplace
Holt Group - OOT Home Page
Directory of /tex-archive
Erlang
Tcl/Tk
The OPAL Project
Free Software from Adobe
Java
Directory of /pub/modula-2/gpm
Nachos
asWedit
HTML editor
Gofer and Nottingham FP Group
FVWM
manual
FVWM Home
Microsoft
Graham's HTML
Index
HTML Compendium
Teaching related:
C++ Frequently
asked questions.
Gofer
Tutorial
Research related:
The Collection of Computer
Science Bibliographies
Formal
Methods Who's Who
McMaster SERG
Oxford Computing Lab
SVRC Software Verification Research
Centre. U. Queensland
Bowen's Formal Methods
Page
MIT Programming Methodology Group Home Page
The WWW Virtual Library: Conferences
The Software Engineering Institute
Programming Language
Exploration
Hypatia electronic library
SRI Formal methods group. -- PVS
NASA Langely Formal Methods Group
National Research Council --
Formal Methods Page
Publishers:
A BIGGER LIST OF PUBLISHERS
Publishers' Addresses
Publishers' Catalogues Home
Page
Oxford University Press (Canada)
Oxford University Press (UK)
Prentice Hall Canada
Prentice Hall U.S.
No Title
AW's HomePage
Springer Catalogues
Welcome to Springer-Verlag New York
Academic Textbook Publishers
http://www.dnp.fmph.uniba.sk/Docs/publish.html
The World Wide Web Virtual
Library: Publishers
O'Reilly
McGraw-Hill Ryerson (Canada)
Fencing:
Mike's Fencing Page
Fencing Bibliographys
Fencing FAQ part 1
Fencing FAQ part 2
Fencing FAQ part 3
Misc:
HTML Intro
The Skeptic's
Dictionary
The Recipe Directory
Movie Review Query Engine
Internet Movie
Welcome to Worlds
Cool Site of the Day - 2.29.96
Rubik's Cube Java Applet
Edmund's Web Page
USENET FAQs
Introduction and Overview of the Multics
System
/public/ftp/pub/Linux
Quirks and Quarks
Discovery Canada
G++ FAQ -
Table of Contents
City University, TeXinfo Catalogue
Government of Canada - Contents
Viruses and Nasty Software
Simtel
Mirror Sites
rec.puzzles archive
PC Lube and Tune