Martin Schwenke

Bookmarks

ANU
- Australian National University
- Computer Science
- Network Services
  - Network Traffic Statistics
- General
Art & Entertainment
- Books
  - Publishers
    - Addison Wesley Longman
    - Britannica Online
    - Elsevier Science
    - Prentice Hall
    - Springer Berlin Heidelberg
    - Springer Singapore
    - SyllabusWeb
      SyllabusWeb is a free service from Syllabus Press, publishers of Syllabus magazine and producers of the annual Syllabus conference. This site contains useful information on technologies used to enhance education.
  - Bookshops
  - Online Books
    - The English Server at CMU
    - IPL The Internet Public Library
    - The On-line Books Page
    - Project Bartleby
      The Public Library of the Internet - Columbia University
    - Project Gutenberg
  - Other
    - Dark Station - Iain Banks
- Film & Television
- Fine Arts
  - Photography
    - Andrew Nemeth's WWW
    - Atlanta Photography Group
    - Black and White World
    - commercial professional photography help files resume telescope gallery
    - Darkroom On-Line
      Offering Darkroom Tips, Techniques,
      How To's, Questions and Answers
      - Sponsored Greg Lanoue
      - Ilford's Midwest Districts Sales Manager
    - GetShot Interactive Photography Magazine
    - KODAK: Sample Digital Images
    - Negative Entropy
    - Photography On The Worldwide Web
    - PhotoStop
    - The Photgraphy Spot
    - UCI Bookstore: Ansel Adams Home Page
  - Other
- Magazines
  - 21.C
  - TIME Magazine
- News
Australia
- Federal Government
- Political Parties
- Telecommunications
- Mass Media
- Australian Capital Territory
  - ACT Government
  - ACTEIN
    The Australian Capital Territory Education Information Network
  - Australian National University
  - CPS Credit Union
  - INTELLiCast: Canberra Weather
  - University of Canberra
  - Weather Forecast for the ACT
- Places and Organisations
- Third Party Information
Computer Science Schools and Departments
- Australia
- Canada
  - University of Alberta
  - University of Toronto
- Denmark
- Germany
- Ireland
  - University of Limerick
- The Netherlands
- New Zealand
- Sweden
  - Chalmers University of Technology
  - Swedish Institute of Computer Science
- Switzerland
  - University of Zurich
- UK
- USA
Computing
- Events
  - Conference Announcements
  - Internet Conference Calendar
- Formal Methods
  - SEweb - Formal Methods
  - WWW Virtual Library: Formal Methods
  - Academic Press International Series in Formal Methods
  - Australasian Refinement Workshops
  - Automated Reasoning Systems Database
  - WWW Virtual Library: The B-Method
  - The B Formal Method User Group B.U.G.
  - BRICS
    Basic Research in Computer Science - Centre of the Danish National Research Foundation
  - CLI: Hardware Research News
  - Digital Systems Research Center
  - ESPRIT working Group CCL
  - Formal Methods Tools Database
  - Formal Reasoning Group at Stanford
    - Formal Reasoning Group
    - John McCarthy
    - Carolyn L. Talcott
  - The HOL Theorem Proving System
  - ORA Canada
  - Programming Methods Group at Åbo Akademi
  - The ProofPower Web Pages
  - RAISE - Rigorous Approach to Industrial Software Engineering
  - Software Verification Research Centre
  - SRI Computer Science Laboratory
  - Susan Stepney: Formal methods and Z
  - Theory and Formal Methods Section at Imperial College
  - University of Technology, Sydney
    The Algorithms and Languages Group
  - Xerox PARC
  - WWW Virtual Library: The Z notation
  - Zed Soup
  - Z Browser Plug-in
- Organisations
- Online Archives & Databases
- Programming Languages
Food & Drink
- Vegetarian
- Other
Functional Programming
- Groups/People
  - Chalmers, Sweden
  - Glasgow, UK
  - Nottingham, UK
    This is the where Mark Jones, the author of Gofer and Hugs, can be found.
  - St Andrews, UK
  - Yale, USA
  - Jeremy Gibbons
  - Chris Okasaki
  - Philip Wadler
- Languages
  - The Caml language
  - Concurrent Clean
  - Erlang Systems
    Erlang is a functional programming language, a run time system and a set of development tools for the development of highly concurrent, distributed, heterogeneous systems. Erlang has been used to develop several Ericsson products on the market today.
  - comp.lang.ml Frequently Asked Questions
  - FAQ for comp.lang.functional
  - Haskell
    - The Haskell Home Page
    - The Haskell 1.4 Report
    - Chalmers
    - Glasgow
      - The Glasgow Haskell Compiler
      - Happy: The Parser Generator for Haskell
    - Hugs
      - Hugs 1.3 Home Page
      - Hugs 1.4 Home Page
- Resources
Genealogy
- Software
  - Family Tree Maker's Genealogy Site: Home Page
  - LifeLines Home Page
- Miscellaneous
Hardware
- Vendors
  - Apple
  - GENICOM
  - Hewlett-Packard
  - IBM
  - Iomega corp.
  - Siemens Nixdorf
  - Silicon Graphics
  - Sun Microsystems
    - Sun Microsystems
    - Sun Australia
  - SyQuest Technology Incorporated
  - Unisys
  - Unixpac Pipeline
Humour
- Automatic WWW Text Borkifier
- Crime Beat - Kuwait
- HigherSource.org
- The Homepage of God
- Hwy 17 Page Of Shame
- Mozilla Triumphant
- Rec.humor.funny Home Page
- The Useless Pages
- Wall O' Shame
  Dan Bornstein's attempt to characterize the erosion of our world by displaying true stories and tidbits that are just too nonlinear.
Internet
- HTML
  - Specifications
  - Tutorials
    - NCSA--A Beginner's Guide to HTML Home Page
  - Online Validation
    - Harbinger NET Services HTML Validation
    - WebTechs HTML Validation Service
  - Miscellaneous
- HTTP
  - Apache HTTP Server Project
  - The NCSA HTTPd Home Page
- Gateways
- Indices/Searching
- Internet Service Providers
  - Australia
  - Other
    - America Online
    - Vixie Enterprises
- Software
- Miscellaneous
Music
- MIDI
- Periodicals
- Recording Companies
- Resources
- Shops
  - German Music Express
- Software
  - PG Music Inc.
Peace & Happiness
Places & Organisations
- The Crock Of Gold
  Aims to reflect Ireland's place in both Europe and the World and to display all this small Island Nation has to offer the International Community.
- Denmark (Danmark)
- Deutsche Telekom
- The Internet Squash Federation
- INDOlink
  Your electronic link to India.
- Japanese Information
- NASA K-12 Internet Initiative
- Office of the Director of Central Intelligence
- United Nations
- The Virtual Irish Pub
- Xerox PARC Map Viewer
Software
- Emacs
  - Emacs reference materials
  - Elisp-archive at Ohio State University
  - Elisp-archive at Imperial College
  - XEmacs -- Emacs: The Next Generation
  - GNU Emacs for Windows NT and Windows 95
  - People
  - Packages
    - AUC TeX
    - BBDB
      - Matt Simmons' The Insidious Big Brother Database
      - Jamie Zawinski's The Insidious Big Brother Database
        A rolodex-like database program for GNU Emacs which is tightly integrated with the Emacs mail and news readers (GNUS, VM, MH-E, and RMAIL).
      - BBDB addons
    - bib-cite.el
    - The Custom and Widget Packages
    - Emacspeak --A Speech Output Subsystem For Emacs
    - Gnus Newsreader Homepage
    - Gnus 5.x Frequently Asked Questions
    - html-helper-mode
    - Emacs JDE Home Page
    - Mailcrypt
      An Emacs/PGP Interface
    - Oliver Seidel's todo-mode.el
    - VM
    - W3
      An emacs subsystem that allows the user to browse the wonderful World Wide Web.
    - Webster
      A webster interface for emacs19.
- Tcl/Tk
- TeX
- Vendors
  - Adobe Systems Incorporated
  - GNU's Not Unix! - the GNU Project of the Free Software Foundation (FSF)
  - GNU's Not Unix! (Unofficial)
  - Interleaf, Inc.
  - Microsoft
  - NCSA
    The National Center for Supercomputing Applications (NCSA), located at the University of Illinois at Urbana-Champaign, is a high-performance computing and communications facility and research center designed to serve the U.S. computational science and engineering community.
  - Object-Oriented Technology, TOOLS conferences and Eiffel
  - Symantec Corporation
  - X Consortium
- Miscellaneous
Unix
Miscellaneous

Martin Schwenke <Martin.Schwenke@cs.anu.edu.au>

URL: http://computer/%7EMartin.Schwenke/bookmarks.html
Last modified: Friday, 18-Sep-1998 15:44:21 EST