Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Katz, Doron"'
Autor:
Katz, Doron Z, Lewis, Blair S
Publikováno v:
In The American Journal of Gastroenterology 2002 97(9) Supplement:S300-S300
Publikováno v:
Econometrica; Jul2018, Vol. 86 Issue 4, p1431-1463, 33p
Publikováno v:
Asian Journal of Andrology; Jul2011, Vol. 13 Issue 4, p605-606, 2p
Autor:
Giuseppe Caforio
There could be no better homage to recently deceased sociologist Charles C. Moskos than dedicating to him this selection of the papers presented at RC01's international conference in Seoul (July 2008). It offers an up-to-date view of the panorama of
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When
Autor:
Tevfik Bultan, Pao-Ann Hsiung
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.The 23 revised regular papers presented together with 5 invite
Autor:
Ganesh Gopalakrishnan, Shaz Qadeer
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully re