Erscheinungsjahr
Format
Lizenz
Sprache
-
On dual programs in co-logic programming and the Horn Formula Not Shown -calculus
British Library Online Contents | 2017| -
Complications with vacuum delivery from a forceps-delivery perspective: Progress toward safe vacuum delivery
British Library Online Contents | 2018| -
Balance of antiangiogenic and angiogenic factors in the context of the etiology of preeclampsia
British Library Online Contents | 2014| -
The role of the renin–angiotensin system in the pathogenesis of preeclampsia – New insights into the renin–angiotensin system in preeclampsia
British Library Online Contents | 2014| -
Extending Co-logic Programs for Branching-Time Model Checking
British Library Conference Proceedings | 2014| -
Proving Properties of Co-logic Programs with Negation by Program Transformations
British Library Conference Proceedings | 2013| -
Proving Properties of Co-logic Programs with Negation by Program Transformations
British Library Online Contents | 2013| -
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
British Library Online Contents | 2012| -
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
British Library Conference Proceedings | 2012| -
On Inductive Proofs by Extended Unfold/Fold Transformation Rules
British Library Conference Proceedings | 2011| -
On the Equivalence Conditions of Fuzzy Inference Methods — Part 1: Basic Concept and Definition
Online Contents | 2011| -
On Inductive Proofs by Extended Unfold/Fold Transformation Rules
British Library Online Contents | 2011| -
Multi-Purpose Driving Control for Electric Power Assisted Wheelchair
British Library Online Contents | 2010| -
On Inductive and Coinductive Proofs via Unfold/Fold Transformations
British Library Online Contents | 2010| -
On Inductive and Coinductive Proofs via Unfold/Fold Transformations
British Library Conference Proceedings | 2010| -
SHORT PAPER - On the Monotonicity of Fuzzy-Inference Methods Related to T-S Inference Method
Online Contents | 2010| -
Effects of binder addition on the mechanical properties of bulk Y–Ba–Cu–O superconductors
Online Contents | 2010|
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.