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
-
Disjunctive languages and codes
National licenceSpringer Verlag | 1977|Keywords: Computer Science, Computer Science, general -
P-selective sets, tally languages, and the behavior of polynomial time reducibilities on NP
National licencePreliminary reportSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
The modal logic of programs
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Covering a graph by circuits
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Characterization problems in the theory of inductive inference
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Modularity
National licenceSpringer Verlag | 1973|Keywords: Computer Science, Computer Science, general -
Probabilistic LCF
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Colsys—A collocation code for boundary-value problems
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Une extension de la theorie des types en λ-calcul
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Structural properties of petri nets
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Eclatement de contraintes en parallele pour la minimisation d'une forme quadratique
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Probabilistic algorithms for verification of polynomial identities
National licenceSpringer Verlag | 1979|Keywords: Computer Science, Computer Science, general -
Programming as an evolutionary process
National licenceSpringer Verlag | 1976|Keywords: Computer Science, Computer Science, general -
Verbandstheoretische Grundlagen der Intervall-Mathematik
National licenceSpringer Verlag | 1975|Keywords: Computer Science, Computer Science, general -
The complexity of negation-limited networks — A brief survey
National licenceSpringer Verlag | 1975|Keywords: Computer Science, Computer Science, general -
Cooperating grammar systems
National licenceSpringer Verlag | 1978|Keywords: Computer Science, Computer Science, general -
Chapter 9. Identifiers (naming) in distributed systems
National licenceSpringer Verlag | 1981|Keywords: Computer Science, Computer Science, general -
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
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.