Katalog der Deutschen Nationalbibliothek

A functional pattern system for object-oriented design

AI-based sensor fusion for perception in autonomous vehicles

Architekturentwicklung von Roadside-Backbone-Netzwerken für landgebundene Verkehrswege

Auflösung von Anaphern im Rahmen der Informationsextraktion für Ontologie-Management im Bereich Life Sciences

Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework

Causal analysis on observational data for discount campaigns in E-commerce

Das Führerschaftsprinzip bei Inspektionsspielen

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Decision support for conceptual database design based on the evidence theory : an intelligent dialogue interface for conceptual database design

Dezentrale Ablaufplanung für selbstverteilende parallele Systeme

Eine Architektur zur Echtzeitvisualisierung von Volumendaten

Energieeffiziente Concast-Kommunikation in drahtlosen Sensornetzen

EvoTrace: evolution-aware trace retrieval

GENGED: visual definition of visual languages : based on algebraic graph transformation

Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition : am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf

Integrating smart devices in Java applications

Intelligente Abfallwirtschaft : KI-gestützte Lösungen für automatisierte Mülltrennung und -entsorgung

Intuitionistic set theory or how to construct a proof

Intuitionistic set theory or how to construct semi-rings

Pt. 3

Intuitionistic set theory or how to construct semi-rings

Pt. 4

Kooperative Informationsagenten im Internet

Learning search heuristics for automated deduction

Leitlinien einer Methodik zur Validierung und zum Vergleich von kognitionswissenschaftlichen Modellen am Beispiel der Helligkeitswahrnehmung

Mehrdimensionale Wissensrepräsentation technischer Systeme und ihre Anwendung in intelligenten tutoriellen Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Ökonometrische Schätzungen bei generell nicht stationären datengenerierenden Prozessen

Performancebewertung und -sicherung von orchestrierten Serviceangeboten

Prädiktion des Projektfortschritts als Beitrag zur virtuellen Absicherung im Automobilsektor

Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation

Refinements in HOLCF: implementation of interactive systems

Selbsttestbare Steuerwerke : Strukturen und Syntheseverfahren

Software-ergonomische Aspekte der Studierumgebung blinder Menschen

Softwarekorrektur online : Patchen in Realzeitsystemen am Beispiel von SPC-Rechnern

Statecharts in CSP : ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts

Statische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Systems approach concepts in contemporary society : systems thinking, modelling and simulation in science and practice

Testing cyclic software components of reactive systems on the basis of formal specifications

Timing driven floorplanning beim hierarchischen VLSI-Entwurf

Transparenter Schutz der Aufenthaltsinformation in Mobilfunksystemen

Tree structured function estimation with Haar wavelets

Verfahren zur effizienten zellularen Verarbeitung

Vermittlung und Management von Diensten in offenen Systemen

Zur prozeßorientierten Analyse interaktiver Gefechtssimulationen