Year of publication
Type of media
Source
Type of material
Licence
Language
Synonyms were used for: Computer • Computer science • computers. • science
Search without synonyms: keywords:(Electronic computers. Computer science)
Used synonyms:
- computers
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Used synonyms:
- computerwissenschaft
- informatics
- informatik
Used synonyms:
- computer
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Used synonyms:
- burgerliche wissenschaft
- wissenschaft
- wissenschaften
-
Parallel programming: An axiomatic approach
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
An axiomatic treatment of ALGOL 68 routines
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
The reference string indexing method
National licenceSpringer Verlag | 1978|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 -
Transformations of derivation sequences in graph grammars
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
A comparative review of some program verification methods
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Integrity, concurrency, and recovery in databases
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Selecting an optimal set of secondary indices
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Functions computable in the limit by probabilistic machines
National licenceSpringer Verlag | 1975|Keywords: Computer Science, Computer Science, general -
Total correctness for procedures
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Arithmetical completeness in logics of programs
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
The mathematics of record handling
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Environments, labyrinths and automata
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Time and tape bounded auxiliary pushdown automata
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
On the proper treatment or referencing, dereferencing and assignment
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
Finite-change automata
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Integration of the phase-difference relations in asynchronous sequential networks
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.