http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
James Bret Michael; J. Bret Michael Association for Computing Machinery 1993 p.2
How to give a good research talk
S L Peyton Jones; Simon L. Peyton Jones; John M Hughes; John Hughes; John Launchbury; John Launchbury Association for Computing Machinery 1993 p.9-12
A modest proposal concerning variables and assignment statements
Frank A Adrian; Frank A. Adrian Association for Computing Machinery 1993 p.13-15
Verification of proofs for the B formal development process
Babak Dehbonei; Babak Dehbonei; Fernando Mejia; Fernando Mejia Association for Computing Machinery 1993 p.16-21
Complex Gaussian integers for “Gaussian graphics”
Henry G Baker; Henry G. Baker Association for Computing Machinery 1993 p.22-27
Jose De Oliveira Guimaraes; Jose de Oliveira Guimaraes Association for Computing Machinery 1993 p.28-32
Projecting functional models of imperative programs
Mark Harman; M. Harman; Sebastian Danicic; S. Danicic Association for Computing Machinery 1993 p.33-41
An introduction to the Extended Pascal language
Tony Hetherington; Tony Hetherington Association for Computing Machinery 1993 p.42-51
Heiko Kiessling; Heiko Kießling; Uwe Kruger; Uwe Kruger Association for Computing Machinery 1993 p.52-61