Year of publication
Type of material
Licence
Language
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Operating Systems
Search without synonyms: keywords:(Operating Systems)
Used synonyms:
- betriebsprogramm
- betriebssystem
- betriebssystem software
- operating system software
- operation systems
- system software
- systemprogramm
- systems software
- systemsoftware
-
-Kernels Must and Can be Small
British Library Conference Proceedings | 1996|Keywords: operating systems -
Choices: An Object-Oriented Multimedia Operating System
British Library Conference Proceedings | 1995|Keywords: operating systems -
ω-Perfect graphs
National licenceSpringer Verlag | 1990|Keywords: Operating System, Software Engineering/Programming and Operating Systems, Systems Theory, Control -
Ω Meets Paxos: Leader Election and Stability Without Eventual Timely Links
Springer Verlag | 2005|Keywords: Operating Systems -
ω-Degree Spectra
Springer Verlag | 2008|Keywords: Software Engineering/Programming and Operating Systems -
ω-Complete a-spaces
National licenceSpringer Verlag | 1982|Keywords: Operating System, Software Engineering/Programming and Operating Systems, Systems Theory, Control -
χSuds-SDL: A Tool for Testing Software Architecture Specifications
National licenceSpringer Verlag | 1999|Keywords: 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 Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems -
Φ-Functions of 2D Objects with Boundaries Being Second-Order Curves
Springer Verlag | 2020|Keywords: Systems Theory, Control, 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: Software Engineering/Programming and Operating Systems, Information Systems Applications (incl. Internet) -
Σynergos—Synergetic Vision Research
National licenceSpringer Verlag | 2001|Keywords: distributed systems, Special Purpose and Application-Based Systems, Operating Systems -
σ-SSA and its construction through symbolic interpretation
Springer Verlag | 1997|Keywords: Operating Systems -
σ-Self-Adaptive Weighted Multirecombination Evolution Strategy with Scaled Weights on the Noisy Sphere
Springer Verlag | 2008|Keywords: Software Engineering/Programming and Operating Systems -
Σ K –constraints for Hybrid Systems
Springer Verlag | 2010|Keywords: Software Engineering/Programming and Operating Systems -
ΣIT — A strongly-typed embeddable computer algebra library
National licenceSpringer Verlag | 1996|Keywords: Software Engineering/Programming and Operating Systems -
π-schemas — a language for graphic representation of algorithms
National licenceSpringer Verlag | 1992|Keywords: Operating System, Software Engineering/Programming and Operating Systems, Systems Theory, Control -
π-RED*—A graph reducer for a full-fledged γ-calculus
Springer Verlag | 1992|Keywords: 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: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems -
π-calculus with noisy channels
Springer Verlag | 2005|Keywords: Operating System, Computer Systems Organization and Communication Networks, Software Engineering/Programming and Operating Systems, Information Systems and Communication Service -
π-Calculus
Springer Verlag | 2017|Keywords: 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.