University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databases, systems integration, distributed and multi-database systems, database models and languages, DBMS system implemention, indexing techniques, softwareengineering environments, operating systems, programming languages.
University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
Receive hundreds of new customers for your business
ABSOLUTELY FREE!
Listing your business in Computer Crawler, the leading Computer Search Engine and Directory Online is the best way to reach your target niche audience. List now to ensure your business is found.