in the web:

Work Links

Search research papers  Search books  Search researchers/links
  • CiteSeer: NECI's citations, quotes, on-line documents
  • arXiv e-prints (PL, SE)
  • DBLP/ACM: conferences and journals
  • The Collection of Computer Science Bibliographies
  • Elsevier journals
  • proc. nat. academy of sciences
  • Amazon
  • BOL
  • CS home pages
  • google (kartoo, vivismo)
  •  
    Encyclopedia  English dictionary  Translation
  • [no fuss] Wikipedia (113,000)
  • [no fuss] xrefer (now requires subscription)
  • [heavy] Encarta
  • bartleby Columbia + Roget's + Am. Heritage ...
  • Britannica
  • xipolis, Meyers, wissen.de (German)
  • Encyclopedia.com ~~ eLibrary Columbia + ...
  • Philosophy resources on the internet, Stanford Encyclopedia of Philosophy Internet Encyc. of Philo
  • [no fuss] Webster 1913 + WordNet + foldoc ...
  • [heavy] Meriam-Webster Dictionary + Thesaurus
  • Hyperdict (WordNet)
  • Dictionary.com and Roget's theasurus
  • The American Heritage Dictionary of the English Language (90,000 entries) of English Usage
  • New Oxford
  • [no fuss] LEO (350,000+) Yahoo Deutschland ! website of 2001
  • some English:German expressions and false friends
  • FreeDict
  • Duden (German, free through 2003)

  • SYSTRAN - Translation Technologies, Language Translator, Online dictionary, Translate English
  • AltaVista Translations
  • Babylon Translator Dictionary Converter and Information at your fingertips!
  •  

    tools for file viewing (document, archive)
  • TOM online data format converter
  • instantly view MS-Word, etc
  • Downloads: WinZip, Ghostview, Word Viewer for Word 6.0/7.0 .doc/.rtf, Acrobat Reader for .pdf.
  • info. on writing documents
  • LaTeX: Kochbuch (an introduction, in German), help (a reference, in English)
  • HTML: HTML Dateien selbst erstellen: Befehlsverzeichnis, named symbols, HTML Frames, Menus with JavaScript
  • web standards from W3C: HTML, CCS, HTTP, XML, XHTML, ...
  • compilers - cf. PLD
  • Java: sun (Java Home Page). Language Specification (syntax). Java 2 API 1.3 Specification. (More documentation).
  • Java IDE without own compiler (works with javac): JCreator
  • C/C++: minimal GNU for windows 32bit (old link)
  • Ada: Gna95gp For Windows 95 (old link)
  • Eiffel: EiffelCase (IDE)
  • SML: SML of New Jersey compiler, MLton a whole-program optimizing compiler, MLj compiler to JBC, ML Kit compiler, Moscow ML light-weight implementation, MetaML, PolyML full SML implementation.
  • Haskell: Hugs interpreter
  • Etc
  • my guide to using RCS
  • PuTTY - download secure FTP and telnet clients (Windows applications and DOS commands).
  • Bookmarklets to configure your browser
  • Software - GNU Project - Free Software Association [FSF]

  • http://www.cs.mun.ca/~ulf/misc/work.html, Ulf Schuenemann, 100705