Theoretical Computer Science

Home

Things at Edinburgh

• Library book order form
• Department's research page
• Maths seminars
• Edinburgh University Library
• Informatics regular events

Archives, organisations, bibliographies etc.

• Citeseer
• Science Direct (Elsevier)
• Library's list of ejournals
• Jane's library page
• Computer Science Bibliography at uni-trier.de
• Our Springer link?
• Our Elsevier journals
• Computing Research Repository and the Soton mirror
• Hypatia
• AMS home page
• Mathworld
• Computer Science bibliography collection
• Conferences: logic-related, ACM Calendar of Events, Trier's list of CS conferences
• Journals: IdeaLibrary (with I&C from 96) TCS (Incredibly badly designed site!)
• mathedu archive

some things I'm referring to a lot just now...

FPGAs

• Soft Circuitry in the FAN group
• Ian Page
• Wayne Luk

Data migration

• Princeton softtech Move for Servers
• Reliant Data Systems
• Data Management API: the standard and implementation experiences (Alex Miroshnichenko, Veritas)
• Cross Access Data Migration page