YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 19.900,-    Phone: +905324599698

 Computers » Computer Science » People » M


McCarthy, John (4) Minsky, Marvin (12) Muuss, Michael (5)

 Web Pages    1 - 10   of   18

Chennai Mathematical Institute - logic and models for concurrency


[more pages from this URL] 

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


[more pages from this URL] 

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


[more pages from this URL] 

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


[more pages from this URL] 

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


[more pages from this URL] 

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


[more pages from this URL] 

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


[more pages from this URL] 

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.


[more pages from this URL] 

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


[more pages from this URL] 

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


[more pages from this URL] 

1  2  Next »»

Callcenter Software

Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact