Výsledky vyhľadávania - ((((programové OR programm) OR programm) OR programovací) OR programovanie) system informally

Vaccination Programmes : Epidemiology, Monitoring, Evaluation

Autori: Susan Hahné Kaatje Bollaerts Paddy Farrington

Typ zdroja: eBook.

Predmet: Evaluation, Vaccines, Vaccination, Monitoring, Epidemiology

Kategórie: MEDICAL / Public Health, MEDICAL / Infectious Diseases, MEDICAL / Health Care Delivery, SOCIAL SCIENCE / Social Work

Proofs and Research Programmes: Lakatos at 100

Autori: Roman Frigg J. McKenzie Alexander Laurenz Hudetz a ďalší

Typ zdroja: eBook.

Predmet: Science--History, Science--Philosophy, Mathematics--Philosophy, Analysis (Philosophy)

Kategórie: SCIENCE / Philosophy & Social Aspects

Youth Employment Programmes in Africa

Autori: Ramos E. Mabugu Lucas Ronconi

Typ zdroja: eBook.

Predmet: Manpower policy--Africa, Sub-Saharan, Economic policy, Youth--Employment--Africa, Sub-Saharan

Kategórie: SOCIAL SCIENCE / Cultural & Ethnic Studies / African Studies, BUSINESS & ECONOMICS / Development / Business Development, BUSINESS & ECONOMICS / Development / Economic Development

Distribution System Operation: Flexibility Services

Autori: Avinash Aithal Andrew Wainwright Steve Atkins

Typ zdroja: eBook.

Predmet: Renewable energy sources, Mathematical optimization, Electric power distribution, Power resources

Kategórie: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

The Essentials of Managing Programmes

Autori: John Bartlett

Typ zdroja: eBook.

Predmet: Risk management--Handbooks, manuals, etc, Project management--Handbooks, manuals, etc

Kategórie: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Project Management

In island containment: a qualitative exploration of social support systems among asylum seekers in a mental health care programme on Lesvos Island, Greece

Autori: Episkopou, Maria Venables, Emilie Whitehouse, Katherine a ďalší

Predmety: Social support, Qualitative research, Operational research, Migrants, Asylum seekers, Containment, Isolation

Popis súboru: application/pdf

Relation: https://hdl.handle.net/11427/30685

Dostupnosť: https://hdl.handle.net/11427/30685
https://doi.org/10.1186/s13031-019-0218-9

“I wish I had known from start but somehow had to learn hard way”: reflections on their integrated care journey

Autori: Contel Segura, Juan Carlos Zabala Rementeria, Igor

Zdroj: International Journal of Integrated Care; Vol. 25 (2025): 24th International Conference on Integrated Care, Belfast –22-24 April 2024; 369 ; 1568-4156

Popis súboru: application/pdf

Relation: https://account.ijic.org/index.php/up-j-ijic/article/view/9757/10547

Dostupnosť: https://account.ijic.org/index.php/up-j-ijic/article/view/9757
https://doi.org/10.5334/ijic.ICIC24570

Vocabulary Enrichment Programme : Enhancing the Learning of Vocabulary in Children

Autori: Victoria Joffe

Typ zdroja: eBook.

Predmet: LC3965

Kategórie: EDUCATION / General, EDUCATION / Special Education / General

Jean-François Geleyn, fondateur et premier directeur de programme d'Aladin

Autori: Termonia, Piet Pottier, Patricia

Zdroj: LA MÉTÉOROLOGIE ; ISSN: 0026-1181 ; ISSN: 2107-0830

Predmety: Physics and Astronomy, Modèle de prévision, Histoire de la météorologie, Europe, Afrique du Nord, Coopération internationale, Modèle à aire limitée, Zone grise, Hommage, Hirlam, Aladin, Alaro

Popis súboru: application/pdf

Relation: https://biblio.ugent.be/publication/8702980; https://biblio.ugent.be/publication/8702980/file/8702981

Dostupnosť: https://biblio.ugent.be/publication/8702980
http://hdl.handle.net/1854/LU-8702980
https://doi.org/10.37053/lameteorologie-2021-0021
https://biblio.ugent.be/publication/8702980/file/8702981

The Programme and Portfolio Workout : Directing Business-Led Programmes and Portfolios

Autori: Robert Buttrick

Typ zdroja: eBook.

Predmet: Project management

Kategórie: BUSINESS & ECONOMICS / Strategic Planning, BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Project Management, BUSINESS & ECONOMICS / Corporate Governance, BUSINESS & ECONOMICS / Investments & Securities / Portfolio Management

International Encyclopaedia of Computer Science and Technology Volume-8 (Computer Scanner and Antivirus Programmes)

Autori: Rajesh Verma

Typ zdroja: eBook.

Kategórie: COMPUTERS / Computer Science

Approximate constrained lumping of chemical reaction networks.

Autori: Leguizamon-Robayo, Alexander Jiménez-Pastor, Antonio Tribastone, Micro a ďalší

Zdroj: Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; 7/1/2025, Vol. 481 Issue 2317, p1-27, 27p

Predmety: NONLINEAR differential equations, REDUCED-order models, HEURISTIC algorithms, DYNAMIC models, CHEMICAL systems, THERMODYNAMIC state variables, DEPENDENT variables

Negotiating Bioethics : The Governance of UNESCO’s Bioethics Programme

Autori: Adèle Langlois

Typ zdroja: eBook.

Predmet: Medical genetics, International cooperation, Bioethics, Bioethics--International cooperation, Medical ethics--International cooperation, Medical genetics--Law and legislation--International cooperation

Kategórie: POLITICAL SCIENCE / International Relations / General, SCIENCE / Biotechnology, SOCIAL SCIENCE / General, SOCIAL SCIENCE / Sociology / General

Politics and the Environment in Eastern Europe

Autori: Eszter Krasznai Kovacs

Typ zdroja: eBook.

Predmet: Environmental policy--Europe, Eastern, Environmental protection--Europe, Eastern

Kategórie: POLITICAL SCIENCE / Public Policy / Environmental Policy, NATURE / Environmental Conservation & Protection, POLITICAL SCIENCE / World / European

Experiences from COVID-19 and Emergency Remote Teaching for Entrepreneurship Education in Engineering Programmes

Autori: Lambert, Chris Rennie, Allan

Popis súboru: text

Relation: https://eprints.lancs.ac.uk/id/eprint/155865/1/education_11_00282.pdf; Lambert, Chris and Rennie, Allan (2021) Experiences from COVID-19 and Emergency Remote Teaching for Entrepreneurship Education in Engineering Programmes. Educational Sciences, 11: 282. ISSN 2227-7102

Dostupnosť: https://eprints.lancs.ac.uk/id/eprint/155865/
https://eprints.lancs.ac.uk/id/eprint/155865/1/education_11_00282.pdf

Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.

Autori: Ozdemir, Alex Wahby, Riad S. Brown, Fraser a ďalší

Zdroj: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p161-188, 28p

Predmety: FINITE fields, COMPILERS (Computer programs), SOFTWARE validation, ENCRYPTION protocols

Employee Assistance Programmes : Theory and Practical Applications

Autori: Ledimo, Ophillia Martins, Nico

Typ zdroja: eBook.

Predmet: Employee assistance programs

Kategórie: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Industrial Management

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autori: Stephanie Weirich

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Development on Loan : Microcredit and Marginalisation in Rural China

Autori: Nicholas Loubere

Typ zdroja: eBook.

Kategórie: BUSINESS & ECONOMICS / Economics / Microeconomics, BUSINESS & ECONOMICS / Economics / Theory, POLITICAL SCIENCE / Political Economy, SOCIAL SCIENCE / Sociology / Rural

Certification of a Tool Chain for Deductive Program Verification ; Certification d'une chaine de vérification déductive de programmes

Autori: Herms, Paolo Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) Laboratoire de Recherche en Informatique (LRI) a ďalší

Prispievatelia: Herms, Paolo Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) Laboratoire de Recherche en Informatique (LRI) a ďalší

Zdroj: https://theses.hal.science/tel-00789543 ; Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩.

Predmety: Formal verification, Formal methods, Proof assistant, Proof of Programs, Extraction, Code analysis, Coq, Vérification formell, Méthodes formelles, Assistant de preuve, Preuve de programme, Analyse de code, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: NNT: 2013PA112006

Dostupnosť: https://theses.hal.science/tel-00789543
https://theses.hal.science/tel-00789543/document
https://theses.hal.science/tel-00789543/file/VD2_HERMS_PAOLO_14012013.pdf