1
出版事項 2006
目次: ...: Boxes and Sharing in the Graphical Presentation of Deductions -- The Structure of Tractable Constraint...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ... -- Towards Practical Computable Functions on Context-Free Languages -- The Extended Probabilistic Powerdomain...
全文の入手
電子媒体 eBook
3
目次: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
全文の入手
電子媒体 eBook
4
著者: Ahlswede, Rudolf., Ahlswede, Rudolf.
出版事項 2015
目次: ....Algorithms for Computing Channel Capacities and Rate-distortion Functions -- 3.Shannon’s Model for Continuous...
全文の入手
電子媒体 eBook
5
著者: Ahlswede, Rudolf., Ahlswede, Rudolf.
出版事項 2014
目次: ....Coding Theorems and Converses for the DMC -- 6.Towards Capacity Functions -- 7.Error Bounds -- Part III...
全文の入手
電子媒体 eBook