1
Baskı/Yayın Bilgisi 2015
İçindekiler: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2006
İçindekiler: ... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...
Tam Metin Erişim
Elektronik Ekitap