Einige Links

  1. X Utlysning av midler for 2008, frist 16.04.
  2. Nærings-PhD-stipend for bedrifter med ansatte som vil ta doktorgrad i teknologiske fag, 16.04
  3. Utlysning av midler til nasjonale forskerskoler frist 04.06

UiO

  1. Forschungsseiter
  2. Subversion repos @ ifi
  3. Publikasjonskanaler Registrierung, Login. Frida
  4. MiFA
  5. Master theses, Veiledning
  6. Satser
  7. Kurs/Gruppelaerer english
  8. Listinfo, Liists
  9. password change
  10. gurus
  11. VPN
  12. Einheiten
  13. other branches:
    1. Norwergischkurs
  14. for students:
    1. Studentweb,
    2. Student web registration
    3. IT-infos fuer Studenten

Examples for cv's

CAU

  1. WP65
    1. Langmaack
    2. LNCS 4060 Joe Goguen
    3. LNCS 3838 Jan Willem Klop
    4. LNCS 2772: Manna
    5. Langmaack
    6. Dahl
  2. mailing lists
  3. Schnupperkurs
  4. H-Ordnung, Prom-Ordnung, Fachschaft/Gremien
  5. Mittelbeantragung 2004
  6. Lehrevaluation
  7. Layout Uniseiten
  8. Kogge
  9. Ranking
  10. Zeitung CAU-intern
  11. Module/Bachelor?
  12. Bachelor
  13. Studienführer Informatik
  14. CAU intern, Hinweise von Inge Panzer
  15. Dienstreisen, Interne formulare, von der Wiege bis zur Bahre Neu
  16. Unibilbliothek (ohne Frames?), Fachbibliothek Informatik
  17. Weg
  18. CAU reports
  19. Reports
  20. Erstellen von Technischen Reporten
  21. SWT Laptops
  22. Inf-Math Foren
  23. Vorlesungsskripte
  24. Univis, Veranst.-Nummern Softwaretechnologie SS00, LVVO
  25. Vorlesungsbeginn und Ende
  26. Informatik: Diplom, Ingenieur, Infozertifikat
  27. Accounts, CGI-Skript für personenbezogene Accounts, Formular
  28. CVS-server, mehr quota
  29. imap
  30. TechTranfer: Aufruf,
  31. Die Geschäftsführung tut kund(Telephonliste)
  32. Bachelor von Valkema,
  33. Zettel für Studenten zum Ausfüllen bei Lehrveranstaltungen,
  34. Vortragsreihen: AG, Kolloquium
  35. TDoT
  36. Informatikstudium?

Java threading stuff

Kiel

Sprachen

  1. Zum Nachschlagen
  2. Misc: A word per day and other stuff, Vokabeln, Translations of web-pages, Übersetzung Dudenneusprech
  3. Meta: Riesenliste, meta, Wortespiele, Word stuff, ,
  4. Further stuff: thesaurus, Roget's thesaurus (1911),

(Computer) Science (and non)

  1. TT , X
  2. Karriere
  3. SAT06
  4. ICCP06
  5. CiE06
  6. discotec (fmoods 06)
  7. FSEN05
  8. Sosym
  9. SciGen
  10. IFIP: WG 2.2, 2005 IFIP
  11. CS bibliographies
  12. FMOOD03, Paris
  13. DHV
  14. Citeseer, Open Citation Project, DLPB Trier
  15. Math world
  16. Key
  17. Mobile reading list
  18. PL research
  19. Hypertext bibs
  20. IEEE, including Computer Society Digital Library
  21. Book Foc, Gruksa
  22. LNCS-numbers, oder hier?, LNCS Index, LNCS online
  23. Infinite states
  24. Scirus
  25. Some journals

Allerlei

  1. Semantik-SM, Back-in-time
  2. Suttrop
  3. Radio 567
  4. Chello/UPC: Kontoservice
  5. way back
  6. FreeNAS, Openfiler
  7. Tmobile, Kundencenter Webmail
  8. Linux + Phones, Handheld, familiar , Handheld Wiki Linux@IpAQ,pocket-linux Mobilix und weitere Links, K700I S-E Multisynch avetanaobex
  9. Mobile
  10. Link in
  11. Bank
  12. Marcel
  13. L4
  14. Freepan
  15. Blinkenlights
  16. Kolloquium KPS
  17. Tools for program correctness
  18. Statematesupport
  19. Universitäten
  20. Spamgourmet,antispam
  21. ICS
  22. SRI, talks
  23. Pi-Quadrat-Fahrradhändler
  24. Open directory
  25. H2G2
  26. Aspekt
  27. TCPA
  28. Bilder
  29. canon
  30. Plagiat
  31. Bahnfahrzentrale, Mitbahnen, Noch einer, VCD, Ticketfuchs
  32. gphoto-Kameras, cthumb, Jhead
  33. Slavistik
  34. DIVX, DIVX for Linux
  35. Adenauerstiftung
  36. Abitreffen
  37. Rhön-Gymnasium, ,
  38. Rhön-Grabfeld, NES
  39. Style-guide for puntcuation (British English)
  40. Stadtplandienst
  41. Webanonymisierer
  42. Astronomiebild des Tages
  43. Wikipedia, Wiki-DE
  44. Lug net
  45. Frank-A's PL theory texts
  46. Counter
  47. Linuxstuff, Linux/O'Reilly
  48. Diction, Auch nett
  49. S D L
  50. Webcams
  51. Paul Halmos
  52. Journal-Test
  53. Was man auf Reisen nicht vergessen soll , TravelLite
  54. Automatic media (Plastic, alt culture etc)
  55. dt. Geschichte des 20. Jahrhunderts
  56. Darwin, the improbable research
  57. Model checking links
  58. Zufallszahlen
  59. Wetter-Satellitenbilder Europa, Deutschland
  60. 8Bit Museum, Mame, Computerspielemuseum
  61. Auskünfte über dies und das, (d.h. eine Metaliste)
  62. Rundgänge durchs Internet, ein wenig überladen, aber nicht schlecht
  63. Dinge überkopf
  64. OpenDoc
  65. Lambda-calc problems
  66. EOS-DUE, Jalapeno
    Math, writing, presentation
    How to write Mathematics, P. R. Halmos. How to write a proof and How to write a long formula, Lesli Lamport, Links
    Research & writing
    Math writing, short guide, another guide some books and some other books, phrases, hints
  67. Refseiten am immd7:TeX, gnu emacs
  68. CAU-Kurse: Romanistik, Übersicht (SS00)
  69. Zeit-Newsletter
  70. Eisenbahn
  71. MOD 1998
  72. Anda, Lesezeichen, Friday's seminar Karte, Brancusi
  73. Grußkarten Malerei, Bewegte Gifs (die von ihr), weniger hübsch, auch häßlich, zur Not, häßlich, Kitch, naja, große Auswahl, trotzden eher schlecht, fool's day, grauenhaft, auch unbrauchbar, Große auswahl, trotzem wenig tauglich, Naja, naja, ein paar nette Gifs, besonders 41 (you'll write me soon), viel
  74. Medien
    1. Medien u E-Medien, Zeitungen
    2. Spiegel, Zeit, Kieler Nachrichten, Netzeitung
  75. Petit Bouquet
  76. Venedig, Hotel in Mestre
  77. MOD 99
  78. Ratgeber Recht, Mahn/Vollstreckungsbescheid
  79. Wetter für die Sonnenfinsternis
  80. MD
  81. Heinsberg
  82. afu, (oder snopes), GUWP, ciscop, Skept-Dic, Sceptical index
  83. Quackwatch
  84. Y2K: Watch
  85. Rumänisches: Basic, even more basic Wörterbuch (oft nicht erreichbar), einfache Sätze, Romanianet
  86. Algo
  87. Course material on Algorithms & Datastructures
  88. Geschiche der Technik etc., Geschichte der Mathematik
  89. Gutenberg
  90. Conferences deadline, logic related conference
  91. Dictionaries: Wort des Tages metalist, Travlang meta ,
  92. Language resource
  93. Deutsch: Resources, Something
  94. Languages OnlinekurseDeutschkurs Deutschkurs
  95. List of dictionaries meta
  96. Install from here, or here, webjump
  97. Ein paar ``Rechner'', Webmath
  98. Past conferences
  99. Thesauri
  100. Possible conferences
  101. Haskellarchive
  102. Umrechungskurse, Eurorechner
  103. Chaiting
  104. Turingmaschinen, Turing Machines
  105. Apokryph
  106. Goetheinstitut, GDS? Maillisten
  107. Tag der o-Tür
  108. PDD
  109. Tutorials
  110. Mailinglisten
  111. Types forum
  112. Bayern 2, Deutschlandfunk
  113. HTML- Validator, minimalistic web design, colors
  114. Jargon
  115. Gnu-cash
  116. Encyclopædia Britannica , Gnu-Encyclopedia
  117. Epinions, Ciao, Dooyoo
  118. Triva Nutzlos

Software etc

  1. Freedom to tinker
  2. Rat poison
  3. HTML-Einführung
  4. Ant
  5. SunForum
  6. Eclipse
  7. TaskJuggler
  8. Kpilot
  9. Elan
  10. Plan 9
  11. Compilers, Program transformation, Modern Compiler Design
  12. Open source development network: Source Forge
  13. Caml examples
  14. Weblogs: Language design
  15. LEG OS
  16. Linuxhowtows,
  17. OTE: The one true editor, wiki
  18. gnus lilipond
  19. Gnu PG
  20. Postgres
    Tex & LaTeX
    CTAN
    TUG
    LaTeX project
    Dante
    TeX Katalog
    Latex Web Companion Examples
    Bibtool
    GaSTeX
    Präsentationnen in TeX!
    Gantt
    Omega
  21. VC comparison
  22. concurrent version control, Unison
  23. Subversion Forum
  24. /., Heise,Telepolis,NewsForgeInternet
  25. CCC
  26. the hacker's quarterly
  27. computer underground digest
  28. Phrack
  29. FSF
  30. history
  31. Electronic frontier foundation
  32. hall of fame
  33. tech model railroad club
    Ocaml
    postgres Ocaml-helpers
    Automata etc in ocaml + Graphik, vielleicht braucht man Graphik aber nicht mehr, wenn es die graphic-library in ocaml gibt
    galax + findlib, pcre-ocaml (also PCRE), equeue, ocamlnet, ulex, pxp, godi...
    Efuns
    ActiveDvi
    ocaml database
    Postgres/SQL
    Bibtex->html
    Hevea
    TeX2html
    Caml Development kit
    XML
    Saxon (no XSLT 2.0)
    Cafe con Leche
    Cover pages
    web referenz
    validators
    Linux
    Fedora@Dell 420,
    Tuxmobil,
    handhelds
    Toshiba Utils
    Toshiba support
    Suse,
    Linmodems
    Linux @ Laptops
    Linux Doc
    M-Linux,
    Lisa
    muLinux
  34. misc: epstool, Interscript?, Elan
  35. Egroups (Mailinglisten einrichten), Dt. Mailinglisten

Stuff I stumbled across for the Day of the open door (2000)

  1. risk digest, Peter G. Neumann
  2. Cert
  3. Manila: Heise
  4. DFN-CERT, ILOVEYOU. ILLOVEYOU2
  5. ESA-Presseerklärung
  6. Horrorstories
  7. FMs: Kurs, Links, 7 more, First bug, FME, Formale Methoden Scientific American
  8. People: Alan Turing
  9. 4colors

Knete

  1. DFG, Gepris-Datenbank
  2. Deutscher Akademischer Auslandsdienst Sokrates/Erasmus Teaching Austausch
  3. Meta DAAD PPP DAAD Holland-D
  4. DFB: Holland/Deutschland, NL/D

Viresstuff

  1. Review

Links for the theory lecture


Martin Steffen
Last modified: Fri May 2 12:29:16 CEST 2008 ($Id: links.html 10707 2008-05-03 08:15:06Z msteffen $)