YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
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
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.

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

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

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

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
Indian Institute of Technology, Delhi - Semantics and Verification

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

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

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.

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

1  2  Next »

Callcenter Software

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