Home Page | Contact information | Courses | Publications | Research | Miscellany | Bookmarks

Bookmarks

tm test

Alta vista

Search and Display the Results

Google


   Advanced Search

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