Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
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
-
Ω Meets Paxos: Leader Election and Stability Without Eventual Timely Links
Springer Verlag | 2005|Keywords: Computer Science, Computer Communication Networks, Operating Systems -
ω-Degree Spectra
Springer Verlag | 2008|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
χSuds-SDL: A Tool for Testing Software Architecture Specifications
National licenceSpringer Verlag | 1999|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Operating Systems -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\chi $$\end{document}iplot: Web-First Visualisation Platform for Multidimensional Data
Free accessSpringer Verlag | 2023|Keywords: Computer Science, Computer Systems Organization and Communication Networks, Computer Imaging, Vision, Pattern Recognition and Graphics, Software Engineering/Programming and Operating Systems -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\tau }$$\end{document}JUpdate: A Temporal Update Language for JSON Data
Springer Verlag | 2022|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Information Systems Applications (incl. Internet) -
Σynergos—Synergetic Vision Research
National licenceSpringer Verlag | 2001|Keywords: Computer vision, distributed systems, Computer Science, Special Purpose and Application-Based Systems, Operating Systems -
σ-SSA and its construction through symbolic interpretation
Springer Verlag | 1997|Keywords: Computer Science, Operating Systems -
σ-Self-Adaptive Weighted Multirecombination Evolution Strategy with Scaled Weights on the Noisy Sphere
Springer Verlag | 2008|Keywords: Computer Science, Computer System Implementation, Software Engineering/Programming and Operating Systems -
Σ K –constraints for Hybrid Systems
Springer Verlag | 2010|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
ΣIT — A strongly-typed embeddable computer algebra library
National licenceSpringer Verlag | 1996|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
π-RED*—A graph reducer for a full-fledged γ-calculus
Springer Verlag | 1992|Keywords: Computer Science, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi $$\end{document} with Leftovers: A Mechanisation in Agda
Springer Verlag | 2021|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Special Purpose and Application-Based Systems -
π-calculus with noisy channels
Springer Verlag | 2005|Keywords: Operating System, Computer Science, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Information Systems and Communication Service -
π-Calculus
Springer Verlag | 2017|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
British Library Conference Proceedings | 2008|Keywords: Computer systems, Formal methods (Computer science), Systems software, Computer networks, Computational systems biology, Software systems -
π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
Springer Verlag | 2008|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer Communication Networks -
ν-Types for Effects and Freshness Analysis
Springer Verlag | 2009|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
νLIN6: An Efficient Network Mobility Protocol in IPv6
Springer Verlag | 2006|Keywords: Computer Science, Computer Communication Networks, Information Systems Applications (incl. Internet), Operating Systems -
μProfiler: Profiling User-Level Threads in a Shared-Memory Programming Environment
Springer Verlag | 1998|Keywords: Computer Science, Software Engineering/Programming and Operating Systems -
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}XL: Explainable Lead Generation with Microservices and Hypothetical Answers
Springer Verlag | 2023|Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Computer Systems Organization and Communication Networks, Computer System Implementation
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.