| 1 | Computer aided analytical studies of some facilities design problems |
| 2 | Dependency lattices acyclic hypergraphs and relation database scheme design |
| Language: | English |
| 3 | Petri-net-based techaniques for modeling analysis and performance evalution |
| 4 | broadcast cube-based multipocesor architecture for solving partial differential equations |
| Language: | English |
| 5 | Grammatical inference from postive data: An effective intergrated approach |
| 6 | |
| Language: | English |
| 7 | Algorithms for some graph problems on parallel and disturbed computation models |
| 8 | Software project resource estmation: An intergrated life cycle methodology |
| Language: | English |
| 9 | Verification of digital systems using linear time temporal logic |
| 10 | |
| Language: | English |
| 11 | |
| 12 | |
| Language: | English |
| 13 | |
| 14 | |
| Language: | English |
| 15 | |
| 16 | |
| Language: | English |
| 17 | |
| 18 | Design for testability and faults analysis in PLAs and general combinational circuits |
| Language: | English |
| 19 | |
| 20 | |
| Language: | English |