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