| | - Helpmened
Access Technologies, Inc. provides full spectrum IT plus network monitoring with NED. Our exclusive remote management system. NED will manage and monitor any Voice, Data, Wireless, Security, and Video network 24/7. NED provides scheduled service and ...
http://www.helpmened.com
|
| |
- Jason Nieh
Professor Jason Nieh, Department of Computer Science, Columbia University. Research interests: operating systems, web and multimedia systems, thinclient computing, and utility computing. Director, Network Computing Laboratory. Technical Adviser, Mi ...
http://www.cs.columbia.edu/~nieh
|
| |
|
- Technische Universität München
Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambdacalculus. ...
http://isabelle.in.tum.de/~nipkow/
| | |
| |
- Simin Tehrani Nadjm
Linköping University Formal methods in verification of realtime and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automatabased decompositional proof techniques. ...
http://www.ida.liu.se/~snt/
|
| |
- Stefan Nilsson
Royal Institute of Technology, Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. ...
http://www.nada.kth.se/~snilsson
| | |
| |
