Cognitive and Brain Aging: Interventions to Promote Well-Being in Old Age. Roadmap for Interventions Preventing Cognitive Aging

DOAB: download the publication
DOAB: description of the publication

Psychological Mechanisms that Affect Economic Decisions to Work Longer

DOAB: download the publication
DOAB: description of the publication

Occupant- Centric Simulation- Aided Building Design Theory, Application, and Case Studies

DOAB: download the publication
DOAB: description of the publication

Analysis of relationship between strength compression and young modulus of red brick and white brick on application of strength and stiffness building construction with linear regr... by Jefrizal Sihombing, Rayhan Farisi R, Risal Ardiansyah P

Connect to this object online.

Best practice criteria of inclusive playground equipment for Children With Disabilities (CWD) / Raja Mohd Aizat Akhmal Raja Mohd Rozuan, Kharizam Ismail and Wan Rabiah Wan Omar by Raja Mohd Rozuan, Raja Mohd Aizat Akhmal, Ismail, Kharizam, Wan Omar, Wan Rabiah

Link Metadata

The level of awareness and application of energy-efficient strategies in landed residences of Melaka suburban / Nurul Atikah Zolkarnain ... [et al.] by Zolkarnain, Nurul Atikah, Ali Ariff, Azlan Ariff, Abdul Jalil, Nurul Amira, Abdul Apet, Rabiatul Adawiyyah

Link Metadata

PENGENDALIAN KUALITAS UNTUK MENGURANGI JUMLAH PRODUK DEFECT PADA PT. OPQ DENGAN METODE LEAN SIX SIGMA DAN FMEA by Umutia Alifah,

Link Metadata

PERLINDUNGAN HUKUM INDIKASI GEOGRAFIS ATAS PRODUK-PRODUK MASYARAKAT LOKAL : Suatu Kajian Atas Hak Kekayaan Intelektual by Agoes Ary Prasetio,

Link Metadata

Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2...

Link to Metadata

Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2...

DOAB: download the publication
DOAB: description of the publication

Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2...

OAPEN Library: download the publication
OAPEN Library: description of the publication

Occupant- Centric Simulation- Aided Building Design Theory, Application, and Case Studies

OAPEN Library: download the publication
OAPEN Library: description of the publication

PENGENDALIAN KUALITAS PRODUK KAIN GREIGE DENGAN METODE QUALITY CONTROL CIRCLE DI PT. APAC INTI CORPORA by Marsya Shadrina,

Link Metadata

ANALISIS KEPATUHAN PEKERJA TERHADAP PENGGUNAAN ALAT PELINDUNG DIRI (APD) PADA PROYEK PESONA SQUARE SOUTH SIDE APARTMENT (SSA) KOTA DEPOK TAHUN 2020 by Desty Safitri,

Link Metadata

Indoor Thermal Comfort

DOAB: download the publication
DOAB: description of the publication

Novel Analysis on Aroma Compounds of Wine, Vinegar and Derived Products

DOAB: download the publication
DOAB: description of the publication

Implementing Industry 4.0 in SMEs Concepts, Examples and Applications /

Table of Contents: “…A Case Study: Industry 4.0 and Human Factors in SMEs -- Section III: Organizational and Management Models for Smart SMEs -- 9. …”
Link to Metadata

PENGEMBANGAN ASESMEN HASIL BELAJAR DENGAN MODUL PEMBELAJARAN MANDIRI BIOLOGI IPA SMP BERBASIS EDMODO UNTUK SISWA TERDAMPAK BENCANA by Noviyani Nurjamilah, -

Link Metadata

KETERLAKSANAAN KESEHATAN DAN KESELAMATAN KERJA SISWA PROGRAM KEAHLIAN KBPU PADA MATA PELAJARAN AIRCRAFT SHEET METAL FORMING DI SMK NEGERI 12 BANDUNG by Yayang Muhamad Imam Samsul Bayan, -

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata