Year of publication
Type of media
Source
Type of material
Licence
Language
Synonyms were used for: Computer science
Search without synonyms: keywords:("Computer science")
Used synonyms:
- computerwissenschaft
- informatics
- informatik
-
Programming languages as mathematical objects
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Some fundamentals of order-algebraic semantics
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Cooperating grammar systems
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Proving termination with multiset orderings
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
On storage optimization for automatically generated compilers
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Informatique et algebre la theorie des codes a longueur variable
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Probabilistic algorithms for verification of polynomial identities
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Synthesis of communicating behaviour
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
On the computational power of extended petri nets
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
DIJKSTRA's predicate transformer, non-determinism, recursion, and termination
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
The object model: A conceptual tool for structuring software
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Probabilistic LCF
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
A control statement for natural top-down structured programming
National licenceSpringer Verlag | 1974|Keywords: Computer Science, Computer Science, general -
The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages
National licenceSpringer Verlag | 1973|Keywords: Computer Science, Computer Science, general -
Syntax-Directed Description of Incremental Compilers
National licenceSpringer Verlag | 1975|Keywords: Computer Science, Computer Science, general -
On semantic issues in the relational model of data
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Facts in place/transition-nets
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Non deterministic recursive program schemes
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Nonconvex quadratic programs, linear complementarity problems, and integer linear programs
National licenceSpringer Verlag | 1973|Keywords: Computer Science, Computer Science, general -
Extensions and implementations of abstract data type specifications
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general
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.