المؤلفون: Korhonen, Outi, Halme-Tuomisaari, Miia

المصدر: Beijing Law Review. 13(4):864-881

مصطلحات موضوعية: Human Rights, Al-Hol, International Law, Minors, Civilizing Mission, Samhällsvetenskap, Social och ekonomisk geografi, Kulturgeografi, Social Sciences, Social and Economic Geography, Human Geography, Juridik, Juridik och samhälle, Law, Law and Society, Humaniora och konst, Filosofi, etik och religion, Etik, Humanities, Philosophy, Ethics and Religion, Ethics

URL الوصول: https://lup.lub.lu.se/record/39390c03-fda3-4383-b608-509112725846
http://dx.doi.org/10.4236/blr.2022.134057

المؤلفون: Schein, Andrew, Schein, Andrew, שיין, אנדרו

المصدر: BDD - Bekhol Derakhekha Daehu; Journal of Torah and Scholarship. 37 (2023) 51-74

مصطلحات موضوعية: Hol ha-Moed (Jewish law), Commerce (Jewish law), Jewish law -- History

URL الوصول: https://uli.nli.org.il/discovery/search?query=issn,exact,0793-3894&tab=LibraryCatalog&search_scope=MyInstitution&vid=972NNL_ULI_C:MAIN

المؤلفون: סכר, עמיחי, סכר, עמיחי

المصدر: תחומין - תורה, חברה ומדינה; קובץ הלכתי. מג (תשפג) 109-116

مصطلحات موضوعية: Commerce (Jewish law), Teleshopping -- Israel, Hol ha-Moed (Jewish law)

URL الوصول: https://uli.nli.org.il/discovery/search?query=issn,exact,0333-6883&tab=LibraryCatalog&search_scope=MyInstitution&vid=972NNL_ULI_C:MAIN

المؤلفون: עברון, דבורה, עברון, דבורה

المصدر: כותבות הלכה. (2023) 84-92

مصطلحات موضوعية: Hol ha-Moed (Jewish law), Jewish mourning customs (Jewish law)

URL الوصول: https://uli.nli.org.il/discovery/search?query=isbn,exact,9789657086803&tab=LibraryCatalog&search_scope=MyInstitution&vid=972NNL_ULI_C:MAIN

المؤلفون: Zhenjiang Qian, Gaofei Sun, Xiaoshuang Xing, Gaurav Dhiman

المصدر: Digital Communications and Networks, Vol 10, Iss 2, Pp 304-314 (2024)

مصطلحات موضوعية: Theorem proving, Isabelle/HOL, Formal verification, System modeling, Correctness verification, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352864822001602; https://doaj.org/toc/2352-8648

URL الوصول: https://doaj.org/article/025e81e92d114bcaa3a4d9150a2b276d

المؤلفون: Mikaela Heikkilä, Magdalena Kmak

المصدر: Nordic Journal of Migration Research, Vol 15, Iss 2, Pp 4-4 (2024)

مصطلحات موضوعية: al-hol, human rights, securitization, vulnerability, deservingness, Colonies and colonization. Emigration and immigration. International migration, JV1-9480, Communities. Classes. Races, HT51-1595

وصف الملف: electronic resource

Relation: https://account.journal-njmr.org/index.php/uh-j-njmr/article/view/688; https://doaj.org/toc/1799-649X

URL الوصول: https://doaj.org/article/fc470e5f0a2f41d092f1a8a684d3f508

المؤلفون: Eberl, Manuel, Bordg, Anthony, Paulson, Lawrence C., Li, Wenda

المساهمون: Manuel Eberl and Anthony Bordg and Lawrence C. Paulson and Wenda Li

مصطلحات موضوعية: Isabelle/HOL, number theory, complex analysis, formalisation of mathematics

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

Relation: Is Part Of LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.40

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2024.40
https://nbn-resolving.org/urn:nbn:de:0030-drops-207686
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.40

المؤلفون: Hirata, Michikazu

المساهمون: Michikazu Hirata

مصطلحات موضوعية: formalization of mathematics, measure theory, metric spaces, topology, Lévy-Prokhorov metric, Prokhorov’s theorem, Isabelle/HOL

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

Relation: Is Part Of LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.21

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2024.21
https://nbn-resolving.org/urn:nbn:de:0030-drops-207492
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.21

المؤلفون: Ballenghien, Benoît, Wolff, Burkhart

المساهمون: Benoît Ballenghien and Burkhart Wolff

مصطلحات موضوعية: Process-Algebra, Semantics, Concurrency, Computational Models, Theorem Proving, Isabelle/HOL

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

Relation: Is Part Of LIPIcs, Volume 309, 15th International Conference on Interactive Theorem Proving (ITP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.7

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2024.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-207355
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.7

المؤلفون: Brucker, AD, Cameron-Burke, T, Stell, A

مصطلحات موضوعية: Extended Interval Analysis, Program Verification, Formalising Mathematics, Isabelle/HOL

Relation: http://dx.doi.10.5281/zenodo.10424071; https://www.isa-afp.org/entries/Interval_An alysis.html; https://doi.org/10.1145/3644033.3644370; 670002170; http://hdl.handle.net/10871/135268

الاتاحة: http://hdl.handle.net/10871/135268
https://doi.org/10.1145/3644033.3644370

المؤلفون: Thiemann, René, Yamada, Akihisa

المساهمون: René Thiemann and Akihisa Yamada

مصطلحات موضوعية: Isabelle/HOL, pattern matching, term rewriting

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

Relation: Is Part Of LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.27

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2024.27
https://nbn-resolving.org/urn:nbn:de:0030-drops-203566
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.27

المؤلفون: Jones, Elliot, Marmsoler, Diego

المساهمون: Elliot Jones and Diego Marmsoler

مصطلحات موضوعية: Formal Methods, Blockchain, Isabelle/HOL, Consensus, Verification, Theorem Provers

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

Relation: Is Part Of OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.4

الاتاحة: https://doi.org/10.4230/OASIcs.FMBC.2024.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-198692
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.4

المؤلفون: Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia

المصدر: Digital Communications and Networks, Vol 9, Iss 5, Pp 1070-1079 (2023)

مصطلحات موضوعية: Assembly-level verification, Finite automaton, Hoare logic, Isabelle/HOL, Micro-kernel OS, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352864822000451; https://doaj.org/toc/2352-8648

URL الوصول: https://doaj.org/article/91d837aa85794e09a3816ad95807affb

المؤلفون: Watt, Conrad

المساهمون: Sewell, Peter

مصطلحات موضوعية: WebAssembly, mechanisation, Isabelle/HOL, virtual machine, programming language semantics, WasmCert

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.841287

المؤلفون: Brucker, AD, Ait-Sadoune, I, Méric, N, Wolff, B

مصطلحات موضوعية: Ontologies, Formal Development, Software Engineering, Certifictation, Isabelle/HOL, Generic Classes, Ontology Mapping, Formal Documents, Certification

Relation: Article 103231; http://hdl.handle.net/10871/138693; Science of Computer Programming

الاتاحة: http://hdl.handle.net/10871/138693
https://doi.org/10.1016/j.scico.2024.103231

المؤلفون: Lagus, Laura, Heino, Eveliina, Katisko, Marja

المساهمون: Social Work, Helsinki Inequality Initiative (INEQ)

مصطلحات موضوعية: 5145 Social work, al-Hol refugee camp, children, discourse analysis, Eastern Syria, social constructionism

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

Relation: Lagus , L , Heino , E & Katisko , M 2023 , ' Representations of Unwelcomed Children : Public Discussion in Helsingin Sanomat Newspaper about Finnish Children Living in Camp of al-Hol in Eastern Syria in 2019 ' , Critical social work , vol. 24 , no. 1 , pp. 59-78 . https://doi.org/10.22329/csw.v24i1.7855; ORCID: /0000-0001-5410-1374/work/137441354; 8a84a718-f4d6-4724-b332-901d586079b4; http://hdl.handle.net/10138/572749

الاتاحة: http://hdl.handle.net/10138/572749

المؤلفون: Shavkatova, Munisa, Rashidova, U.

المصدر: TA'LIM VA RIVOJLANISH TAHLILI ONLAYN ILMIY JURNALI; Vol. 4 No. 8 (2024): ТАЪЛИМ ВА РИВОЖЛАНИШ ТАҲЛИЛИ ОНЛАЙН ИЛМИЙ ЖУРНАЛИ; 68-72 ; 2181-2624

مصطلحات موضوعية: Otlarda kelishiklar kategoriyasi, bosh kelishik, qaratqich kelishigi, tushum kelishigi, Jo‘nalish kelishigi, o‘rin-payt kelishigi, chiqish kelishigi, belgili va belgisiz kelishiklar, gap bo‘laklari, to‘ldiruvchi, aniqlovchi, hol

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

Relation: https://sciencebox.uz/index.php/ajed/article/view/11657/10787; https://sciencebox.uz/index.php/ajed/article/view/11657/10794; https://sciencebox.uz/index.php/ajed/article/view/11657

الاتاحة: https://sciencebox.uz/index.php/ajed/article/view/11657

المؤلفون: Abdullayeva Dilnoza Mahmarejab qizi

المصدر: JOURNAL OF INNOVATIONS IN SCIENTIFIC AND EDUCATIONAL RESEARCH; Vol. 7 No. 6 (2024): JOURNAL OF INNOVATIONS IN SCIENTIFIC AND EDUCATIONAL RESEARCH; 246-249

مصطلحات موضوعية: qoldiq, taqqoslama, bo‘linish belgisi, Paskal, modul, xususiy hol

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

Relation: https://bestpublication.org/index.php/jaj/article/view/12568/12410; https://bestpublication.org/index.php/jaj/article/view/12568

الاتاحة: https://bestpublication.org/index.php/jaj/article/view/12568

المؤلفون: Brucker, Achim, Ait-Sadoune, Idir, Méric, Nicolas, Wolff, Burkhart

المساهمون: University of Exeter, Centrale Supelec, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, This development was partially supported by the contracts OVH and SVR of the IRT SystemX.

المصدر: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.science/hal-04840010 ; Science of Computer Programming, 2025, 241, pp.103231. ⟨10.1016/J.SCICO.2024.103231⟩.

مصطلحات موضوعية: Ontologies, Ontology mapping, Formal development, Formal documents, Isabelle/HOL, Software engineering, Certification, [INFO]Computer Science [cs]

الاتاحة: https://hal.science/hal-04840010
https://doi.org/10.1016/J.SCICO.2024.103231

المؤلفون: Butler, David Thomas

المساهمون: Aspinall, David, Gascon, Adria

مصطلحات موضوعية: 005.8, formal verification, cryptography, Isabelle/HOL

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.814924