YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Computer Science » People » H


 Categories

Hopper, Grace Murray (9)  

 Web Pages    1 - 10   of   13


 1 - Hofmann, Martin Browse Website open in new window
University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.

http://www.tcs.informatik.uni-muenchen.de/~mhofmann/

[more pages from this URL] 


 2 - Haas, Laura Browse Website open in new window
IBM Almaden Research Center - Database query processing.

http://www.almaden.ibm.com/cs/people/laura/

[more pages from this URL] 


 3 - Honsell, Furio Browse Website open in new window
University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathemati...

http://users.dimi.uniud.it/~furio.honsell/

[more pages from this URL] 


University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.

http://www.cs.rug.nl/~wim/

[more pages from this URL] 


 5 - Held, Martin Browse Website open in new window
University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.

http://www.cosy.sbg.ac.at/~held/held.html

[more pages from this URL] 


City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision

http://www.dig.cs.gc.cuny.edu/~gabor/

[more pages from this URL] 


 7 - Heiser, Gernot Browse Website open in new window
University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.

http://www.cse.unsw.edu.au/~gernot/

[more pages from this URL] 


 8 - Houle, Michael Browse Website open in new window
University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms.

http://www.cs.usyd.edu.au/~meh/

[more pages from this URL] 


Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.

http://people.cis.ksu.edu/~rhowell/

[more pages from this URL] 


 10 - Hoffmann, Achim Browse Website open in new window
University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.

http://www.cse.unsw.edu.au/~achim/

[more pages from this URL] 




1  2  Next »»




Easy Web Admin


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