1
Julkaistu 2007
Sisällysluettelo: .../Systems -- Visualization of Permission Checks in Java Using Static Analysis -- Deployment of Virtual...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2008
Sisällysluettelo: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Hae kokoteksti
Elektroninen E-kirja
5
Sisällysluettelo: ... JavaScript Easier -- ASP.NET AJAX Client Libraries -- Introducing Server Controls in ASP.NET AJAX -- Using...
Hae kokoteksti
Elektroninen E-kirja