Search for persons
X
?
1
Dynamic Logic. New Trends and Applications: Second Internat..
Theoretical Computer Science and General Issues, 12005
?
?
5
High Performance Computing for Computational Science – VECP..
12th International Conference, Porto, Portugal, June 28-30,...
Lecture Notes in Computer Science ; 10150;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
8
Programming Languages
16th Brazilian Symposium, SBLP 2012, Natal, Brazil, Septemb...
Lecture Notes in Computer Science ; 7554;SpringerLink, Bücher
?
9
Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal...
Lecture Notes in Computer Science ; 6921;SpringerLink, Bücher