1
Julkaistu 2007
Sisällysluettelo: ... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2015
Sisällysluettelo: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... -- Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views -- Data Mining...
Hae kokoteksti
Elektroninen E-kirja