Deutsch
Home
Search
Browse
Submit
Sitemap
Schließen
Organizational units
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Refine
Has Fulltext
no (121)
(remove)
Author
Li, Nanjun
(2)
Rasche, Andreas
(2)
Tröger, Peter
(2)
AbuJarour, Mohammed
(1)
Al-Saffar, Loay Talib Ahmed
(1)
Albrecht, Alexander
(1)
Alnemr, Rehab
(1)
Alsadeh, Ahmad
(1)
Apfelbache, Rémy
(1)
Appeltauer, Malte
(1)
+ more
Year of publication
2024
(1)
2023
(1)
2022
(1)
2021
(2)
2020
(1)
2019
(1)
2018
(1)
2017
(3)
2016
(10)
2015
(6)
+ more
Document Type
Doctoral Thesis (121)
(remove)
Language
English
(64)
German
(57)
Is part of the Bibliography
yes
(121)
Keywords
Android Security
(1)
Answer Set Programming
(1)
Answer Set Solving modulo Theories
(1)
Artificial Neuronal Network
(1)
Business Process
(1)
Codierungstheorie
(1)
Declarative Problem Solving
(1)
Deep Learning
(1)
Enterprise Architecture
(1)
Erklärbarkeit
(1)
+ more
Institute
Institut für Informatik und Computational Science
(121)
121
search hits
1
to
20
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Using software for fault detection in arithmetical circuits
(1995)
Gerber, Stefan
Dynamisch veränderbare Betriebssystemstrukturen
(1995)
Schmidt, Henning
Data compression techniques for concurrent error detection and built-in self test
(1995)
Tarnick, Steffen
Entwurf von selbstprüfenden digitalen Schaltungen mit monoton unabhängigen Ausgängen
(1996)
Morosov, Andrej
Testing techniques in logic synthesis
(1996)
Kunz, Wolfgang
Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern
(1996)
Gohlke, Mario
CASC : compiler assisted self-checking of structural integrity
(1997)
Wildner, Uwe
Entwicklung von Modelltypen für das Qualitätsmanagement in der Software-Entwicklung am Beispiel von ausgewählten Qualitätssicherungsmaßnahmen
(1999)
Petrasch, Roland
Entwurf selbstdualer digitaler Schaltungen zur Fehlererkennung
(1999)
Moschanin, Wladimir
Interagentenkonnektionen in Multi-Agentensystemen
(2000)
Kupries, Mario
Schaltungsoptimierung durch Logiktransformationen während des Layoutentwurfs
(2001)
Hartje, Hendrik
Lernen und Lehren an der virtuellen Universität
(2001)
Kalkbrenner, Gerrit
Correctness proofs and probabilistic tests for constructive specifications and functional programs
(2001)
Huong, Dinh Thi Thanh
Informatische Modellbildung : modellieren von Modellen als ein zentrales Element der Informatik für den allgemeinbildenden Schulunterricht
(2002)
Thomas, Marco
Interaktive, dynamische 3D-Karten zur Kommunikation räumlicher Information
(2002)
Kersting, Oliver
Ein polynomialer Algorithmus zur Erkennung von Isomorphie von Graphen
(2002)
Rostock, Gisbert
Architekturbasierte Konstruktion von Multiagentensystemen
(2003)
Reinke, Thomas
Entwurf von fehlertoleranten kompinatorischen Schaltungen
(2003)
Otscheretnij, Vitalij
Anwendung alternierender Signale zum Entwurf von Fehlererkennungsschaltungen und Kompaktoren
(2003)
Dmitriev, Alexej
Über die Rolle von Architekturbeschreibungen im Software-Entwicklungsprozess
(2003)
Frank, Keller
1
to
20
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this.
You can find our privacy policy here.