검색어 : 통합검색[Calculus :]
총 77,364건 중 1,000건 출력
, 4/100 페이지
-
31
- Alias calculus, change calculus and frame inference
- Kogtenkov, A.; Meyer, B.; Velder, S.; ; (Science of computer programming, v.97, 2015, pp.163-172)
-
32
- Translation of Separable Systems into the Lambda Calculus
- 변석우; 경성대학교; (정보과학회논문지 : 시스템 및 이론, v., 35, 2008, pp.178-185)
-
33
- A First Course in the Calculus. Part II
- Jones, Clement; Milne, W. P.; Westcott, G. J. B.; Jones, H. Sydney; Osgood, William F.; ; (The Mathematical gazette, v.10, 1921, pp.381)
-
34
- Sequential calculus
- von Karger, Burghard; Hoare, C.A.R.; ; (Information processing letters, v.53, 1995, pp.123-130)
-
35
- Online Calculus
- Allen, G. Donald; Department of Mathematics, Texas A & M University, College Station, TX, USA; (Computers in the schools, v.17, 2001, pp.17-30)
-
36
- Fermatian Hurwitz series within the Fonten-Jackson calculus
- A.G. Shannon; University of Technology, Sydney; (Advanced Studies in Contemporary Mathematics, v.24, 2014, pp.129-136)
-
37
- IDENTITIES INVOLVING TOUCHARD POLYNOMIALS DERIVED FROM UMBRAL CALCULUS
- O. Herscovici; T. Mansour; ; (Advanced Studies in Contemporary Mathematics, v.25, 2015, pp.39-46)
-
38
- A Calculus for Cryptographic Protocols: The Spi Calculus
- Abadi, Martı́ n; Gordon, Andrew D.; Systems Research Center, Digital Equipment Corporation, Palo Alto, California; Computer Laboratory, University of Cambridge, Cambridge, United Kingdom; (Information and computation, v.148, 1999, pp.1-70)
-
39
- Calculus after High School Calculus
- Small, D.; ; (MAA notes, v.1998, 1998, pp.47-56)
-
40
- Translating γ-Calculus into Action Calculus
- Jin, Ying; Jin, Chengzhi; College of Computer Science and Technology, Jilin University; College of Computer Science and Technology, Jilin University; (軟件學報 = Journal of software, v.14, 2003, pp.16-22)
QUICK MENU
