СБ |
Belief Functions: Theory and Applications: Proc./6th International Conference, BELIEF 2021, Shanghai, China, October 2021 |
2021 |
|
Lecture Notes in Artificial Intelligence |
- Denoeux T.
- Lefevre E.
- Liu Zh.
- Pichon F.
|
|
21039 |
26.11.2021 |
СБ |
Domain Modeling and The Duration Calculus: Advanced Lectures/International Training School. Shanghai, China, September 2007 |
2007 |
|
Lecture Notes in Computer Science |
- George Ch. W.
- Liu Zh.
- Woodcock J.
|
|
|
20.11.2007 |
СБ |
Embedded and Ubiquitous Computing - EUC 2005: Proc./International Conference EUC 2005. Nagasaki, Japan, December 2005 |
2005 |
|
Lecture Notes in Computer Science |
- Yang L. T.
- Amamiya M.
- Liu Zh.
- Guo M.
|
|
|
28.02.2006 |
СБ |
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018 |
2019 |
|
Lecture Notes in Computer Science |
- Bowen J. P.
- Liu Zh.
- Zhang Z.
|
|
|
06.05.2019 |
СБ |
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays |
2007 |
|
Lecture Notes in Computer Science |
- Jones C. B.
- Liu Zh.
- Woodcock J.
|
|
|
07.01.2008 |
СБ |
Formal Methods and Software Engineering: Proc./8th International Conference ICFEM 2006, Macao,China,November 2006 |
2006 |
|
Lecture Notes in Computer Science |
- Liu Zh.
- He J.
|
|
|
10.02.2007 |
СБ |
Theoretical Aspectd of Computing - ICTAC 2004: Revised Selected Papers/First International Symposium. Guiyang, China, September 2004 |
2005 |
|
Lecture Notes in Computer Science |
- Liu Zh.
- Araki K.
|
|
|
26.04.2005 |
СБ |
Theoretical Aspects of Computing - ICTAC 2007: Proc./4th International Colloquium. Macao, China, September 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Jones C. B.
- Liu Zh.
- Woodcock J.
|
|
|
13.02.2008 |
СБ |
Wireless Algorithms, Systems, and Applications, Part I: Proc./16th International Conference, WASA 2021, Nanjing, China, June 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Liu Zh.
- Wu F.
- Das S. K.
|
|
|
12.10.2021 |
СБ |
Wireless Algorithms, Systems, and Applications, Part II: Proc./16th International Conference, WASA 2021, Nanjing, China, June 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Liu Zh.
- Wu F.
- Das S. K.
|
|
|
12.10.2021 |
СБ |
Wireless Algorithms, Systems, and Applications, Part III: Proc./16th International Conference, WASA 2021, Nanjing, China, June 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Liu Zh.
- Wu F.
- Das S. K.
|
|
|
12.10.2021 |