Year of publication
Type of media
Subject
Type of material
Language
TIB reading rooms collection
1–20 of 73,869 hits
Sort by:
Sort by:
-
Shor’s Algorithm for Integer Factorization
Springer Verlag | 2019|Keywords: Computation by Abstract Devices -
The complexity of symmetric boolean functions
National licenceSpringer Verlag | 1987|Keywords: Computation by Abstract Devices -
Grover’s Algorithm for Unstructured Search
Springer Verlag | 2019|Keywords: Computation by Abstract Devices -
The TLA + Proof System: Building a Heterogeneous Verification Platform
Springer Verlag | 2010|Keywords: Computation by Abstract Devices -
The consensus problem in unreliable distributed systems (a brief survey)
National licenceSpringer Verlag | 1983|Keywords: Computation by Abstract Devices -
Fast triangulation of simple polygons
National licenceSpringer Verlag | 1983|Keywords: Computation by Abstract Devices -
The boolean hierarchy: Hardware over NP
National licenceSpringer Verlag | 1986|Keywords: Computation by Abstract Devices -
A kernel language for algebraic specification and implementation extended abstract
National licenceSpringer Verlag | 1983|Keywords: Computation by Abstract Devices -
Randomness, relativizations, and polynomial reducibilities
National licenceSpringer Verlag | 1986|Keywords: Computation by Abstract Devices -
Existential fixed-point logic
National licenceSpringer Verlag | 1987|Keywords: Computation by Abstract Devices -
On approximate string matching
National licenceSpringer Verlag | 1983|Keywords: Computation by Abstract Devices -
The complexity of sparse sets in P
National licencePreliminary reportSpringer Verlag | 1986|Keywords: Computation by Abstract Devices -
Moderately exponential bound for graph isomorphism
National licenceSpringer Verlag | 1981|Keywords: Computation by Abstract Devices -
The classification of problems which have fast parallel algorithms
National licenceSpringer Verlag | 1983|Keywords: Computation by Abstract Devices -
Skolem normal forms concerning the least fixpoint
National licenceSpringer Verlag | 1987|Keywords: Computation by Abstract Devices -
Recurring dominoes: Making the highly undecidable highly understandable (preliminary report)
National licenceSpringer Verlag | 1983|Keywords: Computation by Abstract Devices
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.