Formalization of Methods in Criminalistics by L. P. Grynko

Subjects: “…formalization…”
Get full text

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

Subjects: “…Formal model…”
Get full text

A Book Review of A History of Philosophy: From Bolzano to Wittgenstein by Abdurrazzaq Hesamifar

Subjects: Get full text

CONCEPT AND MEANS OF FORMALIZING ACTIVITIES IN THE FIELD OF CRIMINAL JUSTICE by Oleksandr Khan

Subjects: “…criminal justice, activity, formalization, means.…”
Get full text

La formalisation des récupérateurs à Bogota et Lima : reconnaître, réguler puis intégrer ? by Mélanie Rateau, Luisa Tovar

Subjects: Get full text

Enjeux de la mutation des techniques artisanales sur la formalisation de l’exploitation de l’or au Burkina Faso by Edith Sawadogo, Dapola Evariste Constant Da†

Subjects: Get full text

Conception of understanding in mathematical proof by V. V. Tselishchev, A. V. Khlebalin

Subjects: Get full text

Formalization of wastepickers in Bogota and Lima: Recognize, regulate, and then integrate? by Mélanie Rateau, Luisa Tovar

Subjects: Get full text

Research on Web service discovery based on user community relations by Hao TIAN, Hong FAN, Wu DU

Subjects: Get full text

Formalization of Organizations of Recyclers by Trade in Bogota: Reflections from Popular Economy by Luisa Fernanda Tovar

Subjects: Get full text

The Current Updates of the Progresses and the Challenges of Recognition of Customary Forests in Indonesia by Rikardo Simarmata

Subjects: Get full text

Initier un pair à une nouvelle pratique professionnelle by Samira Mahlaoui

Subjects: Get full text

Signs of the Times: Medieval Punctuation, Diplomatic Encoding and Rendition by Elisa Cugliana, Gioele Barabucci

Subjects: Get full text

Formal Description of Trusted Bebavior Oriented Security System for Big Data by Zhi Yan, Jing Zhan

Subjects: Get full text

SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

Subjects: Get full text

Legal certainty as a requirement for the formalization of legal norms by Adaskalytsia K.

Subjects: Get full text

Planning of construction supply system in constrained conditions using the dynamic programming method by Ya. D. Ageeva, Yu. A. Chirkunov, A. A. Lapidus

Subjects: Get full text

A NARRATIVE INQUIRY ON HOW TEACHER PROFESSIONAL IDENTITY INFLUENCES TEACHER’S SCHOOL TYPE PREFERENCE by Maria Dewi Rosari

Subjects: Get full text

HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ by Ahmet Çevik

Subjects: Get full text

Research on formal security policy model specification and its formal analysis by LI Li-ping1, QING Si-han1, ZHOU Zhou-yi1, HE Jian-bo1, WEN Hong-zi3

Subjects: Get full text