?
1
Theoretical Aspects of Computing – ICTAC 2022: 19th Interna..
Lecture Notes in Computer Science, 13572
?
2
Engineering Trustworthy Software Systems: 5th International..
Programming and Software Engineering, 12154
?
3
Engineering Trustworthy Software Systems: 4th International..
Programming and Software Engineering, 11430
?
4
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, A...
Programming and Software Engineering ; 11174;SpringerLink, Bücher
?
5
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, ...
Lecture Notes in Computer Science ; 10215;SpringerLink, Bücher
?
6
Engineering Trustworthy Software Systems
First International School, SETSS 2014, Chongqing, China, S...
Lecture Notes in Computer Science ; 9506;Programming and Software Engineering ; 9506;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
7
Dependable Software Engineering: Theories, Tools, and Appli..
First International Symposium, SETTA 2015, Nanjing, China, ...
Lecture Notes in Computer Science ; 9409;SpringerLink, Bücher
?
8
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, O...
Lecture Notes in Computer Science ; 8348;SpringerLink, Bücher
?
9
Mechanical and electronics engineering VI: selected, peer r..
Applied Mechanics and Materials, Volume 654
?
10
Unifying Theories of Programming and Formal Engineering Met..
International Training School on Software Engineering, Held...
Lecture Notes in Computer Science ; 8050;SpringerLink, Bücher
?
11
Theoretical Aspects of Computing – ICTAC 2013
10th International Colloquium, Shanghai, China, September 4...
Lecture Notes in Computer Science ; 8049;SpringerLink, Bücher
?
12
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th B...
Lecture Notes in Computer Science ; 8051;SpringerLink, Bücher
?
13
Foundations of Health Informatics Engineering and Systems
First International Symposium, FHIES 2011, Johannesburg, So...
Lecture Notes in Computer Science ; 7151;SpringerLink, Bücher
?
14
Bioreactors: design, properties, and applications
Biotechnology in agriculture, industry and medicine
?
15
Automated technology for verification and analysis
7th international symposium, ATVA 2009, Macao, China, Octob...
Lecture notes in computer science ; 5799