1
Argitaratua 2014
Aurkibidea: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2015
Aurkibidea: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2007
Aurkibidea: ... Discovery in Credit Risk Management: Estimation of Chain Reaction Bankruptcy Structure by Directed KeyGraph...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2013
Aurkibidea: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Testu osoa
Baliabide elektronikoa eBook