Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
Synonyme wurden verwendet für: Computability
Suche ohne Synonyme: keywords:("Computability")
Verwendete Synonyme:
- berechenbarkeit
-
Theory and applications of models of computation : 15th annual conference, TAMC 2019, Kitakyūshū, Japan, April 13-16, 2019 : proceedings
TIBKAT | 2019|Schlagwörter: Berechenbarkeit -
Dense computability structures
Elsevier | 2020|Schlagwörter: Computability structure, Dense computability structure, Maximal computability structure -
Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings
TIBKAT | 2019|Schlagwörter: Berechenbarkeit -
Ordinal computability : an introduction to infinitary machines
TIBKAT | 2019|Schlagwörter: Berechenbarkeit -
Theory and applications of models of computation : 10th international conference, TAMC 2013, Hong Kong, China, May 20 - 22, 2013 ; proceedings
TIBKAT | 2013|Schlagwörter: Berechenbarkeit -
Computability and realizability for interactive computations
Elsevier | 2013|Schlagwörter: Computability -
Post’s Problem for ordinal register machines: An explicit approach
Elsevier | 2009|Schlagwörter: Computability, Ordinal computability -
Berechenbarkeit : Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium
TIBKAT | 2011|Schlagwörter: Berechenbarkeit -
Generalized Hyperarithmetical Computability Over Structures
Online Contents | 2017|Schlagwörter: hyperarithmetical computability, computability theory -
Optimal Results on Recognizability for Infinite Time Register Machines
Freier ZugriffBASE | 2015|Schlagwörter: Infinite Time Computability, Generalized Computability -
Generalizing Computability Theory to Abstract Algebras
Springer Verlag | 2021|Schlagwörter: Computability and continuity, Computability on abstract structures, Computability on the reals, Generalized computability -
How Hard Is Completeness Reasoning for Conjunctive Queries?
TIBKAT | 2020|Schlagwörter: Berechenbarkeit -
Visibility Polygon Queries Among Dynamic Polygonal Obstacles in Plane
TIBKAT | 2020|Schlagwörter: Berechenbarkeit -
A New Lower Bound for the Eternal Vertex Cover Number of Graphs
TIBKAT | 2020|Schlagwörter: Berechenbarkeit -
Computational Complexity Characterization of Protecting Elections from Bribery
TIBKAT | 2020|Schlagwörter: Berechenbarkeit -
An Improved Bregman k-means++ Algorithm via Local Search
TIBKAT | 2020|Schlagwörter: Berechenbarkeit -
Access Structure Hiding Secret Sharing from Novel Set Systems and Vector Families
TIBKAT | 2020|Schlagwörter: Berechenbarkeit
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.