Search:
Go
English
Deutsch
Français
Japanese
Chinese Simplified
Chinese Traditional
Korean
Russian
Arabic
Česky
Greek
Italiano
Afrikaans
Aragonés
Armenian
Asturianu
Azerbaijani
Bahasa Indonesia
Bahasa Melayu
Bangla
Bashkir
Belarusian
Bosanski
Brezhoneg
Bulgarian
Català
Cymraeg
Dansk
Eesti
Español
Esperanto
Euskara
Frysk
Furlan
Føroyskt
Gaeilge
Gàidhlig
Galego
Gujarati
Hebrew
Hindi
Hrvatski
Interlingua
Íslenska
Kannada
Kaszëbsczi
Kazakh
Kiswahili
Kurdî
Kyrgyz
Latviski
Lëtzebuergesch
Lietuvių
Lingua Latina
Magyar
Makedonski
Marathi
Nederlands
Nordfriisk
Norsk
O'zbekcha
Occitan
Ossetian
Persian
Polski
Português
Punjabi Gurmukhi
Română
Rumantsch
Sardu
Seeltersk
Shqip
Sicilianu
Sinhala
Slovensko
Slovensky
Srpski
Suomi
Svenska
Tagalog
Taiwanese
Tamil
Tatarça
Telugu
Thai
Tiếng Việt
Türkçe
Türkmençe
Ukrainian
Urdu
Uyghurche
DMOZ Internet Directory
Presented by
DMOZLive.com
Home
About
Submit Site
Tweet
Home
Computers
Computer Science
People
H
11 Sites
Sites
[ Submit ]
Haas, Laura
- IBM Almaden Research Center - Database query processing.
Henskens, Frans
- University of Newcastle - Global virtual memory, architectural and operating system support for persistence, resilience and availability in database systems, persistent stores for bulk data storage and manipulation.
Hannaford, Michael R.
- University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture.
Heiser, Gernot
- University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.
Hoffmann, Achim
- 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.
Held, Martin
- University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.
Hesselink, Wim H.
- 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.
Herman, Gabor T.
- 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
Hofmann, Martin
- University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
Howell, Rodney R.
- Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.
Honsell, Furio
- 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; mathematical structures for semantics.
Click
[ Submit ]
above to Add a New Site, Update a Site, or Remove a Site from this Category.
This directory is made available through a Creative Commons Attribution license from the
DMOZ Organization.