1
出版事項 2006
目次: ... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ... Functionality -- Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols...
全文の入手
電子媒体 eBook
3
出版事項 2008
目次: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
全文の入手
電子媒体 eBook
4
出版事項 2010
目次: ... -- Leakage-Resilient Pseudorandom Functions and Side-Channel Attacks on Feistel Networks -- Protecting...
全文の入手
電子媒体 eBook
5
出版事項 2007
目次: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
全文の入手
電子媒体 eBook
6
出版事項 2005
目次: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
全文の入手
電子媒体 eBook
7
出版事項 2014
目次: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
全文の入手
電子媒体 eBook
8
出版事項 2007
目次: ... and Hypersurface Singularities -- Lagrangian and Legendrian Singularities -- F-manifolds from Composed Functions...
全文の入手
電子媒体 eBook
9
著者: Kagan, M. Yu., Kagan, M. Yu.
出版事項 2013
目次: ... or two sorts of bosons.- Composed fermions in the Fermi-Bose mixture with attractive interaction between...
全文の入手
電子媒体 eBook