Personensuche
X
?
Recent Strategies in High Risk Surgery ,
1
Illicit Drugs and Candidates for Endoscopy and Surgery:
, In:
?
2
Analysis, Verification and Transformation for Declarative P..
Lecture Notes in Computer Science, 13160
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
3
Transforming Big-Step to Small-Step Semantics Using Interpr..:
, In:
?
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
9
Detecting and diagnosing energy issues for mobile applicati..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
11
A General Framework for Static Cost Analysis of Parallel Lo..:
, In:
?
14
Functional and Logic Programming
14th International Symposium, FLOPS 2018, Nagoya, Japan, Ma...
Lecture Notes in Computer Science ; 10818;Theoretical Computer Science and General Issues ; 10818;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
15
Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, ...
Lecture Notes in Computer Science ; 10855;Theoretical Computer Science and General Issues ; 10855;SpringerLink, Bücher