( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Snuper computer: a computer in instrumentation automaton.

, , , и . AFIPS Spring Joint Computing Conference, том 30 из AFIPS Conference Proceedings, стр. 645-656. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)

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.

Matthew W Crocker

Stephen Mamphey

Stephen Cochrane

Stephen Lachhein

Stephen Wagner

 

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

Verification of Concurrent Systems: Function and Timing., и . PSTV, стр. 401-409. North-Holland, (1982)Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet., и . ACSAC, стр. 405-417. IEEE Computer Society, (2008)The Greenblatt chess program., , и . AFIPS Fall Joint Computing Conference, том 31 из AFIPS Conference Proceedings, стр. 801-810. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)Precise Information Flow Analysis by Program Verification., и . S&P, стр. 74-80. IEEE Computer Society, (1982)A Proposal for a Verification-Based Virus Filter., и . S&P, стр. 319-324. IEEE Computer Society, (1989)A multiprocessor description language., , и . AFIPS National Computer Conference, том 50 из AFIPS Conference Proceedings, стр. 19-25. AFIPS Press, (1981)Learning to Network.. IEEE Ann. Hist. Comput., 41 (2): 42-47 (2019)Snuper computer: a computer in instrumentation automaton., , , и . AFIPS Spring Joint Computing Conference, том 30 из AFIPS Conference Proceedings, стр. 645-656. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)Unwinding and the LOCK Proof Referees Study., , и . CSFW, стр. 9-21. IEEE Computer Society, (1992)Software methodology for development of a trusted BMS: identification of critical problems., и . ACSAC, стр. 148-165. IEEE, (1989)