1
出版事項 2010
目次: ... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
全文の入手
電子媒体 eBook
3
出版事項 2015
目次: ... Recursive Functions by Virus Machines -- About models derived from colonies....
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... and Formal Topology -- Problems as Solutions -- A Useful Undecidable Theory -- On the Computational Power...
全文の入手
電子媒体 eBook