YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME Computer Science Computer Science People People A A
 

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 » Software  [31844]
   Yurtseven.ORG » Programming  [17162]
   Yurtseven.ORG » Hardware  [6331]
   Yurtseven.ORG » Multimedia  [2939]
   
Sort by Sort by          Date Sort by       Alphabetical Sort by

Showing  1 - 10  of total  15  results  [ 0.351  seconds ]  


 
 1 - Aiken, Alex Browse Website open in new window
   
  07-January-2012 
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.



 
   
  07-January-2012 
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy



 
 3 - Ajmani, Sameer Browse Website open in new window
   
  07-January-2012 
MIT - Distributed systems, software engineering and security.



 
 4 - Almeroth, Kevin Browse Website open in new window
   
  07-January-2012 
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.



 
   
  07-January-2012 
Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.



 
 6 - Arun-Kumar, S. Browse Website open in new window
   
  07-January-2012 
Indian Institute of Technology, Delhi - Semantics and Verification



 
   
  07-January-2012 
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.



 
   
  07-January-2012 
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.



 
   
  07-January-2012 
University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.



 
   
  07-January-2012 
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.


1  2  Next »


Callcenter Software


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