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