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
-
Identification of formal languages
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
An algebraic approach to data types, program verification, and program synthesis
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Chapter 8. Distributed control
National licenceSpringer Verlag | 1981|Keywords: Computer Science, Computer Science, general -
Stabilizing control for linear systems with bounded parameter and input uncertainty
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Expected behavior of graph coloring algorithms
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Approximate algorithms to derive exact solutions to systems of linear equations
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
On constructing efficient evaluators for attribute grammars
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Programming as an evolutionary process
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
A generalization of Ginsburg and Rose's characterization of G-S-M mappings
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Naming and binding of objects
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Issues in kernel design
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Parallel programming: An axiomatic approach
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Invariant properties of informational bulks
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
On the structure of combinatorial problems and structure preserving reductions
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Functional characterization of some semantic equalities inside λ-calculus
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Symbolic-numeric interface: A review
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Initial algebraic semantics for non context-free languages
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Languages defined by higher type program schemes
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
About the derivation languages of grammars and machines
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
On a measure of program structure
National licenceSpringer Verlag | 1974|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.