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