1
Izdano 2006
Kazalo: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Polni tekst
Elektronski eKnjiga
2
Izdano 2005
Kazalo: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Polni tekst
Elektronski eKnjiga
3
Izdano 2010
Kazalo: ... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...
Polni tekst
Elektronski eKnjiga