• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

The Weakest Completion Approach to the Probabilistic Semantics (2000)

by He Jifeng, C C Morgan, A K McIver
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

February 2001

by Unu Iist And
"... The present document covers UNU/IIST's activities in 2000. A brief overview is followed by a description of the status of ongoing research in Theory and Design Methods for Real-time Systems, Formal Techniques for Software Development, Curriculum Development Project and Development of Computer Scienc ..."
Abstract - Add to MetaCart
The present document covers UNU/IIST's activities in 2000. A brief overview is followed by a description of the status of ongoing research in Theory and Design Methods for Real-time Systems, Formal Techniques for Software Development, Curriculum Development Project and Development of Computer Science Departments in Developing Countries. This is followed by reports on UNU/IIST's Fellowship programme, advanced courses, events and academic meetings, Off-Shore R&D projects, and administrative matters. UNU/IIST's activities in China are reported, as are its linkages to UNU and other UN organisations. The last section gives an outline of planned activities for 2001.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University