|
|
| About site: Computer Science/Academic Departments/Europe/United Kingdom/University of Edinburgh - Laboratory for Foundations of Computer Science |
Return to Computers also Computers
|
| About site: http://www.lfcs.inf.ed.ac.uk/ |
Title: Computer Science/Academic Departments/Europe/United Kingdom/University of Edinburgh - Laboratory for Foundations of Computer Science School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
|
|
|
|
|
FIT,_Inc_ The creators of Cadvance, a Windows CAD program for architects, engineers and designers.
| Mellel Wordprocessor for Mac OS X, with multilingual support and document "style sets" to standardize appearance.
| FortitudeSeven_com Offers web hosting, web design and domain registration.
| Metacanvas_web_content_management_system MetaCanvas is a visual web content management system that allows anyone to manage the content and growth of their website without needing technical knowledge.
| Pocket_Reader Allows the scanning, and instant OCR-ing, of text documents which can then be transferred to your RISC OS computer via the supplied cable and software.
| WinMerge Graphical diff/merge utility for Windows that is built on top of the GNU diff engine. Free, from Thingamahoochie software.
|
|
| Alexa statistic for http://www.lfcs.inf.ed.ac.uk/ |
Please visit: http://www.lfcs.inf.ed.ac.uk/
|
| Related sites for http://www.lfcs.inf.ed.ac.uk/ |
| Shenzhen_Shrider_Electronic_Co_,_Ltd Manufacturer of computer peripherals, including cables and adaptors. Based in China. [English/Chinese] | | NCAR\'s_Mathematical_and_Statistical_Libraries Source code and documentation for libraries in the areas of geophysical science, Fast Fourier Transforms, separable elliptic PDEs, interpolation, Legendre polynomials, spherical harmonics, general mat | | Net__Z3950 This module provides a Perl interface to the Z39.50 information retrieval protocol. | | Okino_Computer_Graphics_Software_Products Leading provider of fast, photo-realistic rendering software for Microsoft Windows (the NuGraf Rendering System), cross-platform 3d model translation software (PolyTrans) and cross-platform 3d develop | | Axon_Group_PLC Global SAP and business solutions consultancy. | | Doro_Security Provides computer hardware security systems. Company history, product gallery, contact information, related articles, FAQ and industry links. | | CyberNiche_Software Provides Windows software for business and home. Programs include Request Tracker, Keys Program, Order/Auction Tracker, Seed Program, Book Program and some Collection Programs. They also do custom wor | | 3D-worXX Tutorials for 3D Studio MAX, Cinema 4D, and Lightwave. Includes user gallery, contest, and a showroom. Site is also available in German. | | Mainframe_Associates Develops, installs and supports The Controller Series Software, a mature, fully integrated multi-user business management product that addresses all facets of business automation. | | Palm_OS_Database_Comparison_Review Excellent review of the available database software for the PalmPilot. | | HROnline Provides tools andinformation to accelerate the development of people in your organization and help you reach your objectives. | | RFC_3006 Integrated Services in the Presence of Compressible Flows. B. Davie, S. Casner, C. Iturralde, D. Oran, J. Wroclawski. November 2000. | | NuVentures_LLC Product data management software for managing part numbers, BOMs, external documents and ECOs, increasing the efficiency of managing the complex web of engineering and manufacturing documents. | | Zope__a_Developers_Overview Slides of a technical introduction to Zope given at OSDEM in Brussels in Feb. 2001. By Stéfane Fermigier. | | E-books_Remain_Niche_Reads The e-book market is hampered by immature, expensive technology and a limited number of people willing to consider reading books on electronic devices. [CNet] (May 3, 2001) | | Solve_id Offers services to design, construct and implement your company's web presence. | | WebChat Showcase network for the chat IRCD Conference Room. Centered completely in California, this network offers Chanserv, Nickserv and Memoserv. Website offers insight into the aspects of the network befor | | Free_Graphics_For_Your_Web_Page Backgrounds, banners, buttons, fancy bars, and borders plus some nice clip art. | | MadProfile Free, unlimited AIM profile with a guestbook, journal, buddy statistics, a fully customizable interface for both advanced and novice users, and an unlimited number of subpages. | | CustomInsight 360 degree feedback software. Participants receive feedback on a list of leadership and management competencies. |
|
This is websites2007.org cache of m/ as retrieved on 2008.09.07 websites2007.org's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
|
Laboratory for Foundations of Computer Science/* vertical navigation, static */.menu { padding:0; margin:0; list-style: none; font-weight: bold;}.menu ul { padding:0 0 0 .5em; margin:0; list-style: none; font-weight: normal; position: relative; margin-bottom: 2ex;}.menu li {}.menu li li {/* height:1.5em;*/}.menu a, .menu div { text-decoration:none; margin-left: 0.5em; margin-right: 0.5em;}/* two columns, same width */#mainc { text-align:center;}div#container{ margin-left:auto; margin-right:auto; text-align:left; width:28em;}#leftc { margin: 0; padding:0; width: 14em; float: left;}#rightc { margin:0 0 0 14em; padding:0; width:14em;}     The Laboratory for Foundations of Computer Science is a research institutewithin the School of Informaticsat the University of Edinburgh. We are acommunity of theoretical computer scientists with interests in concurrency,semantics, categories, algebra, types, logic and complexity. People List Directory Mailing lists Research Interests Events List LFCS Seminar Lab Lunch Milner lecture Gordon Plotkin Symposium Software Overview CWB PEPA Workbench Proof General Standard ML Research Groups and Projects Current grants Technical reports Study Undergraduate Postgraduate TPG courses PhD at LFCS Local Information Site Map Laboratory for Foundations of Computer Science School of Informatics The King's Buildings Mayfield Road Edinburgh EH9 3JZ Scotland, UK Telephone : +44 (0)131 650 5132 Fax : +44 (0)131 667 7209 Email: lfcs-admin@inf.ed.ac.uk Unless explicitly stated otherwise all material is copyright © The University of EdinburghComments and corrections to: LFCS WebmasterLast modified: Friday 1 June 2007 |
|
| |
School | of | Informatics. | | A | community | of | theoretical | | computer | scientists | with | interests | in | concurrency, | semantics, | categories, | algebra, | types, | | logic | and | complexity. |
|
http://www.lfcs.inf.ed.ac.uk/
Laboratory for Foundations of Computer Science 2008 September
dvd rental
dvd
School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
Rules
|
© 2008 Internet Explorer 5+ or Netscape 6+
|
|
Recommended Sites: 1.
Arts -
Business -
Computers -
Games -
Health -
Home -
Kids and Teens -
News -
Recreation -
Reference -
Regional -
Science -
Shopping -
Society -
Sports -
World
Miss Gallery
- Top Anime Hentai
- DVD rental by mail
- Loans - Venta chalets Denia - Loan - Image Hosting - MPAA
|
