1
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...
Tam Metin Erişim
Elektronik Ekitap