Search Results - With~

Der Türken- und Türkeidiskurs in Schulbüchern 1919-1945 Zwischen Wissenszuwachs und Stagnation by Mathie, Dennis

“…Wie die Türken in unsere Köpfe kamen. Eine deutsche Bildungsgeschichte…”
DOAB: download the publication
DOAB: description of the publication

Türken- und Türkeibilder im 19. und 20. Jahrhundert Pädagogik, Bildungspolitik, Kulturtransfer

“…Wie die Türken in unsere Köpfe kamen. Eine deutsche Bildungsgeschichte…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Auf dem Weg ins Türkische Reich Ein bildungshistorisches Lesebuch

“…Wie die Türken in unsere Köpfe kamen. Eine deutsche Bildungsgeschichte…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Vom "Türkenjoch" zu "Deutschlands Freundschaft für die Türkei" Der Wandel des Wissens über das Osmanische Reich in deutschen Geschichtsschulbüchern 1839-1918 by Hellmanzik, Timm Gerd

“…Wie die Türken in unsere Köpfe kamen. Eine deutsche Bildungsgeschichte…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Der deutsch-türkische Bildungsraum im Wilhelminischen Kaiserreich Akteure, Netzwerke, DiskurseAkteure, Netzwerke, Diskurse by Böttcher, Julika

“…Wie die Türken in unsere Köpfe kamen. Eine deutsche Bildungsgeschichte…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Der Türken- und Türkeidiskurs in Schulbüchern 1919-1945 Zwischen Wissenszuwachs und Stagnation by Mathie, Dennis

“…Wie die Türken in unsere Köpfe kamen. Eine deutsche Bildungsgeschichte…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II /

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Chinese Water Systems Volume 4: Applied Water Management in China /

Table of Contents: “…Ecological indicators for surface water quality-methodological approaches to fish community assessments in China and Germany -- 3. …”
Link to Metadata

Impacts of the Fukushima Nuclear Accident on Fish and Fishing Grounds

Table of Contents: “…-- 11 Radiocesium Contamination Histories of Japanese Flounder (Paralichthys olivaceus) After the 2011 Fukushima Nuclear Power Plant Accident -- Part IV Mechanisms of Severe Contamination in Fish -- 12 Evaluating the Probability of Catching Fat Greenlings (Hexagrammos otakii) Highly Contaminated with Radiocesium off the Coast of Fukushima -- 13 Analysis of the Contamination Process of the Extremely Contaminated Fat Greenling by Fukushima-Derived Radioactive Material -- 14 Contamination Levels of Radioactive Cesium in Fat Greenling Caught at the Main Port of the Fukushima Dai-ichi Nuclear Power Plant -- Part V Freshwater Systems -- 15 Comparison of Radioactive Cesium Contamination of Lake Water, Bottom Sediment, Plankton, and Freshwater Fish Among Lakes of Fukushima Prefecture, Japan, After the Fukushima Fallout -- 16 Radiocesium Concentrations and Body Size of Freshwater Fish in Lake Hayama 1 Year After the Fukushima Dai-Ichi Nuclear Power Plant Accident -- 17 Spatiotemporal Monitoring of 134Cs and 137Cs in Ayu, Plecoglossus altivelis, a Microalgae-Grazing Fish, and in Their Freshwater Habitats in Fukushima -- 18 Radiocesium Concentrations in the Muscle and Eggs of Salmonids from Lake Chuzenji, Japan, After the Fukushima Fallout -- 19 Assessment of Radiocesium Accumulation by Hatchery-Reared Salmonids After the Fukushima Nuclear Accident.…”
Link to Metadata

Ellipsocephalid trilobites from Cambrian Series 2 and Stage 4 by Cederstrom, Peter

DOAB: download the publication
DOAB: description of the publication

Cinobufagin Suppresses The Characteristics Of Osteosarcoma Cancer Cells By Inhibiting The IL-6-OPN-STAT3 Pathway by Zhang C, Ma K, Li WY

Connect to this object online.

The efficacy of Clorhexidine 0.2% after scaling in marginal gingivitis by M Shahrohisham, Widowati Witjaksono

Connect to this object online.

Prevalence of oral habits in homeless children under care of Yayasan Bahtera Bandung by Gildasya Gildasya, Eriska Riyanti, Syarief Hidayat

Connect to this object online.

Shear wave elastography imaging for assessing the chronic pathologic changes in advanced diabetic kidney disease by Hassan K, Loberant N, Abbas N, Fadi H, Shadia H, Khazim K

Connect to this object online.

Mandible vertical height correction using lingual bone-split pedicle onlay graft technique by Coen Pramono D

Connect to this object online.

Students' evaluation of preclinical simulation for all ceramic preparation (In Faculty of Dentistry Universiti Kebangsaan Malaysia) by Natasya Ahmad Tarib, Marlynda Ahmad

Connect to this object online.

Diagnóstico citológico de Ascus: sua importância na conduta clínica Cytological diagnosis of Ascus: its importance in clinical conduct by Daisy N.O. Lima, Silvana Câmara, Maria das Graças G. Mattos, Riveka Ramalho

Connect to this object online.

Oral and dental aspects of child abuse by Arlette Suzy Puspa Pertiwi, Inne Suherna Sasmita

Connect to this object online.

إعداد خرائط الغمر لحوض نهر الكبير الشمالي نتيجة انهيار مفترض لسد16تشرين by عباس عبد الرحمن, راما خليل

Connect to this object online.

Features of bone remodeling and osteoreparation processes in modeling femoral fracture in genetically modified mice with impaired enzymatic regulation of steroid hormone metabolism by Mikhail V. Korokin, Oleg S. Gudyrev, Tatiana G. Pokrovskaya, Lyudmila M. Danilenk, Nina I. Zhernakova, Tatyana V. Avtina, Sergey A. Pribylov, Petr R. Lebedev, Alim A. Kochkarov, Elеna V. Kuzubova, Alexandra I. Radchenko, Ivan S. Koklin, Eduard I. Taran

Connect to this object online.