المؤلفون: Liénardy, Simon

مصطلحات موضوعية: Graphical Loop Invariant, Loop variant, Programming methodology, CAFÉ, Feedback, Feedforward, Challenges, Assessment for Learning, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

الوصول الحر: https://orbi.uliege.be/handle/2268/262846Test

المؤلفون: Vandeloise, Mikel

مصطلحات موضوعية: Programming paradigm, Taxonomy, Imperative programming, Declarative programming, Object-oriented programming, Functional programming, Programming languages, Programming methodology, Software engineering, Collaboration Metrics, Multi-language Development, Academic Research

العلاقة: https://dx.doi.org/10.5281/zenodo.10820019Test; https://dx.doi.org/10.5281/zenodo.10854922Test

الإتاحة: https://doi.org/10.5281/zenodo.1107724110.5281/zenodo.1082001910.5281/zenodo.10854922Test

المؤلفون: Fandinno, Jorge, Lifschitz, Vladimir, Temple, Nathan

المصدر: Computer Science Faculty Publications

مصطلحات موضوعية: theory, specification, analysis and verification of systems, security, logic programming methodology and applications, Computer Sciences

وصف الملف: application/pdf

العلاقة: https://digitalcommons.unomaha.edu/compscifacpub/105Test; https://digitalcommons.unomaha.edu/context/compscifacpub/article/1105/viewcontent/locally_tight_programs.pdfTest

الإتاحة: https://digitalcommons.unomaha.edu/compscifacpub/105Test
https://digitalcommons.unomaha.edu/context/compscifacpub/article/1105/viewcontent/locally_tight_programs.pdfTest

المؤلفون: Endres, Madeline, Sharif, Bonita, Weimer, Westley, Siegmund, Janet

المصدر: DagRep, Volume 12, Issue 10; ISSN 2192-5283

مصطلحات موضوعية: Programming Methodology, Programming Education, Program Comprehension, Neuro-imaging, Eye Tracking, Human Cognition, Human Computer Interaction, Software Engineering, Human Factors

وصف الملف: application/pdf

الإتاحة: https://doi.org/10.4230/DagRep.12.10.61Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-178209Test
https://drops.dagstuhl.de/opus/volltexte/2023/17820Test/

المؤلفون: MGS. EDWIN FERNANDO MEJÍA PEÑAFIEL

المصدر: Russian Law Journal; Vol. 11 No. 3s (2023): Exploring the Intersections of Law and Society: Critical Perspectives on Social Justice and Human Rights ; 2313-7851

مصطلحات موضوعية: Programming, Program, Programming methodology, Statistics, Artificial intelligence, supervised learning, unsupervised learning

وصف الملف: application/pdf

العلاقة: https://www.russianlawjournal.org/index.php/journal/article/view/785/437Test; https://www.russianlawjournal.org/index.php/journal/article/view/785Test

الإتاحة: https://www.russianlawjournal.org/index.php/journal/article/view/785Test

المؤلفون: Zahra Foroozandeh, Sergio Ramos, Joao Soares, Zita Vale

المصدر: IEEE Access, Vol 10, Pp 25341-25348 (2022)

مصطلحات موضوعية: Energy management, goal-programming methodology, multi-objective optimization problem, renewable energy, smart building, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9718326Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/f869d4b924a94d4d8731b4b4fe339dc9Test

المؤلفون: Forouzandeh, Zahra, Ramos, Sergio, Soares, Joao, Vale, Zita

المصدر: IEEE Access 10 25341 - 25348

مصطلحات موضوعية: Energy management, goal-programming methodology, multi-objective optimization problem, renewable energy, smart building

العلاقة: info:eu-repo/grantAgreement/FCT/9471 - RIDTI/PTDC/EEI-EEE/29070/2017/; info:eu-repo/grantAgreement/FCT/CEEC IND 2017/CEECIND/02814/2017/CP1417/CT0002/; https://zenodo.org/record/6770332Test; https://doi.org/10.1109/ACCESS.2022.3153341Test; oai:zenodo.org:6770332

الإتاحة: https://doi.org/10.1109/ACCESS.2022.3153341Test
https://zenodo.org/record/6770332Test

المؤلفون: Dodaro C., Galata G., Kamran Khan M., Maratea M., Porro I.

المساهمون: Dodaro, C., Galata, G., Kamran Khan, M., Maratea, M., Porro, I.

مصطلحات موضوعية: knowledge representation and nonmonotonic reasoning, logic programming methodology and applications

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000889154700004; volume:22; firstpage:229; lastpage:253; numberofpages:25; journal:THEORY AND PRACTICE OF LOGIC PROGRAMMING; https://hdl.handle.net/11567/1103216Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85110619583

الإتاحة: https://doi.org/10.1017/S1471068421000090Test
https://hdl.handle.net/11567/1103216Test

المؤلفون: Bormane, Līga, Gržibovska, Jūlija, Bērziša, Solvita, Grabis, Jānis

المصدر: Information Technology and Management Science; Vol 19, No 1 (2016): Information Technology and Management Science; 57-64 ; 2255-9094 ; 2255-9086

مصطلحات موضوعية: Agile programming methodology, business requirements, requirement elicitation, stakeholders, user requirements analysis, waterfall model

وصف الملف: application/pdf

العلاقة: https://itms-journals.rtu.lv/article/view/itms-2016-0012/2775Test; https://itms-journals.rtu.lv/article/view/itms-2016-0012Test

الإتاحة: https://itms-journals.rtu.lv/article/view/itms-2016-0012Test

المؤلفون: Bidyuk, P.I., Kuznietsova, N.V., Trofymchuk, O.M., Terentiev, O.M., Levenchuk, L.B.

المصدر: KPI Science News; No. 4 (2021); 7-18 ; Научные вести КПИ; № 4 (2021); 7-18 ; Наукові вісті КПІ; № 4 (2021); 7-18 ; 2663-7472 ; 2617-5509

مصطلحات موضوعية: financial processes, financial risks, Bayesian programming methodology, risk estimation

وصف الملف: application/pdf

العلاقة: http://scinews.kpi.ua/article/view/251684/261847Test; http://scinews.kpi.ua/article/view/251684Test

الإتاحة: https://doi.org/10.20535/kpisn.2021.4.251684Test
http://scinews.kpi.ua/article/view/251684Test