YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME host:www.comlab.ox.ac.uk  Search for:  host:www.comlab.ox.ac.uk
 
Sort by Sort by          Date Sort by       Alphabetical Sort by       Category Sort by

Showing  1 - 9  of total  9  results  [ 0.514  seconds ]  


 Yurtseven.ORG Computer Science Computer Science People People O O
  
 1 - Ong, C.-H. Luke Browse Website open in new window
    
   1 quotes  07-January-2012 
Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Theoretical Theoretical Complexity Theory Complexity Theory
  
 2 - Constraint Satisfaction Problems Browse Website open in new window
    
   1 quotes  07-January-2012 
Research group in the Computing Laboratory, Oxford University.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Theoretical Theoretical Research Groups Research Groups
  
 3 - Oxford University Computing Laboratory Browse Website open in new window
    
   1 quotes  07-January-2012 
A centre for research in computer science, numerical analysis, computational biology, quantum computation, computational linguistics, and information systems.


     [similar pages] 


 Yurtseven.ORG Programming Programming Graphics Graphics Algorithms and Data Structures Algorithms and Data Structures Collision Detection Collision Detection Software Software
  
 4 - Computing the Distance between Objects Browse Website open in new window
    
   1 quotes  07-January-2012 
An implementation of the Gilbert, Johnson, and Keerthi (GJK) algorithm for tracking the distance between a pair of convex polyhedra. Source available for nonprofit use.


     [similar pages] 


 Yurtseven.ORG Programming Programming Languages Languages Algol 68 Algol 68
  
 5 - IFIP Working Group 2.1 Browse Website open in new window
    
   1 quotes  07-January-2012 
The WG that developed the Algol languages.


     [similar pages] 


 Yurtseven.ORG Programming Programming Languages Languages Occam Occam
  
 6 - Programming in Occam Browse Website open in new window
    
   1 quotes  07-January-2012 
By Geraint Jones; Prentice Hall, 1987, ISBN 0137297734; Web edition 2001. Introductory textbook.


     [similar pages] 


 Yurtseven.ORG Programming Programming Languages Languages Occam Occam
  
 7 - Programming in Occam 2 Browse Website open in new window
    
   1 quotes  07-January-2012 
By Geraint Jones, Michael Goldsmith; Prentice Hall, 1988, ISBN 0137303343; Web edition 2001. Introductory textbook.


     [similar pages] 


 Yurtseven.ORG Programming Programming Languages Languages Z Z
  
 8 - Community Z Tools Initiative: CZT Browse Website open in new window
    
   1 quotes  07-January-2012 
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.


     [similar pages] 


 Yurtseven.ORG Programming Programming Languages Languages Z Z
  
 9 - Standard for Z Notation Browse Website open in new window
    
   1 quotes  07-January-2012 
International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.


     [similar pages] 




Easy Web Admin

Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us