Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 735 hits
Sort by:
Sort by:
-
Angriffsprävention und validierte Absicherung von IPv6-Netzen (IDSv6) : Abschlussbericht ; Laufzeit des Vorhabens: 01.04.11 - 31.07.13
Free accessTIBKAT | 2014|Publisher: Univ., Inst. für Informatik, Potsdam -
Angriffsprävention und validierte Absicherung von IPv6-Netzen (IDSv6) : Abschlussbericht ; Laufzeit des Vorhabens: 01.04.11 - 31.07.13
TIBKAT | 2014|Publisher: Univ., Inst. für Informatik, Potsdam -
ENIAC joint undertaking project : IMPROVE - Implementing manufacturing science solutions to increase equipment productivity and fab performance ; Teilvorhaben: Software-Engineering zur Prozeßkontrolle und Prozeßverbesserung in der Halbleiterindustrie ; Erfolgskontrollbericht
TIBKAT | 2013|Publisher: Univ., Inst. für Informatik, Augsburg -
ENIAC joint undertaking project : IMPROVE - Implementing manufacturing science solutions to increase equipment productivity and fab performance ; Teilvorhaben: Software-Engineering zur Prozeßkontrolle und Prozeßverbesserung in der Halbleiterindustrie ; Erfolgskontrollbericht
Free accessTIBKAT | 2012|Publisher: Univ., Inst. für Informatik, Augsburg -
On-the-fly-Migration und Sofort-Inbetriebnahme von automatisierten Systemen (OMSIS) : Schlussbericht ; Projektlaufzeit: 01.04.2008 - 31.07.2011
TIBKAT | 2011|Publisher: Univ., Inst. für Informatik, Halle -
Schlussbericht zu dem Vorhaben "Konzeptteam für ein Potenzial-Screening von Topic-Maps-Technologien und Entwicklung eines Konzepts für das "Topic Maps 2.0 Lab" (ToMarket)"
TIBKAT | 2008|Publisher: Univ., Inst. für Informatik, Leipzig -
SKIMS - Schichtenübergreifendes kooperatives Immunsystem für mobile, mehrseitige Sicherheit : Teilprojekt: Integriertes Immunsystem ; Abschlussbericht zur BMBF-Fördermaßnahme "IT-Sicherheit" im Schwerpunkt: Sicherheit in unsicheren Umgebungen ; Berichtszeitraum: 1. September 2010 bis 31. Juli 2013
TIBKAT | 2013|Publisher: Freie Univ., Inst. für Informatik, Berlin -
Schlussbericht Usus-Sim : [Verbundvorhaben UsusSim - Entwicklung eines Usability-Simulator-Kernels]
TIBKAT | 2012|Publisher: Univ., Inst. für Informatik II, Bonn -
Representing Boolean functions as linear pseudo-Boolean constraints
Free accessTIBKAT | 2006|Publisher: Univ., Inst. für Informatik, Freiburg -
Modellierung und Bewertung von Finanzderivaten in unvollständigen Märkten : FIDEUM ; Endbericht ; Berichtszeitraum: 1.07.2007 bis 31.12.2010
Free accessTIBKAT | 2011|Publisher: Techn. Univ., Inst. für Informatik, München -
Decentralized SLAM for pedestrians without direct communication
Free accessTIBKAT | 2006|Publisher: Univ., Inst. für Informatik, Freiburg -
Rekonfiguration von mobilen autonomen Diensten in heterogener Umgebung
TIBKAT | 2007|Publisher: Univ., Inst. für Informatik, Erlangen -
SKIMS - Schichtenübergreifendes kooperatives Immunsystem für mobile, mehrseitige Sicherheit : Teilprojekt: Integriertes Immunsystem ; Abschlussbericht zur BMBF-Fördermaßnahme "IT-Sicherheit" im Schwerpunkt: Sicherheit in unsicheren Umgebungen ; Berichtszeitraum: 1. September 2010 bis 31. Juli 2013
Free accessTIBKAT | 2013|Publisher: Freie Univ., Inst. für Informatik, Berlin -
Relaxed min-augmented range trees for dynamic IP router tables
Free accessTIBKAT | 2007|Publisher: Univ., Inst. für Informatik, Freiburg -
On Boolean functions encodable as a single linear pseudo-Boolean constraint
Free accessTIBKAT | 2007|Publisher: Univ., Inst. für Informatik, Freiburg -
Behavior maps for online planning of obstacle negotiation and climbing on rough terrain
Free accessTIBKAT | 2007|Publisher: Univ., Inst. für Informatik, Freiburg -
Real-time localization and elevation mapping within urban search and rescue scenarios
Free accessTIBKAT | 2007|Publisher: Univ., Inst. für Informatik, Freiburg -
Schlussbericht Usus-Sim : Verbundvorhaben UsusSim - Entwicklung eines Usability-Simulator-Kernels
Free accessTIBKAT | 2012|Publisher: Univ., Inst. für Informatik II, Bonn -
Adapting an AI planning heuristic for directed model checking
Free accessTIBKAT | 2006|Publisher: Univ., Inst. für Informatik, Freiburg -
Abstract interface behavior of object-oriented languages with monitors
TIBKAT | 2006|Publisher: Univ., Inst. für Informatik, Kiel
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.