> Details

Universität Leipzig Institut für Informatik

Report

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Report
Corporation: Universität Leipzig, Institut für Informatik
imprint: Leipzig: University of Leipzig, Institute of Computer Science, 2019-
Publication information: Nr. 1 (June 1994)-
Language: German
ISSN: 1430-3701
Keywords: Monografische Reihe
Origination:
Footnote:
Access State: Open Access

> Publishers' series

Spruth, Wilhelm G. [Author]; Hering, Klaus [Author]; Haupt, Reiner [Author]; Petri, U. [Author]
Zwischenbericht zur Arbeit im DFG-Projekt 'Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuerten Logiksimulation Wilhelm G. Spruth, Klaus Hering, Reiner Haupt, U. Petri
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Märtens, Holger [Author]
Options in Scan Processing for Shared-Disk Parallel Database Systems Holger Märtens
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Märtens, Holger [Author]
Disk Scheduling for Intermediate Results of Large Join Queries in Shared-Disk Parallel Database Systems Holger Märtens
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Apel, Joachim [Author]; Klaus, Uwe [Author]
A Note on Data Types Supporting Efficient Implementations of Polynomial Arithmetics Joachim Apel, Uwe Klaus
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Dötsch, Volker [Author]
Modellierung einer wissensbasierten, interaktiven Prozeßsteuerung Volker Dötsch
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Apel, Joachim [Author]
Computational Ideal Theory in Finitely Generated Extension Rings Joachim Apel
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Apel, Joachim [Author]; Klaus, Uwe [Author]
Aspects of Large Scale Symbolic Computation Management Joachim Apel, Uwe Klaus
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Herrmann, Paul [Author]; Kebschull, Udo [Author]; Spruth, Wilhelm G. [Author]
Hard- und Software-Entwicklung eines ATM-Testgenerator/ Monitors Paul Herrmann, Udo Kebschull, Wilhelm G. Spruth
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Der, Ralf [Author]; Lummer, Olaf [Author]; List, Thomas [Author]
Incremental nonlinear dynamic data reconciliation Ralf Der, Olaf Lummer, Thomas List
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Der, Ralf [Author]; Steinmetz, Ulrich [Author]; Balzuweit, Gerd [Author]; Schüürmann, Gerrit [Author]
Nonlinear principal component analysis Ralf Der, Ulrich Steinmetz, Gerd Balzuweit, Gerrit Schüürmann
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Steffen, Martin [Author]; Herrmann, Paul [Author]; Möhrke, Ulrich [Author]; Spruth, Wilhelm G. [Author]
Zwischenbericht zum Projekt 'FPGA-Entwurfssystem Test und Integration von Synthese- und Layoutwerkzeugen für den FPGA-Entwurf M. Steffen, Paul Herrmann, Ulrich Möhrke, Wilhelm G. Spruth
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Möhrke, Ulrich [Author]; Herrmann, Paul [Author]; Steffen, M. [Author]; Spruth, Wilhelm G. [Author]
Ein Branch&Bound-Ansatz zur Verdrahtung von Field Programmable Gate-Arrays Ulrich Möhrke, Paul Herrmann, M. Steffen, Wilhelm G. Spruth
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Apel, Joachim [Author]
Effective Gröbner Structures Joachim Apel
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Der, Ralf [Author]; Steinmetz, Ulrich [Author]
Wavelet analysis of EEG signals as a tool for the investigation of the time architecture of cognitive processes Ralf Der, Ulrich Steinmetz
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Sosna, Dieter [Author]
Document Version Management Using an Adapted Segment Tree Dieter Sosna
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Ramsch, Jan [Author]; Sosna, Dieter [Author]
Temporale Datenmodelle und Metainformationssysteme für Geoinformationssysteme Jan Ramsch, Dieter Sosna
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Balzuweit, Gerd [Author]; Der, Ralf [Author]; Herrmann, Michael [Author]; Welk, Martin [Author]
An Algorithm for Generalized Principal Curves with Adaptive Topology in Complex Data Sets Gerd Balzuweit, Ralf Der, Michael Herrmann, Martin Welk
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Ramsch, Jan [Author]; Sosna, Dieter [Author]
Das Metainformationssystem DST für ATKIS Jan Ramsch, Dieter Sosna
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Rogler, Frank [Author]; Dötsch, Volker [Author]
Das Konzept der Therapievollständigkeit medizinischer Wissensbasen Frank Rogler, Volker Dötsch
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Spruth, Wilhelm G. [Author]; Hering, Klaus [Author]; Haupt, Reiner [Author]; Petri, Udo [Author]
Zwischenbericht zur Arbeit im DFG-Projekt 'Modellpartitionierung, Logiksimulation Wilhelm G. Spruth, Klaus Hering, Reiner Haupt, Udo Petri
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Schmidt, Marco [Author]; Möhrke, Ulrich [Author]; Herrmann, Paul [Author]
VH2FG - ein VHDL nach Flussgraph Konverter für Caddy Marco Schmidt, Ulrich Möhrke, Paul Herrmann
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Möhrke, Ulrich [Author]; Herrmann, Paul [Author]; Schmidt, Marco [Author]
Das Xilinx-LCA-Format Ulrich Möhrke, Paul Herrmann, Marco Schmidt
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Wagner, Gerd [Author]
Vivid Agents: How They Deliberate, How they React, How They Are Verified Gerd Wagner
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Hamm-Beckmann, Anja [Author]; Sosna, Dieter [Author]
Entwurf eines relationalen Schemas für ein Literaturverwaltungssystem Anja Beckmann, Dieter Sosna
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Dietrich, Jens [Author]
On the compactness of nonmonotonic logics Jens Dietrich
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Schmidt, Marco [Author]; Möhrke, Ulrich [Author]; Herrmann, Paul [Author]
Verhaltensbeschreibung in der High-Level Synthese Marco Schmidt, Ulrich Möhrke, Paul Herrmann
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Herre, Heinrich [Author]; Wagner, Gerd [Author]
Stable Semantics of Temporal Deductive Databases Heinrich Herre, Gerd Wagner
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Herre, Heinrich [Author]; Wagner, Gerd [Author]
Solving Practical Reasoning Poblems with Extended Disjunctive Logic Programming Heinrich Herre, Gerd Wagner
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Hering, Klaus [Author]
Parallel Cycle Simulation Klaus Hering
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Heyer, Gerhard [Author]
On the notion of a Language Products Technology Gerhard Heyer
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Hering, Klaus [Author]; Haupt, Reiner [Author]; Villmann, Thomas [Author]
Cone-basierte, hierarchische Modellpartitionierung zur parallelen compilergesteuerten Logiksimulation beim VLSI-Design Klaus Hering, Reiner Haupt, Thomas Villmann
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Sosna, Dieter [Author]; Zschöttge, Steffen [Author]
Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen Dieter Sosna, Steffen Zschöttge
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Schierwagen, Andreas [Author]
Blickkontrolle in neuraler Architektur für Aktive Sehsysteme Andreas Schierwagen
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Hering, Klaus [Author]; Haupt, Reiner [Author]; Villmann, Thomas [Author]
An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms Klaus Hering, Reiner Haupt, Thomas Villmann
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Rahm, Erhard [Author]; Stöhr, Thomas [Author]
Controlling Disk Contention for Parallel Query Processing in Shared Disk Database Systems Erhard Rahm, Thomas Stöhr
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Hering, Klaus [Author]
Partitionierungsalgorithmen für Modelldatenstrukturen zur parallelen compilergesteuerten Logiksimulation (Projekt) Klaus Hering
Leipzig: University of Leipzig, Institute of Computer Science, 2019-

Apel, Joachim [Author]; Stückrad, Jürgen [Author]; Tworzewski, Piotr [Author]; Winiarski, Tadeusz [Author]
Reduction of everywhere convergent power series with respect to Gröbner bases Joachim Apel, Jürgen Stückrad, Piotr Tworzewski, Tadeusz Winiarski
Leipzig: University of Leipzig, Institute of Computer Science, 2019-