> Detailanzeige

Technische Universität Kaiserslautern Fachbereich Informatik

Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Titel: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Beteiligte: Technische Universität Kaiserslautern Fachbereich Informatik
Erschienen: Kaiserslautern: Techn. Univ., Fachbereich Informatik, 1979-
Erscheinungsverlauf: 1.1979 -
Sprache: Deutsch
ISSN: 0174-416X
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Urh. anfangs: Fachbeeich Informatik, Universität Kaiserslautern

Zugang

Dies ist der bibliografische Nachweis für eine Überordnung. Bestand der SLUB siehe "Mehrbändiges Werk" oder "Verlagsreihe"

> Verlagsreihe

Zdarsky, Frank A. [Verfasser:in]; Martinovic, Ivan [Verfasser:in]; Schmitt, Jens B. [Verfasser:in]
Lower bounds for contention in CSMA/CA-based wireless LANs Frank A. Zdarsky; Ivan Martinovic; Jens B. Schmitt
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2005

Fischer, Thomas [Verfasser:in]
Evaluation eines Verschmelzungsalgorithmus für Lösungen des Handlungsreisendenproblems Thomas Fischer
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2005

Gotzhein, Reinhard [Verfasser:in]; Khendek, Ferhat [Verfasser:in]
Compositional testing of communication systems R. Gotzhein; F. Khendek
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Bobach, Tom [Verfasser:in]; Umlauf, Georg [Verfasser:in]
Post-processing polygonal voxel data from numerical simulation T. Bobach, G. Umlauf
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Kollig, Thomas [Verfasser:in]; Keller, Alexander [Verfasser:in]
On the efficiency of multiple importance sampling robust instant global illumination T. Kollig; A. Keller
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Webel, Christian [Verfasser:in]; Fliege, Ingmar [Verfasser:in]; Geraldy, Alexander [Verfasser:in]
Ein maßgeschneidertes Kommunikationssystem für eine mobile Applikation mit Dienstgüteanforderungen C. Webel; I. Fliege; A. Geraldy
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Kolter, Robert [Verfasser:in]
Induction of linear temporal logic programs Robert Kolter
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Fischer, Thomas [Verfasser:in]; Merz, Peter [Verfasser:in]
Embedding a Chained Lin-Kernighan algorithm into a distributed algorithm Thomas Fischer; Peter Merz
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Webel, Christian [Verfasser:in]; Fliege, Ingmar [Verfasser:in]
SDL design patterns and components, Watchdog and Heartbeat C. Webel; I. Fliege
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Glässer, Uwe [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]; Prinz, Andreas [Verfasser:in]
An introduction to abstract state machines Uwe Glässer; Reinhard Gotzhein; Andreas Prinz
Kaiserslautern: Univ., Fachbereich Informatik, [2003]

Kolter, Robert [Verfasser:in]
Implementation issues in inductive logic programming Robert Kolter
Kaiserslautern: Univ., Fachbereich Informatik, 2003

Grammes, Rüdiger [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]
Towards the harmonisation of UML and SDL syntactic and semantic alignment Rüdiger Grammes; Reinhard Gotzhein. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Techn. Univ., Fachbereich Informatik, [2003]

Heinrich, Stefan [Verfasser:in]
Quantum integration in Sobolev classes Stefan Heinrich
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Kollig, Thomas [Verfasser:in] ; Keller, Alexander [Sonstige Person, Familie und Körperschaft]
Efficient multidimensional sampling T. Kollig, A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Keller, Alexander [Verfasser:in]
Monte Carlo & beyond course material A. Keller
Kaiserslautern: Univ., 2002

Wald, Ingo [Sonstige Person, Familie und Körperschaft]
Interactive global illumination I. Wald
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Kollig, Thomas [Verfasser:in] ; Keller, Alexander [Sonstige Person, Familie und Körperschaft]
Efficient illumination by high dynamic range images T. Kollig; A. Keller
Kaiserslautern: Univ., Fachbereich Informatik, 2002

Keller, Alexander [Verfasser:in]
Stratification by Rank-1-Lattices A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Megen, Friedrich van [Verfasser:in]
Mobile Agenten im Internet Infrastruktur und Interaktion Friedrich van Megen
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Heinrich, Stefan [Verfasser:in] ; Novak, Erich [Sonstige Person, Familie und Körperschaft]
On a problem in quantum summation Stefan Heinrich; Erich Novak
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Keller, Alexander [Verfasser:in]
Trajectory splitting by restricted replication A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Loría-Sáenz, Carlos [Verfasser:in]
A term-rewriting perspective of object oriented program specifications Carlos Loría-Sáenz
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Morin, Géraldine [Verfasser:in] ; Goldman, Ron [Sonstige Person, Familie und Körperschaft]
The analytic blossom Géraldine Morin; Ron Goldman
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Keller, Alexander [Verfasser:in]
Random fields on rank-1 lattices A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Keller, Alexander [Verfasser:in]; Heidrich, Wolfgang [Verfasser:in]
Interleaved sampling A. Keller; W. Heidrich
Kaiserslautern: Univ., Fachbereich Informatik, 2001

Friedel, Ilja [Verfasser:in] ; Keller, Alexander [Sonstige Person, Familie und Körperschaft]
Fast generation of randomized low discrepancy point sets I. Friedel; A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Heinrich, Stefan [Verfasser:in]
Quantum summation with an application to integration S. Heinrich
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Kollig, Thomas [Verfasser:in] ; Keller, Alexander [Sonstige Person, Familie und Körperschaft]
Efficient bidirectional path tracing by randomized quasi-Monte Carlo integration T. Kollig, A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Heinrich, Stefan [Verfasser:in] ; Novak, Erich [Sonstige Person, Familie und Körperschaft]
Optimal summation and integration by deterministic, randomized, and quantum algorithms Stefan Heinrich; Erich Novak
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Zhang, Ge [Verfasser:in]
Comparison and analysis of IP Billing technologies Ge Zhang
Kaiserslautern: Univ., 2001

Müller, Paul [Sonstige Person, Familie und Körperschaft]
Using transport services instead of specific transport protocols Paul Müller
Kaiserslautern: Fachbereich Informatik, Univ., 2000

Bossong, Ulrike [Verfasser:in] ; Hagen, H. [Sonstige Person, Familie und Körperschaft]; Schweigert, Dietmar [Sonstige Person, Familie und Körperschaft]
Surface fitting using multicriteria optimization techniques U. Bossong; H. Hagen; D. Schweigert
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 2000

Pauly, Mark [Verfasser:in]; Kollig, Thomas [Verfasser:in]; Keller, Alexander [Verfasser:in]
Metropolis light transport for participating media M. Pauly; T. Kollig; A. Keller
Kaiserslautern: Univ., 2000

Keller, Alexander [Verfasser:in]; Wald, Ingo [Verfasser:in]
Efficient importance sampling techniques for the photon map Alexander Keller; Ingo Wald
Kaiserslautern: Univ., 2000

Keller, Alexander [Verfasser:in]
Hierarchical Monte Carlo image synthesis Alexander Keller
Kaiserslautern: Fachbereich Informatik, Univ., 1999

Heinrich, Stefan [Verfasser:in]
Wavelet Monte Carlo methods for the global solution of integral equations Stefan Heinrich
Kaiserslautern: Fachbereich Informatik, Univ, 1999

Heinrich, Stefan [Verfasser:in]
The multilevel method of dependent tests Stefan Heinrich
Kaiserslautern: Fachbereich Informatik, Univ, 1999

Brockhage, Kerstin [Verfasser:in] ; Differding, Christiane [Sonstige Person, Familie und Körperschaft]; Knethen, Antje von [Sonstige Person, Familie und Körperschaft]
Bessere Änderbarkeit durch Verfolgbarkeit Auswahl eines Ansatzes Kerstin Brockhage; Christiane Differding; Antje von Knethen
Kaiserslautern: Fachbereich Informatik, Univ., 1999

Readi-Nasser, Rodrigo [Verfasser:in]
An intuitionistic approach to logic programming Rodrigo Readi-Nasser
Kaiserslautern: Fachbereich Informatik, Univ., 1998

Heinrich, Stefan [Verfasser:in] ; Sindambiwe, Eugène [Sonstige Person, Familie und Körperschaft]
Monte Carlo complexity of parametric integration Stefan Heinrich; Eugène Sindambiwe
Kaiserslautern: Fachbereich Informatik, Univ., 1998

Disch, Andreas [Verfasser:in]; Jacob, Philip [Verfasser:in]; Münchhofen, Michael [Verfasser:in]
A 3D-modeling- & visualization-toolkit for web-based applications Andreas Disch, Philip Jacob, Michael Münchhofen
Kaiserslautern: Fachbereich Informatik, Univ., 1998

Readi-Nasser, Rodrigo [Verfasser:in]
mj-reduction for proving in predicate logic extended abstract Rodrigo Readi-Nasser
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Thees, Joachim [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle eine Bestandsaufnahme J. Thees; R. Gotzhein
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Thees, Joachim [Verfasser:in]; Gotzhein, Reinhard [Verfasser:in]
A formal syntax and a formal semantics for Open Estelle J. Thees; R. Gotzhein
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Isselhard, Frank [Verfasser:in] ; Brunnett, Guido [Sonstige Person, Familie und Körperschaft]; Schreiber, Thomas [Sonstige Person, Familie und Körperschaft]
Polyhedral reconstruction of 3D objects by tetrahedra removal Frank Isselhard; Guido Brunnett; Thomas Schreiber. Hrsg.: AG CAD und Algorithmische Geometrie. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Heinrich, Stefan [Verfasser:in]
Monte Carlo complexity of global solution of integral equations Stefan Heinrich
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Keller, Alexander [Verfasser:in]
Instant radiosity Alexander Keller
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Readi-Nasser, Rodrigo [Verfasser:in]
The reduction oriented calculus mj Rodrigo Readi-Nasser
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Kirchberg, Paul [Verfasser:in] ; Mayer, Otto [Sonstige Person, Familie und Körperschaft]
Integration temporallogischer Verarbeitungskonzepte in C++ Paul Kirchberg; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Keller, Alexander [Verfasser:in]
The fast calculation of form factors using low discrepancy sequences Alexander Keller
Kaiserslautern: Univ., 1996

Rodrian, Hans-Christian [Verfasser:in]; Schüller, Peter [Verfasser:in]; Moock, Hardy [Verfasser:in]
Partikelgestützte Triangulierung skelettbasierter impliziter Flächen Hans-Christian Rodrian; Peter Schüller; Hardy Moock
Kaiserslautern: Fachber. Informatik, Univ., 1996

Keller, Alexander [Verfasser:in]
Quasi-Monte Carlo radiosity Alexander Keller
Kaiserslautern: Fachber. Informatik, Univ., 1996

Frank, Karin [Verfasser:in] ; Heinrich, Stefan [Sonstige Person, Familie und Körperschaft]
Computing discrepancies of Smolyak quadrature rules Karin Frank; Stefan Heinrich
Kaiserslautern: Fachber. Informatik, Univ., 1996

Heinrich, Stefan [Verfasser:in]
Variance reduction by means of deterministic computation collision estimate Stefan Heinrich. Hrsg.: AG Numerische Algorithmen. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1996

Frank, Karin [Verfasser:in] ; Heinrich, Stefan [Sonstige Person, Familie und Körperschaft]
Computing discrepancies related to spaces of smooth periodic functions Karin Frank; Stefan Heinrich. Hrsg.: AG Numerische Algorithmen. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1996

Differding, Christiane [Verfasser:in] ; Hoisl, Barbara [Sonstige Person, Familie und Körperschaft]; Lott, Christopher Martin [Sonstige Person, Familie und Körperschaft]
Technology package for the Goal Question Metric paradigm Christiane Differding; Barbara Hoisl; Christopher M. Lott
Kaiserslautern: Fachber. Informatik, Univ., 1996

Lott, Christopher Martin [Verfasser:in]
Measurement-based feedback in a process-centered software engineering environment Christopher M. Lott
Kaiserslautern: Fachber. Informatik, Univ., 1996

Differding, Christiane [Verfasser:in] ; Rombach, Dieter [Sonstige Person, Familie und Körperschaft]
Kontinuierliche Software-Qualitätsverbesserung in der industriellen Praxis Christiane Differding; Dieter Rombach
Kaiserslautern: Fachber. Informatik, Univ., 1996

Bredereke, Jan [Verfasser:in]
Automata-theoretic criteria for feature interactions in telecommunications systems Jan Bredereke
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Brunnett, Guido [Verfasser:in] ; Schreiber, Thomas [Sonstige Person, Familie und Körperschaft]; Braun, Jörg [Sonstige Person, Familie und Körperschaft]
The geometry of optimal degree reduction of Bezier curves Guido Brunnett; Thomas Schreiber und Jörg Braun
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Frank, Karin [Verfasser:in] ; Heinrich, Stefan [Sonstige Person, Familie und Körperschaft]; Pereverzev, Sergij Vʹjačeslavovyč [Sonstige Person, Familie und Körperschaft]; Pereverzev, Sergej V. [Sonstige Person, Familie und Körperschaft]
Information complexity of multivariate Fredholm equations and Sobolev classes Karin Frank; Stefan Heinrich; Sergei Pereverzev
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1995

Heinrich, Stefan [Verfasser:in]
Efficient algorithms for computing the L 2 discrepancy Stefan Heinrich
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 1995

Hahmann, Stefanie [Verfasser:in] ; Hagen, Hans [Sonstige Person, Familie und Körperschaft]
Numerical aspects of stability investigations on surfaces Stefanie Hahmann und Hans Hagen
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Ast, A. [Sonstige Person, Familie und Körperschaft]
Data procedural languages for FPL based machines presented at FPL '94, 4th International Workshop on Field-Programmable Logic and Applications, Prague, Czech Republic, September 7 - 9, 1994 A. Ast
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Frank, Karin [Verfasser:in]
Complexity of multivariate integral equations full solution in Sobolev spaces Karin Frank
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 1995

Heinrich, Stefan [Verfasser:in]
Variance reduction for Monte Carlo methods by means of deterministic numerical computation Stefan Heinrich
Kaiserslautern: Fachber. Informatik, Univ., 1995

Verlage, Martin [Verfasser:in]; Hientz, Horst [Verfasser:in]
Ähnlichkeit von Prozeßmodellen Martin Verlage ; Horst Hientz
Kaiserslautern: Fachber. Informatik, Univ., 1995

Bröckers, Alfred [Sonstige Person, Familie und Körperschaft]
A graphical representation schema for the software process modeling language MVP-L Hrsg.: AG Software Engineering. Alfred Bröckers
Kaiserslautern: Fachber. Informatik, Univ., 1995

Frank, Karin [Verfasser:in]
An optical algorithm for the local solution of integral equations Karin Frank
Kaiserslautern: Fachber. Informatik, Univ., 1995

Gotzhein, Reinhard [Sonstige Person, Familie und Körperschaft]
Improving the efficiency of automated protocol implementation using Estelle R. Gotzhein
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Jacob, Philip [Verfasser:in]
Evaluation of a BRDF using BSP trees Philip Jacob
Kaiserslautern: Fachber. Informatik, Univ., AG Computergraphics, 1995

Bröckers, Alfred [Sonstige Person, Familie und Körperschaft]
MVP-L language report version 2 Alfred Bröckers ... Hrsg. AG Software Engineering
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Hahmann, Stefanie [Verfasser:in]
Visualization of unstable surface regions Stefanie Hahmann
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Eppler, Reinhard [Sonstige Person, Familie und Körperschaft]
The Refus programming language Reinhard Eppler
Kaiserslautern: Fachbereich Inforamtik, Univ., 1994

Keller, Alexander [Verfasser:in]
A Quasi-Monte Carlo algorithm for the global illumination problem in the radiosity setting Alexander Keller
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994

Brunnett, Guido [Verfasser:in] ; Wendt, Jörg [Sonstige Person, Familie und Körperschaft]
A univariate method for plane elastic curves Guido Brunnett; Jörg Wendt
Kaiserslautern: Fachbereich Informatik, Univ., AG CAD und Algorithmische Geometrie, 1994

Lasser, Dieter [Verfasser:in]
Free form volumes definitions, applications, visualization techniques Dieter Lasser. Hrsg.: AG Graphische Datenverarbeitung und Computergeometrie
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Lasser, Dieter [Verfasser:in]
Rational tensor product Bézier volumes Dieter Lasser
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Frank, Karin [Verfasser:in]
Complexity of local solution of multivariate integral equations Karin Frank
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994

Deiß, Thomas [Verfasser:in]
An outsiders evaluation of PAISLey Thomas Deiß
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Preece, Jenny [Verfasser:in] ; Rombach, Hans Dieter [Sonstige Person, Familie und Körperschaft]; Rombach, Dieter [Sonstige Person, Familie und Körperschaft]
A taxonomy for combining software engineering (SE) & human-computer interaction (HCI) measurement approaches towards a common framework Jenny Preece; H. Dieter Rombach
Kaiserslautern: Fachbereich Informatik, Univ., AG Software Engineering, 1994

Eppler, Reinhard [Verfasser:in]
Best-fit pattern matching Reinhard Eppler
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Knauber, Peter [Verfasser:in] ; Vorwieger, Stefan [Sonstige Person, Familie und Körperschaft]; Eppler, Reinhard [Sonstige Person, Familie und Körperschaft]
Terminologie des Übersetzerbaus Peter Knauber; Stefan Vorwieger; Reinhard Eppler
Kaiserslautern: Fachbereich Informatik, Univ., AG Programmiersprachen und Compilerbau, 1994

Rombach, Hans Dieter [Sonstige Person, Familie und Körperschaft]; Rombach, Dieter [Sonstige Person, Familie und Körperschaft]
Qualitätsorientierte, prozeß-sensitive Softwareentwicklungsumgebungen im MVP-Projekt H. Dieter Rombach
Kaiserslautern: Fachbereich Informatik, Univ., AG Software Engineering, 1994

Lengen, Rolf H. van [Verfasser:in] ; Meyer, Jörg [Sonstige Person, Familie und Körperschaft]
Efficient 3-D visualization of hybrid medical data sets Rolf H. van Lengen; Jörg Meyer
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1994

Malik, Robi [Verfasser:in] ; Mayer, Otto [Sonstige Person, Familie und Körperschaft]
Eine Fixpunkt-Semantik für temporal stratifizierte Programme Robi Malik; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Weller, Frank [Verfasser:in]
B-spline surfaces with knot segments Frank Weller
Kaiserslautern: Fachbereich Informatik, Univ., AG Graphische Datenverarbeitung und Computergeometrie, 1994

Malik, Robi [Verfasser:in] ; Mayer, Otto [Sonstige Person, Familie und Körperschaft]
Spezifikation reaktiver Systeme durch temporal stratifizierte Programme Robi Malik; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Heinrich, Stefan [Verfasser:in]; Keller, Alexander [Verfasser:in]
Quasi-Monte Carlo methods in computer graphics 1 The QMC-buffer Stefan Heinrich; Alexander Keller
Kaiserslautern, 1994

Heinrich, Stefan [Verfasser:in]; Keller, Alexander [Verfasser:in]
Quasi-Monte Carlo methods in computer graphics 2 The radiance equation Stefan Heinrich; Alexander Keller
Kaiserslautern, 1994

Bredereke, Jan [Verfasser:in] ; Gotzhein, Reinhard [Sonstige Person, Familie und Körperschaft]
A case study on specification, detection and resolution of IN feature interactions with Estelle Jan Bredereke; Reinhard Gotzhein. Fachbereich Informatik, Univ. Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Hartenstein, Reiner W. [Verfasser:in]
Hardware, software codesign presented at FPL '93, 3rd International Workshop on Field-Programmable Logic and Applications, Oxford University, UK, September 7 - 10, 1993 Reiner W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Gotzhein, Reinhard [Verfasser:in]
Towards a basic reference model of open distributed processing Reinhard Gotzhein
Kaiserslautern: Univ., AG Numerische Algorithmen, 1994

Frank, Karin [Verfasser:in] ; Heinrich, Stefan [Sonstige Person, Familie und Körperschaft]
Complexity of local solution of integral equations K. Frank; S. Heinrich
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Brill, Manfred [Sonstige Person, Familie und Körperschaft]
Streamball techniques for flow visualization Manfred Brill ... Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Pereverzev, Sergij Vʹjačeslavovyč [Verfasser:in] ; Pereverzev, Sergej V. [Sonstige Person, Familie und Körperschaft]
Optimization of projection methods for solving ill-posed problems Sergei V. Pereverzev
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994

Lengen, Rolf H. van [Verfasser:in]; Matzat, Mathias [Verfasser:in]
Schattenberechnung für die Visualisierung hybrider Datensätze Rolf H. van Lengen; Mathias Matzat
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1994

Wippermann, Hans-Wilm [Sonstige Person, Familie und Körperschaft]
W-LISP-Sprachbeschreibung H.-W. Wippermann
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Hartenstein, Reiner W. [Verfasser:in]
The history of KARL and ABL invited paper NATO Advanced Study Institute on Fundamentals and Standards in Hardware Description Languages (HDL) April 15th - 27th, 1993, II Ciocco, Italy Reiner W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Jacob, Philip [Verfasser:in]
Analytische Formfaktorberechnung mittels SVBSP-Bäumen P. Jacob
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Rombach, Hans Dieter [Verfasser:in] ; Verlage, Martin [Sonstige Person, Familie und Körperschaft]; Rombach, Dieter [Sonstige Person, Familie und Körperschaft]
How to assess a software process modeling formalism from a project member's point of view H. Dieter Rombach; Martin Verlage
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Wendel, Oliver [Herausgeber:in]
Theorie und Praxis neuronaler Netze Seminar SS 93 Oliver Wendel ... (Hrsg.)
Kaiserslautern: Univ., Fachbereich Informatik, 1993

Schreiber, Thomas [Verfasser:in]
Surface analysis using arithmetic operations on Bézier surfaces Thomas Schreiber
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Jacob, Philip [Verfasser:in]
Shadow mapping a method of evaluating and storing diffuse radiosities in static environments Philip Jacob
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Schreiber, Thomas [Verfasser:in] ; Braun, Jörg [Sonstige Person, Familie und Körperschaft]
Optimale Gradreduktion von Kurven und Flächen in Bézierdarstellung Thomas Schreiber und Jörg Braun. AG Graphische Datenverarbeitung und Computergeometrie
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Lasser, Dieter [Verfasser:in] ; Bonneau, Georges-Pierre [Sonstige Person, Familie und Körperschaft]
Bézier representation of trim curves Dieter Lasser; Georges-Pierre Bonneau
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Bröckers, Alfred [Sonstige Person, Familie und Körperschaft]
MVP-L languages report Alfred Bröckers ... Hrsg.: AG Software Engineering; [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Denzer, Ralf [Verfasser:in]
Architektur offener Umweltinformationssysteme Ralf Denzer
Kaiserslautern: Univ., FB Informatik, 1992

Spies, Klaus [Verfasser:in] ; Mayer, Otto [Sonstige Person, Familie und Körperschaft]
EITeL ein intervallbasierter temporallogischer Ansatz Klaus Spies und Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Knauber, Peter [Verfasser:in] ; Verlage, Martin [Sonstige Person, Familie und Körperschaft]; Schramm, Wolfgang [Sonstige Person, Familie und Körperschaft]
Der ProLan-X-Sprachreport eine objekt-orientierte Sprache für die Modellierung von Software-Prozessen P. Knauber; M. Verlage; W. Schramm
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Denzer, Ralf [Verfasser:in]
Möglichkeiten eines Immissionsdatenverbundes in Österreich Ralf Denzer
Kaiserslautern: Fachbereich Informatik, Univ., AG Graphische Datenverarbeitung und Computergeometrie, 1992

Denzer, Ralf [Verfasser:in]
An object oriented architecture for user interface management in distributed applications Ralf Denzer
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Keller, Alexander [Verfasser:in]
The fundamental model of virtual reality for purposes of simulation Alexander Keller. Hrsg.: AG Graphische Datenverarbeitung und Computergeometrie
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1992

Malik, Robi [Verfasser:in] ; Mayer, Otto [Sonstige Person, Familie und Körperschaft]
Entwurf von Algorithmen für parallele Verarbeitung in Nested Interpolation Based Grid Files mit zweischichtigen Directories Robi Mali; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Heinrich, Stefan [Verfasser:in]
Random approximation in numerical analysis S. Heinrich
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Farin, Gerald E. [Verfasser:in] ; Hagen, Hans [Sonstige Person, Familie und Körperschaft]; Hansford, Dianne [Sonstige Person, Familie und Körperschaft]
Gauss frame offsets G. Farin; H. Hagen; D. Hansford. Hrsg.: AG Graphische Datenverarbeitung und Computergeometrie. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Schreiber, Thomas [Verfasser:in]
Arithmetische Operationen auf Bezierflächen Thomas Schreiber
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Hagen, Hans [Verfasser:in]; Santarelli, Paolo [Verfasser:in]
Variational design of smooth Bezier- and B-spline-curves H. Hagen; P. Santarelli
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Schreiber, Thomas [Verfasser:in]
A Voronoi diagram based adaptive k-means-type clustering algorithm for multidimensional weighted data Thomas Schreiber
Kaiserslautern: Univ., Fachbereich Informatik, 1991

Blödel, Joachim [Sonstige Person, Familie und Körperschaft]
Device descriptions EDIF version 2 0 5; proposal no. DM&V-3, version 1.0 by J. Blödel ... Hrsg.: AG Rechnerstrukturen
Kaiserslautern, 1991

Wippermann, Hans-Wilm [Verfasser:in] ; Wippermann, W. [Sonstige Person, Familie und Körperschaft]
W-LISP - Definition und Implementierung W. Wippermann
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Gerten, Rainer [Verfasser:in]; Kirschall, Gregor [Verfasser:in]
Quelltextgenerierung für Software-Entwurfsgraphen Rainer Gerten; Gregor Kirschall
Kaiserslautern: Univ., Fachbereich Informatik, 1991

Rahm, Erhard [Verfasser:in]
Performance evaluation of extended storage architectures for transaction processing Erhard Rahm
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Lasser, Dieter [Verfasser:in]
Composition of tensor product Bézier representations Dieter Lasser
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Gerten, Rainer [Verfasser:in]; Powarzynski, Marcus [Verfasser:in]
Vergleichsverfahren für Systementwurfsgraphen Konzepte, Algorithmen, Implementation Rainer Gerten; Marcus Powarzynski
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Schwarz, Reinhard [Verfasser:in] ; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]
Detecting causal relationships in distributed computations in search of the holy grail Reinhard Schwarz; Friedemann Mattern. AG Systemsoftware, Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Mehl, Horst [Verfasser:in]
Breaking ties deterministically in distributed simulation schemes Horst Mehl. Arbeitsgruppe Systemsoftware. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Hartenstein, Reiner W. [Sonstige Person, Familie und Körperschaft]
A novel ASIC design approach bades on o new machine paradigm R. W. Hartenstein ... Hrsg.: AG Rechnerstrukturen
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Lasser, Dieter [Verfasser:in]; Purucker, Arnim [Verfasser:in]
B-Spline-Bézier representation of rational geometric spline curves quartics and quintics Dieter Lasser; Arnim Purucker
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Mattern, Friedemann [Verfasser:in]
Distributed termination detection with sticky state indicators Friedemann Mattern
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Madlener, Klaus [Verfasser:in] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]
Decidable sentences for context-free groups K. Madlener; F. Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Sattler-Klein, Andrea [Verfasser:in]
Divergence phenomena during completion Andrea Sattler-Klein
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Hanke, Christof [Verfasser:in] ; Schob, Klaus [Sonstige Person, Familie und Körperschaft]; Todtenhöfer, Rainer [Sonstige Person, Familie und Körperschaft]
Heuristiken zum objektorientierten Programmentwurf C. Hanke; K. Schob; R. Todtenhöfer
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Kuhn, Norbert [Verfasser:in] ; Madlener, Klaus [Sonstige Person, Familie und Körperschaft]; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]
A test for [lambda]-confluence for certain prefix rewriting systems with applications to the generalized word problem N. Kuhn; K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1990

Lasser, Dieter [Verfasser:in]; Kirchgeßner, Peter [Verfasser:in]
Definition of solid primitives by rational Bezier volumes Dieter Lasser; Peter Kirchgeßner
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Ouksel, M. A. [Verfasser:in]; Mayer, Otto [Verfasser:in]
The nested interpolation based grid file M. Aris Ouksel; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Richter, Jörg [Verfasser:in]
Ein mathematisches Modell für ereignisgesteuerte Simulation Jörg Richter
Kaiserslautern: Univ., Fachbereich Informatik, 1990

Hartenstein, Reiner W. [Sonstige Person, Familie und Körperschaft]
A novel paradigm of parallel computation and its use to implement simple high performance hardware presented at. International Conference on Information Technology commemorating the 30th anniversary of The Information Processing Society of Japan (IPSJ), October 1 - 5, 1990 in Tokyo, Japan R. W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Lasser, Dieter [Verfasser:in] ; Hagen, Hans [Sonstige Person, Familie und Körperschaft]
Interval weighted tau-splines Dieter Lasser; Hans Hagen
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Dietrich, Eckhard [Verfasser:in]; Gerten, Rainer [Verfasser:in]
Kommunikationskomponente für eine dezentrale Software-Entwicklungsumgebung Eckhard Dietrich; Rainer Gerten
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Otto, Friedrich [Verfasser:in]
Restrictions of congruences generated by finite canonical string-rewriting systems Friedrich Otto
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1989

Hartenstein, Reiner W. [Verfasser:in] ; Hirschbiel, A. [Sonstige Person, Familie und Körperschaft]; Weber, Michael [Sonstige Person, Familie und Körperschaft]
Xputers an open family of non-von Neumann architectures R. W. Hartenstein; A. Hirschbiel; M. Weber. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1989

Lasser, Dieter [Verfasser:in]
Kurven- und Flächen-Verschneidungsmethoden Lasser
Kaiserslautern: Univ., FB Informatik, 1989

Otto, Friedrich [Verfasser:in]; Zhang, Louxin [Verfasser:in]
Decision problems in special monoids Otto; Zhang
Kaiserslautern: Univ., FB Informatik, 1989

Gerten, Rainer [Verfasser:in]; Jacob, Uwe [Verfasser:in]
Ein Report-Generator für eine Softwareentwicklungsumgebung Rainer Gerten; Uwe Jacob
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Hoch, Rainer [Verfasser:in]; Todtenhöfer, Rainer [Verfasser:in]
Konzeption und Implementierung einer Entwicklungsumgebung für objektorientierte Programmiersprachen Rainer Hoch; Rainer Todtenhöfer. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachber., Univ., 1989

Wilke, Volker [Verfasser:in]
Simulation von Kommunikationsprotokollen von Volker Wilke. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachber., Univ., 1989

Kuhn, Norbert [Verfasser:in] ; Madlener, K. [Sonstige Person, Familie und Körperschaft]
Application of rewriting techniques to solve the generalized word problem in groups N. Kuhn; K. Madlener
Kaiserslautern: Univ., Fachbereich Informatik, 1989

He, Xing [Verfasser:in]
Eine Übersicht über die Lastverteilung in verteilten Systemen von Xing He
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Alfs, Gerold [Verfasser:in] ; Alfs, Gerold
Design and implementation of a heuristic search algorithm for the KARATE System by Gerold Alfs
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Blödel, Joachim [Sonstige Person, Familie und Körperschaft]
EDIF notation for layout/circuit relations von Joachim Blödel
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Blödel, Joachim [Sonstige Person, Familie und Körperschaft]
Automatische Extraktion von Register-Transfer Beschreibungen aus dem Layout integrierter Schaltungen von Joachim Blödel
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Hartenstein, Reiner W. [Verfasser:in]; Hirschbiel, Alexander G. [Verfasser:in]; Weber, Michael [Verfasser:in]
MOM-MAP oriented machine an innovative computing architecture R. W. Hartenstein; A. Hirschbiel; M. Weber
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Sattler-Klein, Andrea [Verfasser:in]
The SMOV-strategy a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm Andrea Sattler-Klein
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Otto, Friedrich [Verfasser:in] ; Wrathall, Celia [Sonstige Person, Familie und Körperschaft]
Characterizations of overlaps in free partially commutative monoids Friedrich Otto; Celia Wrathall
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Bomarius, Frank [Verfasser:in]; Vettermann, Matthias [Verfasser:in]
Mmf, ein makefile-Generator Frank Bomarius; Matthias Vettermann. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Rahm, Erhard [Verfasser:in]
Design and evaluation of concurrency and coherency control techniques for database sharing systems Erhard Rahm. AG Datenverwaltungssysteme, Fachbereich Mathematik, Universität Kaiserslautern; Department of Computer Science, University Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Schäfer, Ralf [Verfasser:in]; Bomarius, Frank [Verfasser:in]
Modula-2C e. Übersetzer von MODULA-2 nach C Ralf Schaefer; Frank Bomarius
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Rahm, Erhard [Verfasser:in]
Optimistische Synchronisationsverfahren in Datenbanksystemen ein Überblick Erhard Rahm. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Mattern, Friedemann [Verfasser:in]
Zur Problematik der Fehlerbehandlung in Compilern ein Diskussionsbeitrag Friedemann Mattern. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Bomarius, Frank [Verfasser:in]; Kaltz, Olaf [Verfasser:in]
Konzeption und Implementierung eines Window-Handlers für CADMUS PCS Frank Bomarius; Olaf Kaltz
Kaiserslautern: Fachber., Univ., 1987

Narendran, Paliath [Verfasser:in] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]
It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free Paliath Narendran; Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Agne, Ralf [Verfasser:in]; Mattern, Friedemann [Verfasser:in]
Korrekturlose Fehlerbehandlung von Programmiersprachen zur Performanz automat. generierbarer Syntaxchecker auf d. Basis von Token-Nachbarschaftsrelationen Ralf Agne; Friedemann Mattern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Rahm, Erhard [Verfasser:in]
Performance analysis of primary copy synchronization in database sharing systems Erhard Rahm
Kaiserslautern: Fachb. Informatik, Univ., 1987

Bomarius, Frank [Verfasser:in]; KLaus, Hans-Jürgen [Verfasser:in]
Ein Editor für Unparsing Schemes F. Bomarius; H.-J. Klaus
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Bomarius, Frank [Verfasser:in]; Hoch, Rainer [Verfasser:in]
Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums Frank Bomarius; Rainer Hoch
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Hartenstein, Reiner [Sonstige Person, Familie und Körperschaft]
KARL-related literature ABAKUS AG Rechnerstrukturen u. Techn. Informatik
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Jerkov, Georgi [Verfasser:in]; Knieriemen, Thomas [Verfasser:in]
Autonome mobile Roboter Einführung und Überblick Georgi Jerkov; Thomas Knieriemen. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Gerten, Rainer [Verfasser:in] ; Gerten, Reiner [Sonstige Person, Familie und Körperschaft]
HL-View Programmierumgebung für e. Benutzerschnittstelle
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Herold, Alexander [Herausgeber:in]; Künkler, A. [Sonstige Person, Familie und Körperschaft]
Rüstung, Forschung, Informatik Seminarvorträge WS 1984/85 Hrsg.: A. Herold; A. Künkler
Kaiserslautern: Fachbereich Informatik, Univ., [1986]

Boley, Harold [Verfasser:in]
RELFUN: a relational, functional integration with valued clauses Harold Boley
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Nehmer, Jürgen [Sonstige Person, Familie und Körperschaft]
DISTOS eine Konstruktionsmethodik für verteilte Betriebssysteme ; (Projektabschlußbericht) J. Nehmer
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Härder, Theo [Verfasser:in]; Petry, Erwin [Verfasser:in]
Evaluation of a multiple version scheme for concurrency control Theo Härder; Erwin Petry
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Mattos, Nelson Mendonça [Verfasser:in]
Konzepte zur Integration von Expertensystemen und Datenbanksystemen Nelson Mattos
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Rahm, Erhard [Verfasser:in]
Buffer invalidation problem in DB-sharing systems Erhard Rahm
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Otto, Friedrich [Verfasser:in]
On deciding the confluence of a finite string-rewriting system on a given congruence class Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Madlener, Klaus [Verfasser:in] ; Otto, Friedrich [Sonstige Person, Familie und Körperschaft]
Commutativity in groups presented by finite Church-Rosser Thue systems Klaus Madlener; Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Bräunl, Thomas [Verfasser:in]; Hinkel, Ralf [Verfasser:in]; Puttkamer, Ewald von [Verfasser:in]
Konzepte der Programmiersprache Modula-P Thomas Bräunl; Ralf Hinkel; Ewald von Puttkamer
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Mattos, Nelson Mendonça [Verfasser:in]
Modellierung von FRAME-Konzepten mit dem MAD-Modell Nelson Mattos Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Otto, Friedrich [Verfasser:in]
The undecidability of self-embedding for finite semi-Thue and Thue systems Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Madlener, Klaus [Verfasser:in]; Otto, Friedrich [Verfasser:in]
Using string-rewrting for solving the word problem for finitely presented groups Klaus Madlener; Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Zimmermann, Gerhard [Verfasser:in]; Ramnarayan, Raja [Verfasser:in]
PESA, a parallel expert systems architecture Gerhard Zimmermann; Raja Ramnarayan
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Schwinn, Bernd [Verfasser:in]
Ein Und-paralleles Ausführungsmodell für logische Programme Bernd Schwinn
Kaiserslautern: Fachber., Univ., 1985

Härder, Theo [Verfasser:in]; Rahm, Erhard [Verfasser:in]
Klassifikation von Mehrrechner-Datenbanksystemen Anforderungen, Entwurfsprinzipien, Realisierungskonzepte T. Härder; E. Rahm
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Puttkamer, Ewald von [Verfasser:in]; Knieriemen, Thomas [Verfasser:in]; Hartert, Daniel [Verfasser:in]
IGSIC, interaktiver graphischer Silicon-Compiler Kurzbeschreibung E. von Puttkamer; Thomas Knieriemen; Daniel Hartert
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Girardi, Guglielmo [Verfasser:in]; Hartenstein, Reiner W. [Verfasser:in]; Welters, Udo [Verfasser:in]
ABLED, a RT level schematics editor and simulator interface accepted for presentation at the EUROMICRO symposium, Brussels, Belgium, Sept. 1985 Guglielmo Girardi; Reiner W. Hartenstein; Udo Welters
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Rahm, Erhard [Verfasser:in]
A reliable and efficient synchronization protocol for DB-sharing Erhard Rahm
Kaiserslautern: Fachber., Univ., 1985

Alfs, Gerold [Verfasser:in] ; Hartenstein, Reiner W. [Sonstige Person, Familie und Körperschaft]; Wodtko, Andrea [Sonstige Person, Familie und Körperschaft]; Hartenstein, Reiner W. [Sonstige Person, Familie und Körperschaft]
C-testable cells for ATPG from RT descriptions by G. Alfs; R. W. Hartenstein; A. Wodtko
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Lichter, Horst [Verfasser:in]
Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische und algorithmische Spezifikationen Horst Lichter
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Meyer-Wegener, Klaus [Verfasser:in]
Functional and implementational aspects of transaction-processing monitors research report Klaus Meyer-Wegener
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Eckl, Gudrun [Verfasser:in]
Ein Precompiler fuer ModPascal Gudrun Eckl
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Reinfrank, Michael [Verfasser:in]
An introduction to non-monotonic reasoning Michael Reinfrank
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Ohlbach, Hans Jürgen [Verfasser:in]
Theory unification in abstract clause graphs Hans Jürgen Ohlbach
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Freitag, Hartmut [Verfasser:in]; Klug, Jürgen [Verfasser:in]; Reinfrank, Michael [Verfasser:in]
KL-DNMS ein System zur Verwaltung nicht-monotoner Abhaengigkeitsnetze Hartmut Freitag; Juergen Klug; Michael Reinfrank
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Mattern, Friedemann [Verfasser:in] ; Beilken, Christian [Sonstige Person, Familie und Körperschaft]
The distributed programming language CSSA a very short introduction F. Mattern; C. Beilken
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Reuter, Andreas [Verfasser:in]
Load control and load balancing in a shared database management system Andreas Reuter
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Hartenstein, Reiner W. [Verfasser:in]
Kaiserslautern's CAD activities within the CVT project Reiner W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Hinkel, Ralf [Verfasser:in]
Entwicklung eines Mikrorechners zur Steuerung eines autarken Labyrinthroboters Ralf Hinkel
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Otto, Friedrich [Verfasser:in]
On deciding whether a monoid is a free monoid or is a group Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Hartenstein, Reiner W. [Verfasser:in]; Wodtko, Andrea [Verfasser:in]
Automatic generation of functional test patterns from RT language source Reiner W. Hartenstein; Andrea Wodtko
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Avenhaus, Jürgen [Herausgeber:in]; Madlener, K. [Herausgeber:in]
Combinatorial algorithms in algebraic structures Hrsg.: J. Avenhaus
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Otto, Friedrich [Verfasser:in]
On two problems related to cancellativity F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Härder, Theo [Verfasser:in] ; Meyer-Wegener, Klaus [Sonstige Person, Familie und Körperschaft]
Transaktionssysteme, TP-Monitore, DB/DC-Systeme eine Systematik ihrer Aufgabenstellung und Implementierung Theo Härder; Klaus Meyer-Wegener
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Bastian, Klaus P. [Verfasser:in]; Hartenstein, Reiner W. [Verfasser:in]; Nebel, Wolfgang [Verfasser:in]
VLSI-Algorithmen innovative Schaltungstechnik statt Software; Vortrag zur VDI-Tagung Mikroelektronik in der Automatisierungstechnik, Baden-Baden, April 1985 K. P. Bastian; R. W. Hartenstein; W. Nebel
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Bastian, K. P. [Verfasser:in] ; Hartenstein, Reiner W. [Sonstige Person, Familie und Körperschaft]; Nebel, W. [Sonstige Person, Familie und Körperschaft]
Innovative Schaltungstechnik statt Software SHUFFLE SORT ; VLSI-Beispiel eines Sortierers K. P. Bastian; R. W. Hartenstein; W. Nebel
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Hartenstein, Reiner W. [Verfasser:in]; Lemmert, Karin [Verfasser:in]
The hardware description language Karl-III its integration into a CAD tool box for VLSI authors: Reiner W. Hartenstein; Karin Lemmert
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Härder, Theo [Verfasser:in]; Rahm, Erhard [Verfasser:in]
Quantitative Analyse eines Synchronisationsalgorithmus für DB-Sharing T. Härder; E. Rahm
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Rahm, Erhard [Verfasser:in]
Primary copy synchronization for DB-sharing Erhard Rahm
Kaiserslautern: Fachber., Univ., 1985

Dilger, Werner [Verfasser:in]; Schneider, Hans-Albert [Verfasser:in]
A theorem proving associative processor Werner Dilger; Hans-Albert Schneider
Kaiserslautern: Fachbereich Informatik, Univ., [1985]

Wippermann, Hans-Wilm [Verfasser:in]
PASCAL 8X - ein Konzept zur Weiterentwicklung anweisungsorientierter Programmiersprachen H.-W. Wippermann
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Beierle, Christoph [Verfasser:in]; Voß, Angelika [Verfasser:in]
Implementation specifications Ch. Beierle; A. Voss
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Avenhaus, Jürgen [Verfasser:in]
On the termination of the Knuth-Bendix completion algorithm J. Avenhaus
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Härder, Theo [Verfasser:in]; Meyer-Wegener, Klaus [Verfasser:in]
Vergleich der Datenbank-Programmierung bei navigierenden Anwendungen am Beispiel von SESAM und UDS Theo Härder; Klaus Meyer-Wegener
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Avenhaus, Jürgen [Verfasser:in]
On congruences and normal forms definable by term rewriting systems J. Avenhaus
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Schrapel, Rainer [Verfasser:in]
Kommunikation in verteilten Betriebssystemen Rainer Schrapel
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Mattern, Friedemann [Verfasser:in]
An annotated bibliography on error handling in compilers Friedemann Mattern
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Küspert, Klaus [Verfasser:in]
Principles of error detection in storage structures of database systems Klaus Küspert
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Olthoff, Walter [Verfasser:in]
ModPascal report Walter Olthoff
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Küspert, Klaus [Verfasser:in]
Überlegungen zur schnellen 'online' Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen Klaus Küspert
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Raulefs, Peter [Verfasser:in]
Foundation of expert systems for conceptional design in mechanical engineering Peter Raulefs
Kaiserslautern: Univ., 1984

Otto, Friedrich [Verfasser:in]
Some undecidability results for non-monadic Church-Rosser Thue systems Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Madlener, Klaus [Verfasser:in]; Otto, Friedrich [Verfasser:in]
Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems Klaus Madlener; Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Reinfrank, Michael [Verfasser:in]
Distributed constraint propagation a case study Michael Reinfrank
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Beilken, Christian [Verfasser:in]; Mattern, Friedemann [Verfasser:in]; Spenke, Michael [Verfasser:in]
Entwurf und Implementierung von CSSA Programm-Dokumentation 2 Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Göbel, Richard [Verfasser:in]
A completion procedure for globally finite term rewriting systems Richard Göbel
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Mayer, Otto [Verfasser:in]; Schmücker, Astrid [Verfasser:in]
Praktikum Übersetzererzeugende Systeme Mayer; Schmücker
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Reuter, Andreas [Verfasser:in]
An analytic model of transaction interference in database systems draft report Andreas Reuter
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Voss, Hans [Verfasser:in]
Programming in a distributed environment a collection of CSSA examples
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Beierle, Christoph [Verfasser:in] ; Voß, Angelika [Sonstige Person, Familie und Körperschaft]
Canonical term functors and parameterization-by-use for the specification of abstract data types Ch. Beierle; A. Voß
Kaiserslautern: Fachbereich Informatik, Univ., 1983

Beilken, Christian [Verfasser:in]; Mattern, Friedemann [Verfasser:in]; Spenke, Michael [Verfasser:in]
Entwurf und Implementierung von CSSA A Konzepte Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Verfasser:in]; Mattern, Friedemann [Verfasser:in]; Spenke, Michael [Verfasser:in]
Entwurf und Implementierung von CSSA Programm-Dokumentation 1 Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Verfasser:in]; Mattern, Friedemann [Verfasser:in]; Spenke, Michael [Verfasser:in]
Entwurf und Implementierung von CSSA C CSSA-Systembenutzung Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Verfasser:in]; Mattern, Friedemann [Verfasser:in]; Spenke, Michael [Verfasser:in]
Entwurf und Implementierung von CSSA D CSSA-Programmbeispiele Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Verfasser:in]; Mattern, Friedemann [Verfasser:in]; Spenke, Michael [Verfasser:in]
Entwurf und Implementierung von CSSA B CSSA-Sprachbeschreibung Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Schmauch, Cosima [Verfasser:in]
Another error recovery algorithm for LR parsers Cosima Schmauch
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Küspert, Klaus [Verfasser:in]
Modelle für die Leistungsanalyse von Hashtabellen mit 'Separate Chaining'
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Madlener, Klaus [Verfasser:in]; Otto, Friedrich [Verfasser:in]
Encoding complexities in decision problems of finitely presented combinatorial systems K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Schmauch, Cosima [Verfasser:in]
Attribute evaluation after recovery from syntax error
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Effelsberg, Wolfgang [Verfasser:in]; Härder, Theo [Verfasser:in]
Principles of database buffer management Wolfgang Effelsberg; Theo Härder
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Hartenstein, Reiner W. [Verfasser:in]; Weber, Bernd [Verfasser:in]
KARL-II eine Sprache zur Spezifikation beim Entwurf kundenspezifischer Digitalbausteine Reiner Hartenstein; Bernd Weber
Kaiserslautern: Fachbereich Informatik, Univ., 1982

Schmauch, Cosima [Verfasser:in]
Invarianz der LR(k)-Eigenschaft beim Einfügen von epsilon-Nichtterminalen
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Madlener, Klaus [Verfasser:in]; Otto, Friedrich [Verfasser:in]
Finitely generated derivation, bounded presentations of groups K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Otto, Friedrich [Verfasser:in]
Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten F. Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1982

Liell, Peter [Verfasser:in]; Schaaf, Ernst [Verfasser:in]
Die Hardwarebeschreibungssprache KARL II Sprachbeschreibung P. Liell; E. Schaaf
Kaiserslautern: Univ., Fachbereich Informatik, 1981

Küspert, Klaus [Verfasser:in]
Storage utilization in B star-trees with a generalized overflow technique
Kaiserslautern: Univ., Fachbereich Informatik, 1981

Madlener, Klaus [Verfasser:in]; Otto, Friedrich [Verfasser:in]
Derivation-bounded Groups K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1981

Avenhaus, J. [Verfasser:in]; Madlener, K. [Verfasser:in]
Polynomial time algorithms for the Nielsen reduction and related problems in free groups J. Avenhaus; K. Madlener
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Hartenstein, Reiner W. [Verfasser:in]
VLSI-Bausteine in geringen Stückzahlen für Spezialanwendungen
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Nehmer, Jürgen [Verfasser:in]
The implementation of concurrency for a PL/I-like language J. Nehmer
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Nehmer, Jürgen [Verfasser:in]
Implementierungstechniken für Monitore Jürgen Nehmer
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Avenhaus, Jürgen [Verfasser:in]; Madlener, Klaus [Verfasser:in]
P-complete problems in free groups J. Avenhaus; K. Madlener
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Avenhaus, J. [Verfasser:in]; Madlener, K. [Verfasser:in]
Polynomial algorithms for problems in free groups based on Nielsen type arguments J. Avenhaus; K. Madlener
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Dieckmann, Joachim [Sonstige Person, Familie und Körperschaft]
Die Realisierung des ESRA-Rechnernetz-Baukasten-Systems ein Ansatz zu einer Methodologie für zuverlaessige Software J. Dieckmann
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Dieckmann, Joachim [Verfasser:in]; Hartenstein, Reiner W. [Verfasser:in]
A local micro network to support software modularity by J. Dieckmann, R. W. Hartenstein
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Konrad, Werner [Verfasser:in]
Fault-tolerance aspects of distributed computer systems
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Schlichtiger, Peter [Verfasser:in]
On how to construct efficiently parsable grammars Peter Schlichtiger
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Madlener, Klaus [Verfasser:in]; Otto, Friedrich [Verfasser:in]
Eine En-Frattini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe K. Madlener; F. Otto
Kaiserslautern: Univ., 1980

Schlichtiger, Peter [Verfasser:in]
Partitioned chain grammars Peter Schlichtiger
Kaiserslautern: Fachbereich Informatik, Univ., 1979

Avenhaus, J. [Verfasser:in] ; Madlener, K. [Sonstige Person, Familie und Körperschaft]
An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation J. Avenhaus; K. Madlener
Kaiserslautern: Fachbereich Informatik, Univ., 1979

Hartenstein, Reiner W. [Verfasser:in]; Puttkamer, Ewald von [Verfasser:in]
KARL a hardware description language as part of a CAD tool for VLSI by R. W. Hartenstein; E. von Puttkamer
Kaiserslautern: Univ., Fachbereich Informatik, 1979

Schlichtiger, Peter [Verfasser:in]
On the parsing of partitioned chain grammars Peter Schlichtiger
Kaiserslautern: Fachbereich Informatik, Univ., 1979

Dausmann, Manfred [Verfasser:in]
MODULA 7/32 a version of MODULA for the INTERDATA 7/32
Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1979

Konrad, Werner [Verfasser:in]
Communication and testing in a loosely coupled multi microcomputer system paper accepted for the ACM-workshop on microcomputing, Munich, F.R.G. Oct. 24/25, 1979
Kaiserslautern: Univ., 1979

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: