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

 
 Computers » Computer Science » People » M


 Categories

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

 Web Pages    1 - 10   of   18


Chennai Mathematical Institute - logic and models for concurrency

http://www.cmi.ac.in/~madhavan

[more pages from this URL] 


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

http://www.cs.technion.ac.il/~janos/index.html

[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.

http://www.cl.cam.ac.uk/~am21/

[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.

http://www.cs.unibo.it/~martini/

[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.

http://www.cs.utexas.edu/users/misra/

[more pages from this URL] 


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

http://www.it.iitb.ac.in/~bernard/

[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.

http://www.cl.cam.ac.uk/~swm11/

[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.

http://users.dimi.uniud.it/~angelo.montanari/

[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.

http://users.dimi.uniud.it/~marino.miculan/

[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.

http://www.cs.bath.ac.uk/~gam23/

[more pages from this URL] 




1  2  Next »»




Callcenter Software


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