Year of publication
Subject
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Technik
Search without synonyms: keywords:("Technik")
Used synonyms:
- engineering
- industrielle technik
- technique
-
π-Calculus semantics of object-oriented programming languages
National licenceSpringer Verlag | 1991|Keywords: Software Engineering -
π-Calculus
Springer Verlag | 2017|Keywords: Software Engineering/Programming and Operating Systems -
π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi
Springer Verlag | 2008|Keywords: Software Engineering/Programming and Operating Systems, Software Engineering -
π-ADL.NET: A High Level Architecture Description Language Compiler for the .NET Platform
British Library Conference Proceedings | 2008|Keywords: Software engineering -
π-ADL.NET: A High Level Architecture Description Language Compiler for the .NET Platform
British Library Conference Proceedings | 2008|Keywords: Software engineering -
ΝΒ-ΙοΤ Technology Benefits in Educational Institutes
Springer Verlag | 2022|Keywords: Engineering, Data Engineering -
ν-Types for Effects and Freshness Analysis
Springer Verlag | 2009|Keywords: Software Engineering/Programming and Operating Systems, Software Engineering -
ν-twin support vector machine with Universum data for classification
Springer Verlag | 2015|Keywords: Mechanical Engineering -
ν-Nonparallel support vector machine for pattern classification
Springer Verlag | 2014|Keywords: Computational Science and Engineering -
νLIN6: An Efficient Network Mobility Protocol in IPv6
Springer Verlag | 2006|Keywords: Software Engineering, Communications Engineering, Networks -
acceleration of statistical iterative methods for image restoration
Springer Verlag | 2015|Keywords: Engineering -
μσADL: An Architecture Description Language for MicroServices
Springer Verlag | 2019|Keywords: Engineering, Biomedical Engineering and Bioengineering -
μ-Synthesis and Hardware-in-the-loop Simulation of Miniature Helicopter Control System
Springer Verlag | 2014|Keywords: Engineering, Electrical Engineering, Mechanical Engineering -
μProfiler: Profiling User-Level Threads in a Shared-Memory Programming Environment
Springer Verlag | 1998|Keywords: Software Engineering/Programming and Operating Systems -
μOR – A Micro OWL DL Reasoner for Ambient Intelligent Devices
Springer Verlag | 2009|Keywords: Software Engineering -
JADE: adaptive differential evolution with a small population
Springer Verlag | 2015|Keywords: Engineering -
μ-EGF: A New Multi-Thread and Nature-Inspired Algorithm for the Packing Problem
Springer Verlag | 2020|Keywords: Engineering, Communications Engineering, Networks, Electrical Engineering -
μDDS: A Middleware for Real-time Wireless Embedded Systems
Springer Verlag | 2011|Keywords: Engineering, Mechanical Engineering, Electrical Engineering -
μDatabase: A Toolkit for Constructing Memory Mapped Databases
Springer Verlag | 1993|Keywords: Software Engineering -
μC-SemPS: Energy-Efficient Semantic Publish/Subscribe for Battery-Powered Systems
Springer Verlag | 2012|Keywords: Software Engineering
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.