YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 19.900,-    Phone: +905324599698
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME Computer Science Computer Science People People M M
 

Alphabetical Order:
    A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z


Related Categories:
   Yurtseven.ORG » Programming  [17161]
   Yurtseven.ORG » Systems  [3292]
   Yurtseven.ORG » Multimedia  [2939]
   Yurtseven.ORG » Computer Science  [2098]
   
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  1 - 10  of total  18  results  [ 0.186  seconds ]  


 
   
  07-January-2012 
Chennai Mathematical Institute - logic and models for concurrency



 
   
  07-January-2012 
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.



 
 3 - Mycroft, Alan Browse Website open in new window
   
  07-January-2012 
University of Cambridge - Semantics and compilation of programs, static analysis of programs.



 
 4 - Martini, Simone Browse Website open in new window
   
  07-January-2012 
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.



 
 5 - Misra, Jayadev Browse Website open in new window
   
  07-January-2012 
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.



 
   
  07-January-2012 
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing



 
 7 - Moore, Simon W. Browse Website open in new window
   
  07-January-2012 
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.



 
   
  07-January-2012 
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.



 
 9 - Miculan, Marino Browse Website open in new window
   
  07-January-2012 
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.



 
 10 - McCusker, Guy Browse Website open in new window
   
  07-January-2012 
School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.


1  2  Next »


Callcenter Software


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