Year of publication
Type of material
Licence
Language
Synonyms were used for: Computers • Operating systems
Search without synonyms: keywords:(Operating systems(Computers))
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:
- betriebsprogramm
- betriebssystem
- betriebssystem software
- operating system software
- operation systems
- system software
- systemprogramm
- systems software
- systemsoftware
-
``In This Issue''
National licenceSpringer Verlag | 2000|Keywords: Operating System, Computer Science, Software Engineering/Programming and Operating Systems -
∏2 ∩ Σ2 ≡ AFMC
Springer Verlag | 2003|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks -
∏ 2: Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen
Springer Verlag | 2000|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Appl. in Life Sciences -
||-ROSETTA
Springer Verlag | 2020|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks -
√erics: A Tool for Verifying Timed Automata and Estelle Specifications
Springer Verlag | 2003|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks -
≪Java≫OCL Based on New Presentation of the OCL-Syntax
Springer Verlag | 2002|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Management of Computing and Information Systems -
$$\delta $$ -DOCA: Achieving Privacy in Data Streams
Springer Verlag | 2018|Keywords: Computer Science, Systems and Data Security, Software Engineering/Programming and Operating Systems, Computers and Society, Information Systems and Communication Service -
$$\delta $$ -subgaussian Random Variables in Cryptography
Springer Verlag | 2019|Keywords: Computer Science, Systems and Data Security, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Information Systems and Communication Service -
$$\mathcal{M}$$ -Adhesive Transformation Systems
Springer Verlag | 2015|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
$$\mathcal{M}\text{olecules}\,{\mathcal{o}\text{f}}\,\mathcal{K}\text{nowledge}$$ : Case Studies
Springer Verlag | 2016|Keywords: Computer Science, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems -
$$\mathcal{M}\text{olecules}\,{\mathcal{o}\text{f}}\,\mathcal{K}\text{nowledge}$$ : Model
Springer Verlag | 2016|Keywords: Computer Science, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems -
$$\mathcal{M}\text{olecules}\,{\mathcal{o}\text{f}}\,\mathcal{K}\text{nowledge}$$ : Simulation
Springer Verlag | 2016|Keywords: Computer Science, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems -
$$\mathcal{M}\text{olecules}\,{\mathcal{o}\text{f}}\,\mathcal{K}\text{nowledge}$$ : Technology
Springer Verlag | 2016|Keywords: Computer Science, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems -
$$\mathsf {HIKE}$$ : Walking the Privacy Trail
Springer Verlag | 2018|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Computers and Society, Information Systems and Communication Service -
$$\mathsf {StocHy}$$ : Automated Verification and Synthesis of Stochastic Processes
Free accessSpringer Verlag | 2019|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
$$\mathsf {WAPS}$$ : Weighted and Projected Sampling
Free accessSpringer Verlag | 2019|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
$$S^2FS$$ : Single Score Feature Selection Applied to the Problem of Distinguishing Long Non-coding RNAs from Protein Coding Transcripts
Springer Verlag | 2018|Keywords: Computer Science, Discrete Mathematics in Computer Science, Software Engineering/Programming and Operating Systems -
$$\tau $$ CFI: Type-Assisted Control Flow Integrity for x86-64 Binaries
Springer Verlag | 2018|Keywords: Computer Science, Systems and Data Security, Computers and Society, Information Systems Applications (incl. Internet), Operating Systems, Computer Communication Networks -
$$\textsc {Wys}^\star $$ : A DSL for Verified Secure Multi-party Computations
Free accessSpringer Verlag | 2019|Keywords: Computer Science, Systems and Data Security, Software Engineering/Programming and Operating Systems -
$${\upvarepsilon }$$ -Strong Privacy Preserving Multi-agent Planning
Springer Verlag | 2018|Keywords: Multi-agent systems, Computer Science, Information Systems Applications (incl. Internet), Computer Appl. in Administrative Data Processing, Software Engineering/Programming and Operating Systems
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.