Arama Sonuçları - "syntax"

PENERAPAN METODE HYPNOTEACHING BERBASIS PEMECAHAN MASALAH DALAM PEMBELAJARAN MENYIMAK INFORMASI Yazar: Alrochmah, Nisa

Link Metadata

DEVELOPING GENDER PERSPECTIVE-BASED ENGLISH LANGUAGE LEARNING MODEL: AN ATTEMPT TO PROMOTE CHARACTER EDUCATION IN UIN AR-RANIRY ACEH (An R & D Study) Yazar: NASHRIYAH, -

Link Metadata

KETERAMPILAN PEMECAHAN MASALAH SISWA BERDASARKAN PENERAPAN PENILAIAN PORTOFOLIO PADA MATERI PENCEMARAN LINGKUNGAN DALAM MODEL COMMUNITY OF INQUIRY (CoI) Yazar: Dede Wildatul Mutia, -

Link Metadata

MODEL ANALISIS WACANA JURNALISTIK BERBASIS TEKNIK BINGKAI (FRAMING) UNTUK MENINGKATKAN KOMPETENSI BERWACANA SISWA SEKOLAH MENENGAH ATAS (SMA) Yazar: Dadang, -

Link Metadata

MODEL PEMBELAJARAN TAHFIZ AL-QUR'AN BERBASIS TADABUR DI MARKAZ TAHFIZ TADABBURI BANDUNG Yazar: Sutisna Senjaya, -

Link Metadata

Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R A Workbook / Yazar: Hair Jr., Joseph F., Hult, G. Tomas M., Ringle, Christian M., Sarstedt, Marko, Danks, Nicholas P., Ray, Soumya

Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

İçindekiler: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / Yazar: Greiner-Petter, André

Link to Metadata

Elementary New Testament Greek Yazar: Ewald, Owen

Access online version

Beowulf: A Translation

DOAB: download the publication
DOAB: description of the publication

The naïve language expert: How infants discover units and regularities in speech Yazar: Jutta L Mueller

DOAB: download the publication
DOAB: description of the publication

Historical journey in a linguistic archipelago Descriptive concepts and case studies

DOAB: download the publication
DOAB: description of the publication

Morphosyntactic change in Late Modern Swedish

DOAB: download the publication
DOAB: description of the publication

ENHANCING LEARNER'S READING COMPETENCY THROUGH PROJECT-BASED PRE-COOPERATIVE MULTILITERACY (Descriptive Study at CLC Hikmah District. Ciamis, CLC Al-Ghifari District. Cirebon, and... Yazar: Neni Nurlaela

Connect to this object online.

Correlations among natural language processing indicators and critical thinking sub-dimensions in HiEd students Yazar: Antonella Poce, Francesca Amenduni, Maria Rosaria Re, Carlo De Medio, Alessandra Norgini

Connect to this object online.

MODEL PEMBELAJARAN PENDIDIKAN KARAKTER KELAS I DI SD NEGERI KAUMAN I KOTA MALANG Yazar: Beti Istanti Suwandayani, Sa'dun Akbar, Fattah Hanurawan

Connect to this object online.

Macrophage migration inhibitory factor (MIF) gene -173 G>C polymorphism and its relationship to coronary artery disease and type 2 diabetes Yazar: Neslihan Çoban, Aycan Fahri Erkan, Berkay Ekici, Maide Kaşit, Nihan Erginel Ünaltuna, Eren Vurgun

Connect to this object online.

Keterampilan Berpikir Kritis melalui Penerapan Model Pembelajaran Inkuiri Terbimbing di Kelas XI IPA Yazar: Ana Rizka Falentina, Murni Saptasari, Sri Endah Indriwati

Connect to this object online.

Exploring refugees' experience of accessing dental health services in host countries: a scoping review Yazar: Elaf Asfari, Andrea Rodriguez, Arek Dakessian, Siyang Yuan

Connect to this object online.

Protocol for developing a dashboard for interactive cohort analysis of oral health-related data Yazar: Vinay Sharma, Oscar Cassetti, Lewis Winning, Michael O'Sullivan, Michael Crowe

Connect to this object online.