Статті в журналах з теми "Computer program theory"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Computer program theory".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Middelburg, Cornelis. "Program Algebra for Random Access Machine Programs." Scientific Annals of Computer Science XXXII, no. 2 (December 7, 2022): 285–319. http://dx.doi.org/10.7561/sacs.2022.2.285.
Повний текст джерелаGerkushenko, Svetlana, and Georgy Gerkushenko. "The Play Theory and Computer Games Using in Early Childhood Education." International Journal of Game-Based Learning 4, no. 3 (July 2014): 47–60. http://dx.doi.org/10.4018/ijgbl.2014070105.
Повний текст джерелаHENRY, SHAWN R., and JEFFREY R. WEEKS. "SYMMETRY GROUPS OF HYPERBOLIC KNOTS AND LINKS." Journal of Knot Theory and Its Ramifications 01, no. 02 (June 1992): 185–201. http://dx.doi.org/10.1142/s0218216592000100.
Повний текст джерелаZhu, Ming-Yuan. "Program transformation in constructive type theory." ACM SIGPLAN Notices 30, no. 1 (January 3, 1995): 11–19. http://dx.doi.org/10.1145/199818.199833.
Повний текст джерелаPittenger, David J. "Perception Laboratory: A Computer Program to Demonstrate Perceptual Phenomena." Teaching of Psychology 23, no. 1 (February 1996): 46–48. http://dx.doi.org/10.1207/s15328023top2301_12.
Повний текст джерелаBurnett, R. B., and A. P. Schwab. "A computer program to aid in teaching diffuse layer theory." Journal of Agronomic Education 16, no. 1 (March 1987): 30–33. http://dx.doi.org/10.2134/jae1987.0030.
Повний текст джерелаPavelcik, Frantisek. "Phased rotation, conformation and translation function: theory and computer program." Journal of Applied Crystallography 39, no. 4 (July 15, 2006): 483–86. http://dx.doi.org/10.1107/s0021889806013008.
Повний текст джерелаVessey, Iris. "Toward a theory of computer program bugs: an empirical test." International Journal of Man-Machine Studies 30, no. 1 (January 1989): 23–46. http://dx.doi.org/10.1016/s0020-7373(89)80019-7.
Повний текст джерелаLuo, Zhaohui. "Program specification and data refinement in type theory." Mathematical Structures in Computer Science 3, no. 3 (September 1993): 333–63. http://dx.doi.org/10.1017/s0960129500000256.
Повний текст джерелаShange, Thembeka. "The Possible Role of the English Word Power (EWP) Program in Motivating ICT Foundation Students to Learn English at a University of Technology in South Africa." International Journal of Applied Linguistics and English Literature 10, no. 5 (September 30, 2021): 28. http://dx.doi.org/10.7575/aiac.ijalel.v.10n.5p.28.
Повний текст джерелаBougé, Luc. "A contribution to the theory of program testing." Theoretical Computer Science 37 (1985): 151–81. http://dx.doi.org/10.1016/0304-3975(85)90090-8.
Повний текст джерелаJIN, XIAN'AN, and FUJI ZHANG. "ON COMPUTING KAUFFMAN BRACKET POLYNOMIAL OF MONTESINOS LINKS." Journal of Knot Theory and Its Ramifications 19, no. 08 (August 2010): 1001–23. http://dx.doi.org/10.1142/s0218216510008297.
Повний текст джерелаBeck, Cheryl T., and Robert K. Gable. "Item Response Theory in Affective Instrument Development: An Illustration." Journal of Nursing Measurement 9, no. 1 (May 2001): 5–22. http://dx.doi.org/10.1891/1061-3749.9.1.5.
Повний текст джерелаWeng, Juyang. "Autonomous Programming for General Purposes: Theory." International Journal of Humanoid Robotics 17, no. 04 (August 2020): 2050016. http://dx.doi.org/10.1142/s0219843620500164.
Повний текст джерелаVoevodin, V. V. "Supercomputing technologies in the digital world: theory, practice, education." Вестник Российской академии наук 89, no. 4 (April 24, 2019): 351–54. http://dx.doi.org/10.31857/s0869-5873894351-354.
Повний текст джерелаWidodo, Catur Edi. "VIRTUAL LABORATORY OF THIN LENSES USING ANDROID SMARTPHONE WITH PYTHON PROGRAMMING." International Journal of Innovative Research in Advanced Engineering 9, no. 5 (May 31, 2022): 128–32. http://dx.doi.org/10.26562/ijirae.2022.v0905.05.
Повний текст джерелаLiang, Hui Yi, and Chih Chien Yang. "Computer Assisted Language Learning and Gray Model for Promoting Phonics Learning in Continuing Education." Applied Mechanics and Materials 284-287 (January 2013): 3554–58. http://dx.doi.org/10.4028/www.scientific.net/amm.284-287.3554.
Повний текст джерелаPetersson, Kent, and Jan M. Smith. "Program derivation in type theory: A partitioning problem." Computer Languages 11, no. 3-4 (January 1986): 161–72. http://dx.doi.org/10.1016/0096-0551(86)90009-3.
Повний текст джерелаBollinger, Terry. "Fundamental As Fewer Bits." Terry's Archive Online 2018, no. 01 (February 8, 2021): 0122. http://dx.doi.org/10.48034/20180122.
Повний текст джерелаAzmi, Ahmad Faza. "Structural Analysis Program Using Direct Stiffness Method for The Design of Reinforced Concrete Column." JEECS (Journal of Electrical Engineering and Computer Sciences) 2, no. 1 (June 30, 2017): 183–90. http://dx.doi.org/10.54732/jeecs.v2i1.161.
Повний текст джерелаLepperhoff, Niels. "Dreamscape Testing the Rational Choice Theory." Advances in Complex Systems 03, no. 01n04 (January 2000): 209–20. http://dx.doi.org/10.1142/s0219525900000169.
Повний текст джерелаWang, Guangming, Hao Zhang, Xiaoyu Li, Jiabo Wang, Xiaohui Zhang, and Guoqiang Fan. "Computer-aided synthesis of spherical and planar 4R linkages for four specified orientations." Mechanical Sciences 10, no. 1 (June 25, 2019): 309–20. http://dx.doi.org/10.5194/ms-10-309-2019.
Повний текст джерелаGreenfield, Gary R. "Art by computer program == programmer creativity." Digital Creativity 17, no. 1 (January 2006): 25–35. http://dx.doi.org/10.1080/14626260600665694.
Повний текст джерелаNazar Muneam Mahmood. "COMPUTER PROGRAM TO PREDICT PERFORMANCE OF FAST RUNNING HORIZONTAL AXIS WIND TURBINE TO REACHING THE OPTIMUM DESIGN." Diyala Journal of Engineering Sciences 4, no. 2 (December 1, 2011): 57–71. http://dx.doi.org/10.24237/djes.2011.04205.
Повний текст джерелаBrennan, Susan E. "Caricature Generator: The Dynamic Exaggeration of Faces by Computer." Leonardo 40, no. 4 (August 2007): 392–400. http://dx.doi.org/10.1162/leon.2007.40.4.392.
Повний текст джерелаHenson, Martin C. "Program development in the constructive set theory TK." Formal Aspects of Computing 1, no. 1 (March 1989): 173–92. http://dx.doi.org/10.1007/bf01887204.
Повний текст джерелаLin, Fangzhen. "Parameterized Logical Theories." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 7 (May 18, 2021): 6402–9. http://dx.doi.org/10.1609/aaai.v35i7.16794.
Повний текст джерелаKAMEYAMA, YUKIYOSHI. "A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS." International Journal of Foundations of Computer Science 06, no. 03 (September 1995): 203–34. http://dx.doi.org/10.1142/s0129054195000147.
Повний текст джерелаHuang, Xue Zheng, Yang Tao Liu, and Lei Zhang. "The Computer Simulation of the Acid-Base Titration." Advanced Materials Research 634-638 (January 2013): 20–24. http://dx.doi.org/10.4028/www.scientific.net/amr.634-638.20.
Повний текст джерелаDUDA, P., J. GRABSKI, J. KOTUR, W. PERYT, L. PROBOSZCZ, Z. ZYLA, and R. KUPCZAK. "Computer Aided Physical Laboratory in CAMAC System." International Journal of Modern Physics C 02, no. 01 (March 1991): 337–42. http://dx.doi.org/10.1142/s0129183191000445.
Повний текст джерелаMeier, Scott T., and James P. Sampson. "Use of Computer-Assisted Instruction in the Prevention of Alcohol Abuse." Journal of Drug Education 19, no. 3 (September 1989): 245–56. http://dx.doi.org/10.2190/ktgd-qwgt-qcnh-t2c9.
Повний текст джерелаGuglielmetti, R. "CoxIter – Computing invariants of hyperbolic Coxeter groups." LMS Journal of Computation and Mathematics 18, no. 1 (2015): 754–73. http://dx.doi.org/10.1112/s1461157015000273.
Повний текст джерелаDavidson, MG, RL Dewar, HJ Gardner, and J. Howard. "Hamiltonian Maps for Heliac Magnetic Islands." Australian Journal of Physics 48, no. 5 (1995): 871. http://dx.doi.org/10.1071/ph950871.
Повний текст джерелаRzasinski, Rafal. "Databases Model for Determining of Technological Features Based on the Theory of Technological Similarity." Advanced Materials Research 1036 (October 2014): 891–96. http://dx.doi.org/10.4028/www.scientific.net/amr.1036.891.
Повний текст джерелаMORIARTY, K. J. M., and T. TRAPPENBERG. "PROGRAMMING TOOLS FOR PARALLEL COMPUTERS." International Journal of Modern Physics C 04, no. 06 (December 1993): 1285–94. http://dx.doi.org/10.1142/s0129183193001002.
Повний текст джерелаVančík, Vladimír, and Milan Jirásek. "Computer-Aided Plastic Limit Analysis of Plates." Applied Mechanics and Materials 821 (January 2016): 547–54. http://dx.doi.org/10.4028/www.scientific.net/amm.821.547.
Повний текст джерелаYou, Yong Bin, Shan Shan Zhao, Rui Jun Jing, and Li Yan Liu. "Embedded Computer Performance Evaluation Model Based on Weight Contact Coefficient." Advanced Materials Research 951 (May 2014): 208–13. http://dx.doi.org/10.4028/www.scientific.net/amr.951.208.
Повний текст джерелаKuokkala, V. T. "Computer simulation of transmission electron micrographs by microscope for windows." Proceedings, annual meeting, Electron Microscopy Society of America 54 (August 11, 1996): 126–27. http://dx.doi.org/10.1017/s0424820100163095.
Повний текст джерелаHorsman, D. C. "Abstraction/Representation Theory for heterotic physical computing." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373, no. 2046 (July 28, 2015): 20140224. http://dx.doi.org/10.1098/rsta.2014.0224.
Повний текст джерелаKaras, S. I., K. S. Brazovsky, and A. V. Konev. "The methodology of development of computer learning programs in higher medical education." Bulletin of Siberian Medicine 1, no. 2 (June 30, 2002): 59–64. http://dx.doi.org/10.20538/1682-0363-2002-2-59-64.
Повний текст джерелаZullini, Aldo, and Giuseppe Manganelli. "A new computer program for nematode identification." Bioinformatics 5, no. 3 (1989): 243–44. http://dx.doi.org/10.1093/bioinformatics/5.3.243.
Повний текст джерелаMaia, Bruno, and Joao P. A. R. Cunha. "Computer program for distance learning of pesticide application technology." Anais da Academia Brasileira de Ciências 83, no. 4 (October 7, 2011): 1413–20. http://dx.doi.org/10.1590/s0001-37652011005000038.
Повний текст джерелаZielenkiewicz, Maciej, and Aleksy Schubert. "Automata theory approach to predicate intuitionistic logic." Journal of Logic and Computation 32, no. 3 (November 16, 2021): 554–80. http://dx.doi.org/10.1093/logcom/exab069.
Повний текст джерелаMeier, Barbara. "BUCOLIC: A Program for Teaching Color Theory to Art Students." IEEE Computer Graphics and Applications 5, no. 7 (1985): 57–65. http://dx.doi.org/10.1109/mcg.1985.276464.
Повний текст джерелаLi, Xiao Bin, and De Rong Jiang. "Study on CAPP System Based on Rough Set Theory." Advanced Materials Research 219-220 (March 2011): 1060–63. http://dx.doi.org/10.4028/www.scientific.net/amr.219-220.1060.
Повний текст джерелаBaryshnikov, Pavel N. "Extension of Critical Programs of the Computational Theory of Mind." Filozofia i Nauka Zeszyt specjalny, no. 10 (May 10, 2022): 263–74. http://dx.doi.org/10.37240/fin.2022.10.zs.12.
Повний текст джерелаBendor, Jonathan, Terry M. Moe, and Kenneth W. Shotts. "Recycling the Garbage Can: An Assessment of the Research Program." American Political Science Review 95, no. 1 (March 2001): 169–90. http://dx.doi.org/10.1017/s0003055401000041.
Повний текст джерелаMa, Ce, Heewon Lee, and David M. Lubman. "Computer Simulation of the Operation of a Three-Dimensional Quadrupole Ion Trap." Applied Spectroscopy 46, no. 12 (December 1992): 1769–79. http://dx.doi.org/10.1366/0003702924123458.
Повний текст джерелаShu-Xia, Yin, Wang Yan, and Feng Wen-Lin. "A Computer Program for Quantized Calculation of Thermal Rate Constants of Unified Statistical Theory." Acta Physico-Chimica Sinica 14, no. 03 (1998): 232–36. http://dx.doi.org/10.3866/pku.whxb19980308.
Повний текст джерелаGardner, Rick M., and Russel Boice. "A computer program to generate signal-detection theory values for sensitivity and response bias." Behavior Research Methods, Instruments, & Computers 18, no. 1 (January 1986): 54–56. http://dx.doi.org/10.3758/bf03200997.
Повний текст джерела