Recent Searches

Web Search Results   Sorted By: Relevance 1. Nadathur, Gopalan     University of Chicago - Declarative programming languages, lambda Prolog.   http://www.cs.uchicago.edu/~gopalan/ More/Rate, Modify, Report 2. Nadjm-Tehrani, Simin     Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.   http://www.ida.liu.se/~snt/ More/Rate, Modify, Report 3. Nipkow, Tobias     Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.   http://isabelle.in.tum.de/~nipkow/ More/Rate, Modify, Report 4. Nilsson, Stefan     Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing.   http://www.nada.kth.se/~snilsson More/Rate, Modify, Report 5. Nicol, David M.     Dartmouth College - Parallel processing, performance analysis, parallel simulation, static and dynamic mapping algorithms, network simulation, security.   http://www.cs.dartmouth.edu/~nicol/ More/Rate, Modify, Report 6. Nieh, Jason     Columbia University - operating systems, end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitous computing architectures, performance evaluation.   http://www.cs.columbia.edu/~nieh More/Rate, Modify, Report

	Bookmark		On a Mobile/PDA?
	RSS Feed		Print This Page
	E-mail a Friend		Change Font Size Change Font Size
	Leave a Comment		Save as PDF
	Search Toolbar		Search Bar Widget

Check Domain Name

Search  SELECT YOUR DESIRED EXTENSION com   net   org   info   biz