A brief introduction to theoretical computer science.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| If you don't reach usability, try at least elegancy. | |||||||||||||||||||||
| A personal thought on computer science. A brief introduction to theoretical computer science. |
|||||||||||||||||||||
| (Under heavily construction!!) | |||||||||||||||||||||
| -- Mobile Computing | |||||||||||||||||||||
| Study in Key Softlab, Nanjing University, 2000.9 - 2002.1. | |||||||||||||||||||||
| -- Logic and Concurrency | |||||||||||||||||||||
| Study in DI, ENS and PPS, Paris VII, 2002.2 - 2003.6. | |||||||||||||||||||||
| -- Automata, complexity and verification | |||||||||||||||||||||
| Study in DEA Algorithmique, X, 2003.9 - 2004.2. | |||||||||||||||||||||
| A small report outline that should be finished by end of 2002 or mid 2003. More update will be on. | |||||||||||||||||||||
|
|
|||||||||||||||||||||