1
Julkaistu 2006
Sisällysluettelo: ... Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... Algebra (Invited) -- CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Scheme in Data...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ... Organizations System -- Application of ADMIRE Data Mining and Integration Technologies in Environmental...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2007
Sisällysluettelo: ... -- Implicit Surface Reconstruction from Scattered Point Data with Noise -- The Shannon Entropy-Based Node...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... and Abstract Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data...
Hae kokoteksti
Elektroninen E-kirja