1
יצא לאור 2005
תוכן הענינים: ... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ... Models: Ordering-Search Versus Structure-Search -- A Simple Lexicographic Ranker and Probability...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני