( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of the Ricart-Agrawala Algorithm.

, , и . FSTTCS, том 1974 из Lecture Notes in Computer Science, стр. 325-335. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jacob Ben-Ari

Ari Pouttu

Mordechai Eliav

Krunoslav ari

Ari Rosenblatt

 

Другие публикации лиц с тем же именем

A Simplified Proof That Regular Resolution is Exponential.. Inf. Process. Lett., 10 (2): 96-98 (1980)Students' Attitudes and Motivation During Robotics Activities., , и . WiPSCE, стр. 102-110. ACM, (2015)Robotics Activities-Is the Investment Worthwhile?, и . ISSEP, том 9378 из Lecture Notes in Computer Science, стр. 22-31. Springer, (2015)SyntaxTrain: relieving the pain of learning syntax., , и . ITiCSE, стр. 387. ACM, (2011)Re-engineering a concurrency simulator., и . ITiCSE, стр. 185-188. ACM, (1998)Writing a textbook., , , и . ITiCSE, стр. 94-95. ACM, (2002)DPLab: an environment for distributed programming., и . ITiCSE, стр. 91-94. ACM, (1999)Thinking parallel: the process of learning concurrency., и . ITiCSE, стр. 13-16. ACM, (1999)Bricolage Forever!. PPIG, стр. 12. Psychology of Programming Interest Group, (1999)Using inheritance to implement concurrency.. SIGCSE, стр. 180-184. ACM, (1996)