|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A complete algorithm for automated discovering of a class of inequality-type theorems |
Yang, Lu |
|
44 | 1 |
p. 33-49 |
artikel |
|
| 2 | A functional presentation of Pi calculus |
Fu, Yuxi |
|
44 | 1 |
p. 20-32 |
artikel |
|
| 3 | Cova: A programming language for cooperative applications |
Yang, Guangxin |
|
44 | 1 |
p. 73-80 |
artikel |
|
| 4 | Geometric constraint solving with geometric transformation |
Gao, Xiaoshan |
|
44 | 1 |
p. 50-59 |
artikel |
|
| 5 | Medical image segmentation based on cellular neural network |
Yao, Li |
|
44 | 1 |
p. 68-72 |
artikel |
|
| 6 | Quasi-two-dimensional subthreshold current model of deep submicrometer SOI drive-in gate controlled hybrid transistors with lateral non-uniform doping profile |
Huang, Ru |
|
44 | 1 |
p. 60-67 |
artikel |
|
| 7 | Reuse-based software production technology |
Yang, Fuqing |
|
44 | 1 |
p. 8-19 |
artikel |
|
| 8 | Scaling CMOS devices through alternative structures |
Hu, Chenming |
|
44 | 1 |
p. 1-7 |
artikel |
8 gevonden resultaten