Year of publication
Type of media
Source
Subject
Type of material
Synonyms were used for: Theory
Search without synonyms: keywords:(Theory of Computation)
Used synonyms:
- theorie
- theories
-
Verification of Quantum Computation: An Overview of Existing Approaches
Free accessSpringer Verlag | 2018|Keywords: Verification of quantum computation, Delegated quantum computation, Theory of Computation -
Homonym Population Protocols
Springer Verlag | 2018|Keywords: Models of computation, Computation theory, Theory of Computation -
Tight Welfare Guarantees for Pure Nash Equilibria of the Uniform Price Auction
Springer Verlag | 2018|Keywords: Theory of Computation -
Neural Computation and the Computational Theory of Cognition
Wiley | 2013|Keywords: Neural computation, Analog computation, Computational theory of cognition, Digital computation -
Discrete p-robust -liftings and a posteriori estimates for elliptic problems with source terms
Springer Verlag | 2017|Keywords: Theory of Computation -
Guest Editorial: Special Issue on Approximation and Online Algorithms
Free accessSpringer Verlag | 2019|Keywords: Theory of Computation -
Guest Editorial: Special Issue on Database Theory
Free accessSpringer Verlag | 2019|Keywords: Theory of Computation -
Guest Editorial: Special Issue on Theoretical Aspects of Computer Science
Free accessSpringer Verlag | 2019|Keywords: Theory of Computation -
Preface to the Special Issue on Algorithmic Game Theory
Free accessSpringer Verlag | 2018|Keywords: Theory of Computation -
Editor’s Note: Special Issue on Stabilization, Safety, and Security of Distributed Systems
Springer Verlag | 2019Keywords: Theory of Computation -
A combined technique for computation of energy-effect of cycles in conjugated molecules
Online Contents | 2015|Keywords: Energy-effect of cycle, Computation of zeros of polynomial, Computation of characteristic polynomial, Chemical graph theory -
Preface to the Special Issue on Computer Science in Russia 2016
Free accessSpringer Verlag | 2018|Keywords: Theory of Computation -
A combined technique for computation of energy-effect of cycles in conjugated molecules
Online Contents | 2015|Keywords: Energy-effect of cycle, Computation of zeros of polynomial, Computation of characteristic polynomial, Chemical graph theory -
Editorial: Special Issue on “Combinatorial Algorithms” (IWOCA 2016)
Free accessSpringer Verlag | 2018|Keywords: Theory of Computation -
Preface of STACS 2016 Special Issue
Free accessSpringer Verlag | 2017|Keywords: Theory of Computation -
Extended formulations in mixed integer conic quadratic programming
Springer Verlag | 2016|Keywords: Operation Research/Decision Theory, Theory of Computation, Mathematics of Computing -
Against neuroclassicism: On the perils of armchair neuroscience
Wiley | 2022|Keywords: theory of computation, neural computation, computational theory of mind -
Vehicle routing problems with multiple trips
Springer Verlag | 2018|Keywords: Operations Research/Decision Theory, Theory of Computation
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 is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
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.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.