Erscheinungsjahr
Medientyp
Datenquelle
Fach
Format
-
Dynamic generation of language localized and self-verified Java classes using XML descriptions and static initializers
Freier ZugriffEuropäisches Patentamt | 2016| -
Regular languages defined by first-order formulas without quantifier alternation
Freier ZugriffArXiv | 2022| -
Universal covers, color refinement, and two-variable counting logic: Lower bounds for the depth
Freier ZugriffArXiv | 2014| -
An effective characterization of the alternation hierarchy in two-variable logic
Freier ZugriffDataCite | 2012| -
An effective characterization of the alternation hierarchy in two-variable logic
Freier ZugriffBASE | 2012| -
An effective characterization of the alternation hierarchy in two-variable logic
Freier ZugriffArXiv | 2012| -
An effective characterization of the alternation hierarchy in two-variable logic
Freier ZugriffBASE | 2012| -
On solving nonlinear variational inequalities by p-version finite elements
Freier ZugriffBASE | 2004| -
On solving nonlinear variational inequalities by p-version finite elements
Freier ZugriffTIBKAT | 2004|
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.