Academic literature on the topic 'Development Program; Mathematical'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Development Program; Mathematical.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Development Program; Mathematical"
LI, JIANXIN, and ARUN LAKHOTIA. "USING MATHEMATICAL INDUCTION IN SYSTEMATIC PROGRAM DEVELOPMENT." International Journal of Software Engineering and Knowledge Engineering 04, no. 04 (1994): 561–74. http://dx.doi.org/10.1142/s0218194094000271.
Full textOdil Kizi, Urolbaeva Shokhsanam. "THE CONTENT OF MATHEMATICAL DEVELOPMENT OF PRESCHOOLERS." International Journal of Pedagogics 03, no. 03 (2023): 37–39. http://dx.doi.org/10.37547/ijp/volume03issue03-07.
Full textSidneva, Anastasia N., Margarita S. Aslanova, and Darya A. Bukhalenkova. "FEATURES OF THE DEVELOPMENT OF MATHEMATICAL SKILLS OF FIRST-GRADERS IN DIFFERENT EDUCATIONAL PROGRAMS." Moscow University Psychology Bulletin, no. 3 (2022): 119–44. http://dx.doi.org/10.11621/vsp.2022.03.07.
Full textRamos-Rodríguez, Elisabeth, Elvira Fernández-Ahumada, and Astrid Morales-Soto. "Effective Teacher Professional Development Programs. A Case Study Focusing on the Development of Mathematical Modeling Skills." Education Sciences 12, no. 1 (2021): 2. http://dx.doi.org/10.3390/educsci12010002.
Full textHeo, Nam Gu. "Development and Application of STEAM Program for Mathematical Inquiry based on Conical Anamorphosis." Korean Association For Learner-Centered Curriculum And Instruction 24, no. 22 (2024): 285–98. http://dx.doi.org/10.22251/jlcci.2024.24.22.285.
Full textA.Sh., Fazilov, and Azimdjanova M.T. "DEVELOPMENT OF A MATHEMATICAL MODEL OF THE INFORMATION SYSTEM USING SIMULATION MODELING." CENTRAL ASIAN JOURNAL OF EDUCATION AND COMPUTER SCIENCES (CAJECS) 1, no. 1 (2022): 38–42. https://doi.org/10.5281/zenodo.7256125.
Full textGustiningsi, Tria, Ratu Ilma Indra Putri, Zulkardi, and Hapizah. "LEPscO: Mathematical literacy learning environment for the Guru Penggerak program." Journal on Mathematics Education 15, no. 2 (2024): 661–82. http://dx.doi.org/10.22342/jme.v15i2.pp661-682.
Full textSemenov, Alexander, Yuri Bebikhov, Mariya Semenova, and Ilya Yakushev. "Development of a program for mathematical modeling of molecular dynamics processes." E3S Web of Conferences 371 (2023): 03077. http://dx.doi.org/10.1051/e3sconf/202337103077.
Full textGates, Miriam, and Lillie Albrt. "Considering Opportunities for Mathematical Magic." Journal of Mathematics Education at Teachers College 15, no. 1 (2024): 13–22. http://dx.doi.org/10.52214/jmetc.v15i1.12284.
Full textCrossley, John, and Iman Poernomo. "Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs." JUCS - Journal of Universal Computer Science 7, no. (1) (2001): 71–88. https://doi.org/10.3217/jucs-007-01-0071.
Full textDissertations / Theses on the topic "Development Program; Mathematical"
Wilson, Boyd L. Plantholt Michael. "The development and evaluation of an instructional program in statistical literacy for use in post-secondary education." Normal, Ill. Illinois State University, 1994. http://wwwlib.umi.com/cr/ilstu/fullcit?p9521347.
Full textChedister, Matthew. "The effects of a professional development program on teachers' beliefs and teaching of mathematical proofs." Thesis, Boston University, 2013. https://hdl.handle.net/2144/10961.
Full textSriwiriyarat, Tongchai. "Computer Program Development for the Design of IFAS Wastewater Treatment Processes." Thesis, Virginia Tech, 1999. http://hdl.handle.net/10919/32065.
Full textAckerman, Charlotte Christene. "Providing mechanical support for program development in a weakest precondition calculus." Thesis, Stellenbosch : Stellenbosch University, 1993. http://hdl.handle.net/10019.1/79317.
Full textHayata, Carole Anne. "The Development of Algebraic Reasoning in Undergraduate Elementary Preservice Teachers." Thesis, University of North Texas, 2012. https://digital.library.unt.edu/ark:/67531/metadc177211/.
Full textBowers, Stephen. "The development of a mathematical model and computer program for simulating the injection moulding of thermosetting elastomer materials." Thesis, Loughborough University, 1990. https://dspace.lboro.ac.uk/2134/10440.
Full textGill, Mandeep Singh. "Application of software engineering methodologies to the development of mathematical biological models." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05.
Full textMiles, Sandra Jennifer. "Sensory and Motor Interventions for Very Early School-age Children: a Cluster Pragmatic Randomised Controlled Trial Examining Effect on Development, Behaviour and Academic Learning Outcomes." Thesis, Australian Catholic University, 2018. https://acuresearchbank.acu.edu.au/download/7a01e0af69ee176b895a5b0693e2e0868cef838dbdaa90830a779a2994c8d835/2059817/MILES_2018_Sensory_and_motor_interventions_for_very.pdf.
Full textRichman, Jessica. "Quantitative approaches to the network problem in program design and evaluation : case study, entrepreneurship." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:6b454558-e7db-4e40-ac90-2fce912c916f.
Full textThames, Geoffrey, and Geoffrey Thames. "Effects of Peer Tutoring on Passing Developmental Mathematics." Diss., The University of Arizona, 2017. http://hdl.handle.net/10150/624554.
Full textBooks on the topic "Development Program; Mathematical"
Broy, Manfred, and Birgit Schieder, eds. Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2.
Full text1949-, Broy M., Schieder Birgit, and NATO Advanced Study Institute on Mathematical Methods in Program Development (1996 : Marktoberdorf, Germany), eds. Mathematical methods in program development. Springer, 1997.
Find full textBroy, Manfred. Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997.
Find full textM, Bruynooghe, and Lau K. K. 1953-, eds. Program development in computational logic: A decade of research advances in logic-based program development. Springer, 2004.
Find full text1954-, Ball Deborah Loewenberg, ed. Mathematical proficiency for all students: Toward a strategic research and development program in mathematics education. RAND, 2003.
Find full textKurfess, Franz. Parallelism in logic: Its potential for performance and program development. Vieweg, 1991.
Find full textStozharova, Marina, Yuliya Sidorova, Leysan Nurtdinova, and Yuliya Pazyaeva. Development of intellectual abilities of older preschool children in various forms of mathematical work. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1989214.
Full textLaboratory, Atmospheric Sciences Research, ed. Contributions of the Fluid Modeling Facility to EPA's complex terrain model development program: Project summary. U.S. Environmental Protection Agency, Atmospheric Sciences Research Laboratory, 1987.
Find full textSnyder, William H. Contributions of the Fluid Modeling Facility to EPA's complex terrain model development program: Project summary. U.S. Environmental Protection Agency, Atmospheric Sciences Research Laboratory, 1987.
Find full textAltinakar, M. S. Computational modeling for the development of sustainable water-resources systems in Poland: US-Poland Technology Transfer Program US-AID award number: EEE-G-00-02-00015-00. Institute of Geophysics, Polish Academy of Science, 2005.
Find full textBook chapters on the topic "Development Program; Mathematical"
Broy, Manfred. "Mathematical Methods in System and Software Engineering." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_20.
Full textGries, David. "Eliminating the Chaff—Again Banquet Speech at Marktoberdorf 1996." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_1.
Full textDijkstra, Edsger W. "My simplest theorem (EWD1232)." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_10.
Full textDijkstra, Edsger W. "The transitive closure of a wellfounded relation (EWD1241)." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_11.
Full textDijkstra, Edsger W. "The formula for sin.(α + β) (EWD1244a)." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_12.
Full textDijkstra, Edsger W. "A kind of converse of Leibniz’s Principle (EWD1245)." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_13.
Full textDijkstra, Edsger W. "The strengths of the academic enterprise (EWD1175)." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_14.
Full textFeijen, W. H. J., and A. J. M. van Gasterenf. "On a Method for the Formal Design of Multiprograms (AvG140/WF231)." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_15.
Full textGries, David. "Foundations for Calculational Logic." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_16.
Full textAbrial, J. R., and L. Mussat. "Specification and Design of a Transmission Protocol by Successive Refinements Using B1." In Mathematical Methods in Program Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60858-2_17.
Full textConference papers on the topic "Development Program; Mathematical"
Young, Paul S. "Development of a Reproducible Ultrasonic Thickness Monitoring Program for Gas Storage Facilities." In CORROSION 2019. NACE International, 2019. https://doi.org/10.5006/c2019-12918.
Full textLucan, D., M. Fulger, Al Woinaroschy, and Ghe Jinescu. "Experimental Research and Mathematical Modelling of the Impurities Concentration Processes into Candu Steam Generator Crevices." In CORROSION 2002. NACE International, 2002. https://doi.org/10.5006/c2002-02520.
Full textMiller, R. F., D. K. Nelsen, K. L. Ebeling, et al. "Recent Advances in the Prediction, Analysis and Treatment of Cyanides in Fluid Catalytic Cracking Units." In CORROSION 1994. NACE International, 1994. https://doi.org/10.5006/c1994-94525.
Full textLarson, Marta. "INFORMAL METHODS FOR EVALUATING STEM (SCIENCE, TECHNOLOGY, ENGINEERING, MATHEMATICS) PROGRAMS." In 19th International Technology, Education and Development Conference. IATED, 2025. https://doi.org/10.21125/inted.2025.0612.
Full textLaitochová, Jitka, Martina Uhlířová, and Eliška Kočařová. "POSSIBILITIES OF DEVELOPMENT OF PUPILS’ MATHEMATICAL LITERACY." In International Conference on Education and New Developments. inScience Press, 2022. http://dx.doi.org/10.36315/2022v1end053.
Full textClark, William H. "The Development of Nomographs Into Mathematical Functions." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/cie-1358.
Full textTamayama, Masato, Hitoshi Arizono, Kenichi Saitoh, and Norio Yoshimoto. "Development of flutter margin prediction program." In 9TH INTERNATIONAL CONFERENCE ON MATHEMATICAL PROBLEMS IN ENGINEERING, AEROSPACE AND SCIENCES: ICNPAA 2012. AIP, 2012. http://dx.doi.org/10.1063/1.4765614.
Full textAbgaryan, Karine. "INTELLIGENT PROGRAM SYSTEMS IN MICROELECTRONICS." In Mathematical modeling in materials science of electronic component. LCC MAKS Press, 2023. http://dx.doi.org/10.29003/m3574.mmmsec-2023/8-14.
Full textHino, Keiko. "Designing Student Learning: A Practical Research Case Study of a Mathematics Professional Development Program." In The 14th International Congress on Mathematical Education. WORLD SCIENTIFIC, 2024. http://dx.doi.org/10.1142/9789811287183_0015.
Full textDube, N. M., and R. Tzoneva. "Development of a Mathematical Model for Ion Exchange Process for Desalination of Water." In 4th International Conference on Control and Automation. Final Program and Book of Abstracts. IEEE, 2003. http://dx.doi.org/10.1109/icca.2003.1595117.
Full textReports on the topic "Development Program; Mathematical"
Seimanond, Kitipat, Parawinee Tangnanthanakan, Waramporn Pejpichestakul, and Bongkoch Yimyam. An Investigation and Development on Retrofit of Crude Preheat Train under Different Kinds of Crude Oils. Chulalongkorn University, 2014. https://doi.org/10.58837/chula.res.2014.79.
Full textSchoen, Robert, Xiaotong Yang, and Gizem Solmaz. Psychometric Report for the 2019 Knowledge for Teaching Early Elementary Mathematics (K-TEEM) Test. Florida State University Libraries, 2021. http://dx.doi.org/10.33009/lsi.1620243057.
Full textRoschelle, Jeremy, Britte Haugan Cheng, Nicola Hodkowski, Julie Neisler, and Lina Haldar. Evaluation of an Online Tutoring Program in Elementary Mathematics. Digital Promise, 2020. http://dx.doi.org/10.51388/20.500.12265/94.
Full textChua, Boon Liang. Justification in Mathematics (JiM). National Institute of Education, Nanyang Technological University, Singapore, 2020. https://doi.org/10.32658/10497/22628.
Full textBilous, Vladyslav V., Volodymyr V. Proshkin, and Oksana S. Lytvyn. Development of AR-applications as a promising area of research for students. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/4409.
Full textAstafieva, Mariia M., Oleksii B. Zhyltsov, and Volodymyr V. Proshkin. E-learning as a mean of forming students' mathematical competence in a research-oriented educational process. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3896.
Full textFrantseva, Anastasiya. The video lectures course "Elements of Mathematical Logic" for students enrolled in the Pedagogical education direction, profile Primary education. Frantseva Anastasiya Sergeevna, 2021. http://dx.doi.org/10.12731/frantseva.0411.14042021.
Full textStriuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3671.
Full textSchoen, Robert C., Wendy S. Bray, Amanda M. Tazaz, and Charity K. Buntin. A Description of the Cognitively Guided Instruction Professional Development Program in Florida: 2013–2020. Florida State University Libraries, 2022. http://dx.doi.org/10.33009/fsu.1643828800.
Full textSchoen, Robert C., Christopher Rhoads, Alexandra Lane Perez, Amanda M. Tazaz, and Walter G. Secada. Impact of Cognitively Guided Instruction on Elementary School Mathematics Achievement: Five Years After the Initial Opportunity. Florida State University Library, 2022. http://dx.doi.org/10.33009/fsu.1653430141.
Full text