Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 19,602 hits
Sort by:
Sort by:
-
ω-Perfect graphs
National licenceSpringer Verlag | 1990|Keywords: Software Engineering/Programming and Operating Systems -
ω-Complete a-spaces
National licenceSpringer Verlag | 1982|Keywords: Software Engineering/Programming and Operating Systems -
χSuds-SDL: A Tool for Testing Software Architecture Specifications
National licenceSpringer Verlag | 1999|Keywords: software architectural specification, 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 -
ρ Graph: Rendezvous ordering graph for Ada concurrent programs
National licenceSpringer Verlag | 1998|Keywords: Software Engineering -
π-schemas — a language for graphic representation of algorithms
National licenceSpringer Verlag | 1992|Keywords: Software Engineering/Programming and Operating Systems -
πI: A symmetric calculus based on internal mobility
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
π-Calculus semantics of object-oriented programming languages
National licenceSpringer Verlag | 1991|Keywords: Software Engineering -
λ-Fold difference bases for linear and rectangular arrays
National licenceSpringer Verlag | 1995|Keywords: Software Engineering/Programming and Operating Systems -
λ-definition of function(al)s by normal forms
National licenceSpringer Verlag | 1994|Keywords: Software Engineering -
καππα: A Kernel Andorra Prolog
National licenceParallel architecture designSpringer Verlag | 1991|Keywords: Software Engineering -
κ-Project/first step: To improve data manipulations and representations on parallel computers
National licenceSpringer Verlag | 1992|Keywords: Software Engineering -
ε-Approximation of differential inclusions
National licenceSpringer Verlag | 1996|Keywords: Software Engineering -
Γ-Representation of variational s-limits of constrained minimization problems in normal hausdorff spaces
National licenceSpringer Verlag | 1998|Keywords: Software Engineering/Programming and Operating Systems -
β-Reductions and β-developments of λ-terms with the least number of steps
National licenceSpringer Verlag | 1990|Keywords: Software Engineering -
α-concave functions and measures and their applications
National licenceSpringer Verlag | 1991|Keywords: Software Engineering/Programming and Operating Systems -
Zwischenraum – Eine Reise durch das Museum Insel Hombroich
National licenceSpringer Verlag | 2001|Keywords: Software Engineering/Programming and Operating Systems -
Zwischenbetriebliche elektronische Katalogsysteme: Netzwerkstrategische Gestaltungsoptionen und Erfolgsfaktoren
National licenceSpringer Verlag | 2000|Keywords: Software Engineering/Programming and Operating Systems -
Zuverlässige Transportdienste für Mobile Computing
National licenceSpringer Verlag | 2001|Keywords: Software Engineering/Programming and Operating Systems -
Zuse, Aiken und der einschrittige Übertrag
National licenceSpringer Verlag | 1998|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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.