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