1
出版事項 2005
目次: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
全文の入手
電子媒体 eBook
2
出版事項 2007
目次: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
全文の入手
電子媒体 eBook