1
出版事項 2012
目次: ...Part I Theory and Experiment - Why We Need TDDFT -- Part II Basic Theory -- PartIII Advanced...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ...Basic spike train statistics: Point process models -- Stochastic Models of Spike Trains...
全文の入手
電子媒体 eBook
3
著者: Bjørner, Dines., Bjørner, Dines.
出版事項 2006
目次: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
全文の入手
電子媒体 eBook
4
目次: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
全文の入手
電子媒体 eBook
5
著者: Bjørner, Dines., Bjørner, Dines.
出版事項 2006
目次: ... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ... and Function of Anastomosis in Filamentous Ascomycete Fungi -- Heterogenic Incompatibility in Fungi...
全文の入手
電子媒体 eBook
7
出版事項 2008
目次: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
全文の入手
電子媒体 eBook