Links von Elmar Eder

Suche im Internet

Suchmaschinen: Ecosia | Teoma | Google | Duck Duck Go | Wolfram Alpha | Fagan Finder | TouchGraph | FAST Search | MetaGer | AltaVista | Yahoo Search | Kartoo | WebCrawler | Lycos | HotBot | Infoseek | Focus Netguide | Google Scholar | Scirus, Wissenschaftssuchmachine | Bielefeld Academic Search Engine
Für Newsgroups: Deja News.
In einem Artikel in Bild der Wissenschaft vom 2001-12-06 gibt es Informationen über Suchmaschinen und Internetsuche in der Suchfibel, auf Klugsuchen.de. Nach dem Artikel gilt Google als die beste Suchmaschine, eine neue intelligentere Suchmaschine sei Teoma.com.
Herold Telefonbuch Österr.
Universitätsbibliothek Salzburg UBsearch | Collection of Computer Science Bibliographies.
Wörterbücher: http://www.leo.org/ | http://dict.leo.org | http://www.linguadict.de/ | http://dict.tu-chemnitz.de |
Enzyklopädien: http://www.wikipedia.org | http://wiktionary.org/

Email

https://www.gmx.at/

Universitäten

Uni Salzburg: Meine Homepage | Meine E-Mail-Adresse eder(at)cosy.sbg.ac.at | Eder Lehre | Computer Sciences | Uni Sbg | https://login.sbg.ac.at | PLUS Online | https://elearn.sbg.ac.at | Abgabesystem | https://uni-salzburg.webex.com/meet/elmar.eder
Uni Wien WWW

Literatur

Springer Verlag: Information for Authors,
TPTP Problem Library for Automated Theorem Proving
Projekt Gutenberg: https://www.projekt-gutenberg.org/ | http://www.gutenberg.org/
Bild der Wissenschaft | Der Standard, chronologisch | http://www.orf.at/ | http://news.google.de/

Software am Fachbereich

FB Doku Server

Emacs

https://www.gnu.org/software/emacs/

TeX und LaTeX

Dante-Homepage | http://www.tug.org/ | http://www.tug.org/texlive/ | http://www.tug.org/begin.html | https://ctan.org/ | https://ctan.org/pkg/
AUCTeX: https://www.gnu.org/software/auctex/manual/auctex.pdf oder C-h i m auctex RET
preview-latex: https://www.gnu.org/software/auctex/manual/preview-latex.pdf oder C-h i m preview-latex RET

Andere Textsysteme

LyX
Internet-Organisationen und -Sprachen: WWW-Konsortium | MathML

Business

Banken: Oberbank | Erste Bank | Österreichische Postsparkasse (E-Banking)

*****************************************************

Unsortierte weitere Links

Centre for Quantum Computation http://www.qubit.org/. Dort zu finden: Introductions and Tutorials http://www.qubit.org/Intros_Tuts.html.
Logtalk, Open source object-oriented extension to Prolog https://logtalk.org/ | https://en.wikipedia.org/wiki/Logtalk
PreJournal.com is a manuscript repository of research discoveries, providing a forum for quasi real-time knowledge exchange http://www.prejournal.com/index.php
PDFTeX http://tug.org/applications/pdftex/
Proof General http://zermelo.dcs.ed.ac.uk/~proofgen/

Tagungen