|
СБ |
Automated Technology for Verification and Analysis: Proc./19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Hou Z.
- Ganesh V.
|
|
|
26.11.2021 |
|
СБ |
Formal Methods and Software Engineering: Proc./22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 2021 |
2020 |
|
Lecture Notes in Computer Science |
- Lin Sh. -W.
- Hou Z.
- Mahoney B.
|
|
|
19.02.2021 |
|
СБ |
Advances in Neural Networks - ISNN 2007: Part II: Proc./4th International Symposium on Neural Networks, ISNN 2007. Nanjing, China, June 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Liu D.
- Fei Sh.
- Hou Z.
- Zhang H.
|
|
|
26.07.2007 |
|
СБ |
Advances in Neural Networks - ISNN 2007: Part III: Proc./4th International Symposium on Neural Networks, ISNN 2007. Nanjing, China, July 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Liu D.
- Fei Sh.
- Hou Z.
- Zhang H.
|
|
|
26.07.2007 |
