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.cs.technion.ac.il  Search for:  host:www.cs.technion.ac.il
 
Sort by Sort by          Date Sort by       Alphabetical Sort by       Category Sort by

Showing  10 - 14  of total  14  results  [ 0.356  seconds ]  


 Yurtseven.ORG Computer Science Computer Science People People G G
  
 11 - Grumberg, Orna Browse Website open in new window
    
  07-January-2012 
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science People People F F
  
 12 - Francez, Nissim Browse Website open in new window
    
  07-January-2012 
The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.


     [similar pages] 


 Yurtseven.ORG Computer Science Computer Science Academic Departments Academic Departments Middle East Middle East Israel Israel
  
 13 - Technion - Israel Institute of Technology, Haifa Browse Website open in new window
    
  07-January-2012 
Computer Science Department.


     [similar pages] 


 Yurtseven.ORG Artificial Intelligence Artificial Intelligence Machine Learning Machine Learning Datasets Datasets
  
 14 - WordSimilarity-353 Test Collection Browse Website open in new window
    
  07-January-2012 
Contains 353 English word pairs along with human-assigned similarity judgements.


     [similar pages] 

« Previous  1  2  


Easy Web Admin

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