Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
A (12)
Escola Secundária de Jaime Moniz - Biography and links.
http://members.netmadeira.com/luisabreu/
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
http://www.cs.ucsb.edu/~agrawal/
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
http://theory.stanford.edu/~aiken/
MIT - Distributed systems, software engineering and security.
http://pmg.csail.mit.edu/~ajmani
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
http://www.cs.ucsb.edu/~almeroth/
Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
http://www.dsic.upv.es/users/elp/alpuente.html
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
http://www.tcs.informatik.uni-muenchen.de/~alti/
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
http://ix.cs.uoregon.edu/~ariola/
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
http://web.cs.gc.cuny.edu/~sartemov/
Indian Institute of Technology, Delhi - Semantics and Verification
http://www.cse.iitd.ernet.in/~sak/
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.
http://www.infj.ulst.ac.uk/~jcaug/
Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational busi
http://is.tm.tue.nl/staff/wvdaalst/
Last Updated: 2007-01-02 19:58:36
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
