> Detailanzeige

Universität des Saarlandes Fachbereich Informatik, Universität des Saarlandes Fachrichtung Informatik

Technischer Bericht / A

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: Elektronische Schriftenreihe; Monographische Schriftenreihe
Titel: Technischer Bericht / Fachbereich Informatik, Universität des Saarlandes
A
Werktitel: Technischer Bericht (Fachbereich Informatik, Universität des Saarlandes)
Weitere Titel: Paralleltitel teils: Technical report
Hauptsacht. teils: Fachbereich Informatik, Universität des Saarlandes
Hauptsacht. teils: Fachbereich 10, Universität des Saarlandes
Haupttitel 1985-[?]: Universität des Saarlandes, Fachrichtung 10.2 Informatik
Körperschaft: Universität des Saarlandes, Fachbereich Informatik ; Universität des Saarlandes, Fachrichtung Informatik
Erschienen: Saarbrücken; Saarbrücken: Saarländische Universitäts- und Landesbibliothek, May 1985-
Erscheinungsverlauf: 85, 7-2003, 01; 2012, 02 -
Sprache: Deutsch
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Gesehen 20.09.2016
Zugangsstatus: Freier Zugang

> Verlagsreihe

Backes, Michael [VerfasserIn]; Meiser, Sebastian [VerfasserIn] ; Slowik, Marcin [Sonstige Person, Familie und Körperschaft]
2015,3: Your choice MATor(s) large-scale quantitative anonymity assessment of Tor path selection algorithms against structural attacks Michael Backes ; Sebastian Meiser ; Marcin Slowik
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2016

Kalojanov, Javor [VerfasserIn]
2015,1: Efficient r-symmetry detection for triangle meshes Javor Kalojanov
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2015

Backes, Michael [Sonstige Person, Familie und Körperschaft]; Bugiel, Sven [Sonstige Person, Familie und Körperschaft]; Gerling, Sebastian [Sonstige Person, Familie und Körperschaft]; Styp-Rekowsky, Philipp von [Sonstige Person, Familie und Körperschaft]
2014,1: Android security framework enabling generic and extensible access control on Android Michael Backes ; Sven Bugiel ; Sebastian Gerling ; Philipp von Styp-Rekowsky
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2014

Backes, Michael [Sonstige Person, Familie und Körperschaft]; Bugiel, Sven [Sonstige Person, Familie und Körperschaft]; Derr, Erik [Sonstige Person, Familie und Körperschaft]; Hammer, Christian [Sonstige Person, Familie und Körperschaft]
2014,2: Taking Android app vetting to the next level with path-sensitive value analysis Michael Backes ; Sven Bugiel ; Erik Derr ; Christian Hammer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2014

Loeckx, Jacques [VerfasserIn]
1985,7: The algorithmic specification method of abstract data types an overview Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hotz, Günter [VerfasserIn]
2003,1: A remark on nondecidabilities of initial value problems of ODEs Günter Hotz
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Kissmann, Peter [VerfasserIn]; Hoffmann, Jörg [VerfasserIn]
2013,1: What’s in it for my BDD? On causal graphs and variable orders in planning Peter Kissmann ; Jörg Hoffmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Heckmann, Reinhold [VerfasserIn]
1986,5: Manual for the ELL (2) - parser generator and tree generator generator Reinhold Heckmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Heckmann, Reinhold [VerfasserIn]
1987,8: Notes on TRAFOLA, II the objects of the transformation language and the operations upon them Reinhold Heckmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Heckmann, Reinhold [VerfasserIn]
1987,9: Notes on TRAFOLA, III semantics of patterns Reinhold Heckmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Heckmann, Reinhold [VerfasserIn]
1990,16: Power domain constructions Reinhold Heckmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hagerup, Torben [VerfasserIn]
1990,8: Neue Algorithmen für das Maximum-Flow-Problem Torben Hagerup
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Mattern, Friedemann [VerfasserIn]
1991,4: Distributed control algorithms (selected topics) Friedemann Mattern
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Smid, Michiel [VerfasserIn]; Emde Boas, Peter van [VerfasserIn]
1990,15: Dynamic data structures on multiple storage media, a tutorial Michiel Smid ; Peter van Emde Boas
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Lipps, Peter [Sonstige Person, Familie und Körperschaft]; Möncke, Ulrich [Sonstige Person, Familie und Körperschaft]; Olk, Matthias [Sonstige Person, Familie und Körperschaft]; Wilhelm, Reinhard [Sonstige Person, Familie und Körperschaft]
1987,1: Attribute (re)evaluation in OPTRAN Peter Lipps ; Ulrich Möncke ; Matthias Olk ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Alt, Martin [VerfasserIn]; Martin, Florian [VerfasserIn] ; Wilhelm, Reinhard [Sonstige Person, Familie und Körperschaft]
1995,10: Generating analyzers with PAG Martin Alt ; Florian Martin ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hense, Andreas V. [VerfasserIn]
1991,6: Type inference for O'small Andreas V. Hense
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hense, Andreas V. [VerfasserIn]
1991,7: An O'small interpreter based on denotational semantics Andreas V. Hense
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hense, Andreas V. [VerfasserIn]
1990,11: Denotational semantics of an object oriented programming language with explicit wrappers Andreas V. Hense
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hense, Andreas V. [VerfasserIn]
1990,14: Wrapper semantics of an object oriented programming language with state Andreas V. Hense
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Schirra, Stefan [VerfasserIn]
1990,21: Approximate algorithms for approximate congruence Stefan Schirra
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Näher, Stefan [VerfasserIn]
1990,17: LEDA user manual version 2.0 Stefan Näher
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Keller, Paul [VerfasserIn]; Maas, Thomas [VerfasserIn]
1990,4: An OPTRAN-generated front-end for Ada Paul Keller ; Thomas Maas
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Diehl, Stephan [Sonstige Person, Familie und Körperschaft]
1998,5: Proceedings of the Workshop on Principles of Abstract Machines 19. September, Pisa, Italy Stephan Diehl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Lermen, Claus-Werner [VerfasserIn]; Loeckx, Jacques [VerfasserIn]
1985,12: OBSCURE an interactive specification language for model-oriented specification methods (extended abstract) Claus-Werner Lermen ; Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Loeckx, Jacques [VerfasserIn]
1985,15: A formal description of the specification language OBSCURE Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Mattern, Friedemann [VerfasserIn]
1991,5: Über die relativistische Struktur logischer Zeit in verteilten Systemen Friedemann Mattern
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Mehlhorn, Kurt [VerfasserIn]; Yap, Chee-Keng [VerfasserIn]
1988,1: Constructive Hopf´s theorem or how to untangle closed planar curves Kurt Mehlhorn ; Chee-Keng Yap
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Mehlhorn, Kurt [VerfasserIn]; Näher, Stefan [VerfasserIn]; Uhrig, Christian [VerfasserIn]
1990,2: Hidden line elimination for isooriented rectangles Kurt Mehlhorn ; Stefan Näher ; Christian Uhrig
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Smid, Michiel [VerfasserIn]
1990,5: The reconstruction problem for dynamic data structures, an overview Michiel Smid
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Smid, Michiel [VerfasserIn]
1990,6: Maintaining the minimal distance of a point set in less than linear time Michiel Smid
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Smid, Michiel [VerfasserIn]
1990,13: Maintaining the minimal distance of a point set in polylogarithmic time Michiel Smid
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Weisgerber, Beatrix [VerfasserIn]; Wilhelm, Reinhard [VerfasserIn]
1986,9: Two tree pattern matchers for code selection (including targeting) Beatrix Weisgerber ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hense, Andreas V. [VerfasserIn]
1990,1: The denotational semantics of an object oriented programming language Andreas V. Hense
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Wiedermann, Juraj [VerfasserIn]
1990,10: Complexity issues in discrete neurocomputing Juraj Wiedermann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Marzinkewitsch, Reiner [VerfasserIn]
1985,18: Iterative monoide Reiner Marzinkewitsch
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Marzinkewitsch, Reiner [VerfasserIn]
1991,2: Ein Arbeitsplatz zum rechnerunterstützten handschriftlichen Rechnen mit mathematischen Formeln Reiner Marzinkewitsch
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Gamqrelije, Alek'sandr [VerfasserIn]; Hotz, Günter [VerfasserIn]; Zhu, Bin [VerfasserIn]
1998,2: Designing correct recursive circuits using semantics-preserving transformations of nets Alexander Gamkrelidze ; Günter Hotz ; Bin Zhu
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hense, Andreas V. [VerfasserIn]; Smolka, Gert [VerfasserIn]
1992,3: A verification of extensible record types Andreas V. Hense ; Gert Smolka
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Fleischer, Rudolf [VerfasserIn]; Sinha, B. P. [VerfasserIn]; Uhrig, Christian [VerfasserIn]
1990,23: A lower bound for the worst case of bottom-up-heapsort Rudolf Fleischer ; B. P. Sinha ; Christian Uhrig
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Möncke, Ulrich R. [VerfasserIn]
1986,4: Grammar flow analysis Ulrich R. Möncke
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Fuchs, Jürgen [Sonstige Person, Familie und Körperschaft]; Hoffmann, Annette [Sonstige Person, Familie und Körperschaft]; Meiss, Liane [Sonstige Person, Familie und Körperschaft]; Philippi, Joachim [Sonstige Person, Familie und Körperschaft]; Stolz, Michael [Sonstige Person, Familie und Körperschaft]; Wolf, Markus [Sonstige Person, Familie und Körperschaft]; Zeyer, Jörg [Sonstige Person, Familie und Körperschaft]; Loeckx, Jacques [HerausgeberIn]
1991,3: The OBSCURE manual Part I: Editing and rapid prototyping Jürgen Fuchs ; Annette Hoffmann ; Liane Meiss ; Joachim Philippi ; Michael Stolz ; Markus Wolf ; Jörg Zeyer. Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Hotz, Günter [Sonstige Person, Familie und Körperschaft]; Becker, Bernd [Sonstige Person, Familie und Körperschaft]; Kolla, Reiner [Sonstige Person, Familie und Körperschaft]; Molitor, Paul [Sonstige Person, Familie und Körperschaft]
1985,10: Ein logisch-topologischer Kalkül zur Konstruktion von integrierten Schaltkreisen Günter Hotz ; Bernd Becker ; Reiner Kolla ; Paul Molitor
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Diehl, Stephan [Sonstige Person, Familie und Körperschaft]
2000,1: Tagungsband des GI-Workshops Softwarevisualisierung 2000 11.-12. Mai 2000, Schloß Dagstuhl Stephan Diehl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Apt, Krzysztof [Sonstige Person, Familie und Körperschaft]
1985,9: Report on the 5th International Workshop on the Semantics of Programming Languages in Bad Honnef March 11-15, 1985 Krzysztof Apt
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Lehmann, Thomas [VerfasserIn]; Loeckx, Jacques [VerfasserIn]
1987,6: OBSCURE a specification environment for abstract data types Thomas Lehmann ; Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Loeckx, Jacques [VerfasserIn]
1989,6: OBSCURE eine Spezifikations- und Verifikationsumgebung Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Smid, Michiel [VerfasserIn]
1990,3: A worst-case algorithm for semi-online updates on decomposable problems Michiel Smid
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Lenhof, Hans-Peter [VerfasserIn]; Smid, Michiel [VerfasserIn]
1990,22: Using persistent data structures for adding range restrictions to searching problems Hans-Peter Lenhof ; Michiel Smid
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Treinen, Ralf [VerfasserIn]
1990,9: A new method for undecidability proofs of first order theories Ralf Treinen
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Treinen, Ralf [VerfasserIn]
1991,1: First order data types and first order logic Ralf Treinen
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Erickson, Jeff [VerfasserIn]
1994,4: New lower bounds for Hopcroft's problem Jeff Erickson
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Lehmann, Thomas [VerfasserIn]; Loeckx, Jacques [VerfasserIn]
1990,19: OBSCURE, a specification language for abstract data types Thomas Lehmann ; Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Backes, Michael [Sonstige Person, Familie und Körperschaft]; Gerling, Sebastian [Sonstige Person, Familie und Körperschaft]; Hammer, Christian [Sonstige Person, Familie und Körperschaft]; Maffei, Matteo [Sonstige Person, Familie und Körperschaft]; Styp-Rekowsky, Philipp von [Sonstige Person, Familie und Körperschaft]
2013,2: AppGuard — fine-grained policy enforcement for untrusted android applications Michael Backes ; Sebastian Gerling ; Christian Hammer ; Matteo Maffei ; Philipp von Styp-Rekowsky
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Backes, Michael [Sonstige Person, Familie und Körperschaft]; Gerling, Sebastian [Sonstige Person, Familie und Körperschaft]; Hammer, Christian [Sonstige Person, Familie und Körperschaft]; Maffei, Matteo [Sonstige Person, Familie und Körperschaft]; Styp-Rekowsky, Philipp von [Sonstige Person, Familie und Körperschaft]
2012,2: AppGuard - real-time policy enforcement for third-party applications Michael Backes ; Sebastian Gerling ; Christian Hammer ; Matteo Maffei ; Philipp von Styp-Rekowsky
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012

Klein, Rolf [VerfasserIn]; Mehlhorn, Kurt [VerfasserIn] ; Meiser, Stefan [Sonstige Person, Familie und Körperschaft]
1989,3: On the construction of abstract Voronoi diagrams, II Rolf Klein ; Kurt Mehlhorn ; Stefan Meiser
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Mehlhorn, Kurt [VerfasserIn]; Näher, Stefan [VerfasserIn] ; Alt, Helmut [Sonstige Person, Familie und Körperschaft]
1986,7: A lower bound for the complexity of the union-split-find problem Kurt Mehlhorn ; Stefan Näher ; Helmut Alt
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Ahuja, Ravindra K. [Sonstige Person, Familie und Körperschaft]; Mehlhorn, Kurt [Sonstige Person, Familie und Körperschaft]; Orlin, James B. [Sonstige Person, Familie und Körperschaft]; Tarjan, Robert E. [Sonstige Person, Familie und Körperschaft]
1988,4: Faster algorithms for the shortest path problem Ravindra K. Ahuja ; Kurt Mehlhorn ; James B. Orlin ; Robert E. Tarjan
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Hense, Andreas V. [VerfasserIn]; Smolka, Gert [VerfasserIn]
1993,2: Principal types for object-oriented languages Andreas V. Hense ; Gert Smolka
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Grosse, Malte [VerfasserIn]; Hufschmidt, Holger [VerfasserIn]
1993,7: SOLL-Spezifikation aus Sicht der Sicherheit Malte Grosse ; Holger Hufschmidt
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Böschen, Christoph [Sonstige Person, Familie und Körperschaft]; Fecht, Christian [Sonstige Person, Familie und Körperschaft]; Hense, Andreas V. [Sonstige Person, Familie und Körperschaft]; Wilhelm, Reinhard [Sonstige Person, Familie und Körperschaft]
1994,2: An abstract machine for an object-oriented language with top-level classes Christoph Böschen ; Christian Fecht ; Andreas V. Hense ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Seidel, Raimund [VerfasserIn]; Aragon, Cecilia R. [VerfasserIn]
1995,6: Randomized search trees Raimund Seidel ; Cecilia R. Aragon
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Mehlhorn, Kurt [VerfasserIn]; Näher, Stefan [VerfasserIn]
1989,4: LEDA a library of efficient data types and algorithms Kurt Mehlhorn ; Stefan Näher
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Guan, Yonggang [VerfasserIn]; Hotz, Günter [VerfasserIn] ; Reichert, A. [Sonstige Person, Familie und Körperschaft]
1992,1: Tree grammars with multilinear interpretation Yonggang Guan ; Günter Hotz ; A. Reichert
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Buchmann, Johannes [VerfasserIn]; Mueller, Volker [VerfasserIn]
1992,2: Primality testing Johannes Buchmann ; Volker Müller
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Hotz, Günter [VerfasserIn]
1999,1: A graph based parsing algorithm for context-free languages Günter Hotz
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Hotz, Günter [VerfasserIn]
1999,3: Darstellung von Schaltfunktionen unter Ausnutzung von Symmetrien boolescher Algebren Günter Hotz
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Hense, Andreas V. [VerfasserIn]
1990,20: Polymorphic type inference for a simple object oriented programming language with state Andreas V. Hense
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Mehlhorn, Kurt [VerfasserIn]; Näher, Stefan [VerfasserIn]
1986,6: Dynamic fractional cascading Kurt Mehlhorn ; Stefan Näher
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Ching, Y. T. [VerfasserIn]; Mehlhorn, Kurt [VerfasserIn]
1988,5: Dynamic deferred data structuring Y. T. Ching ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Mehlhorn, Kurt [VerfasserIn]; Tsakalidis, A. [VerfasserIn]
1989,2: Data structures Kurt Mehlhorn ; A. Tsakalidis
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Rohnert, Hans [VerfasserIn]
1986,2: New algorithms for shortest paths avoiding convex polygonal obstacles Hans Rohnert
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Gärtner, Tobias [VerfasserIn]; Hotz, Günter [VerfasserIn]
2002,1: Approximation von Folgen durch berechenbare Folgen eine neue Variante der Chaitin-Kolmogorov-Komplexität Tobias Gärtner ; Günter Hotz
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Alt, Helmut [Sonstige Person, Familie und Körperschaft]; Mehlhorn, Kurt [Sonstige Person, Familie und Körperschaft]; Wagener, Hubert [Sonstige Person, Familie und Körperschaft]; Welzl, Emo [Sonstige Person, Familie und Körperschaft]
1987,2: Congruence, similarity and symmetries of geometric objects Helmut Alt ; Kurt Mehlhorn ; Hubert Wagener ; Emo Welzl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Mehlhorn, Kurt [VerfasserIn]; Meiser, Stefan [VerfasserIn] ; Ó'Dúnlaing, C. [Sonstige Person, Familie und Körperschaft]
1989,1: On the construction of abstract Voronoi diagrams Kurt Mehlhorn ; Stefan Meiser ; C. Ó'Dúnlaing
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Cheriyan, Joseph [VerfasserIn]; Hagerup, Torben [VerfasserIn] ; Mehlhorn, Kurt [Sonstige Person, Familie und Körperschaft]
1990,7: Can a maximum flow be computed in o(nm) time? Joseph Cheriyan ; Torben Hagerup ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Alt, Martin [VerfasserIn]; Sander, Georg [VerfasserIn] ; Wilhelm, Reinhard [Sonstige Person, Familie und Körperschaft]
1993,1: Generation of distributed supervisors for parallel compilers Martin Alt ; Georg Sander ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Mattern, Friedemann [VerfasserIn]; Richter, Jörg [VerfasserIn] ; Mehl, Horst [Sonstige Person, Familie und Körperschaft]
1993,3: Leistungssteigerung ereignisgesteuerter Simulation durch Multi-Mikro-Rechnersysteme Friedemann Mattern ; Jörg Richter ; Horst Mehl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Kästner, Daniel [VerfasserIn]; Langenbach, Marc [VerfasserIn]
1998,1: Integer linear programming vs. graph-based methods in code generation Daniel Kästner ; Marc Langenbach
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Sander, Georg [VerfasserIn]
1996,3: Layout of compound directed graphs Georg Sander
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Chadzelek, Thomas [VerfasserIn]; Hotz, Günter [VerfasserIn] ; Schömer, Elmar [Sonstige Person, Familie und Körperschaft]
1995,8: Heuristic motion planning with many degrees of freedom Thomas Chadzelek ; Günter Hotz ; Elmar Schömer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Sieber, Kurt [VerfasserIn]
1995,4: Full abstraction for the second order subset of an ALGOL-like language Kurt Sieber
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Sander, Georg [VerfasserIn]
1994,3: Graph layout through the VCG tool Georg Sander
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Son, Jung-Bae [VerfasserIn]
1999,4: Berechnung konvexer Hüllen in erwarteter Linearzeit Jung-Bae Son
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Schmidt, Max [VerfasserIn]; Schunter, Matthias [VerfasserIn] ; Weber, Arnd [Sonstige Person, Familie und Körperschaft]
1998,3: Is electronic cash possible? Max Schmidt ; Matthias Schunter ; Arnd Weber
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Heckler, Andreas Ramses [Sonstige Person, Familie und Körperschaft]; Hettler, Rudolf [Sonstige Person, Familie und Körperschaft]; Hußmann, Heinrich [Sonstige Person, Familie und Körperschaft]; Loeckx, Jacques [Sonstige Person, Familie und Körperschaft]; Reif, Wolfgang [Sonstige Person, Familie und Körperschaft]; Schellhorn, Gerhard [Sonstige Person, Familie und Körperschaft]; Stenzel, Kurt [Sonstige Person, Familie und Körperschaft]
1996,6: LEX a case study in development and validation of formal specifications Andreas Ramses Heckler ; Rudolf Hettler ; Heinrich Hussmann ; Jacques Loeckx ; Wolfgang Reif ; Gerhard Schellhorn ; Kurt Stenzel
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Scheuermann, Peter [VerfasserIn]; Weikum, Gerhard [VerfasserIn] ; Zabback, Peter [Sonstige Person, Familie und Körperschaft]
1996,2: Data partitioning and load balancing in parallel disk systems Peter Scheuermann ; Gerhard Weikum ; Peter Zabback
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Heckmann, Reinhold [VerfasserIn]
1995,9: Spaces of valuations Reinhold Heckmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Heckmann, Reinhold [VerfasserIn]; Wilhelm, Reinhard [VerfasserIn]
1995,7: Formula layout Reinhold Heckmann ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Diehl, Stephan [VerfasserIn]
1995,3: Automatic generation of a compiler and an abstract machine for action notation Stephan Diehl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Sieber, Kurt [VerfasserIn]
1994,1: Full abstraction for the second order subset of an ALGOL-like language (preliminary report) Kurt Sieber
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Eckstein, Jens [VerfasserIn]; Hotz, Günter [VerfasserIn] ; Schömer, Elmar [Sonstige Person, Familie und Körperschaft]
1995,5: Heuristische Bewegungsplanungsstrategien im IR3 Jens Eckstein ; Günter Hotz ; Elmar Schömer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Autexier, Serge [VerfasserIn]
1993,5: HDMS-A und OBSCURE in KORSO die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation Serge Autexier
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Hotz, Günter [VerfasserIn]
1997,1: Algorithmische Informationstheorie Teil 1 Vorlesung an der Universität des Saarlandes WS 1996/97 Günter Hotz
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Kiefer, Klaus [VerfasserIn]
1996,5: Ein neues Konzept zur Realisierung von Software-Kopierschutz Klaus Kiefer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Sander, Georg [VerfasserIn]
1996,1: Graph layout for applications in compiler construction Georg Sander
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Diehl, Stephan [VerfasserIn]
1995,2: Transformations of evolving algebras Stephan Diehl
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Sander, Georg [VerfasserIn]
1995,1: VCG - visualization of compiler graphs user documentation V.1.30 Georg Sander
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Diehl, Stefan [VerfasserIn]; Görg, Carsten [VerfasserIn] ; Kerren, Andreas [Sonstige Person, Familie und Körperschaft]
2000,2: Foresighted graphlayout Stefan Diehl ; Carsten Görg ; Andreas Kerren
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Schneider, Jörn [VerfasserIn]; Ferdinand, Christian [VerfasserIn] ; Wilhelm, Reinhard [Sonstige Person, Familie und Körperschaft]
1999,2: Pipeline behavior prediction for superscalar processors Jörn Schneider ; Christian Ferdinand ; Reinhard Wilhelm
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Gamqrelije, Alek'sandr [VerfasserIn]; Burch, Thomas [VerfasserIn]
1998,4: A parametrized sorting System for a large set of k-bit elements Alexander Gamkrelidze ; Thomas Burch
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Fecht, Christian [VerfasserIn]
1996,4: Efficient and precise sharing domains for logic programs Christian Fecht
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Heckler, Andreas Ramses [VerfasserIn]
1993,4: HDMS-A und OBSCURE in KORSO die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; TEIL 1: Einführung und Anmerkungen Ramses A. Heckler
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Benzmüller, Christoph [VerfasserIn]
1993,6: HDMS-A und OBSCURE in KORSO die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionen Christoph Benzmüller
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

Lehmann, Thomas [VerfasserIn]; Loeckx, Jacques [VerfasserIn]
1987,7: The specification language of obscure Thomas Lehmann and Jacques Loeckx
Saarbrücken: Universität des Saarlandes, 1987

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: