Skip to contents Hager, Rolf [Author]; Kremer, Wolfgang [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen The adaptive priority scheduler: a more fair priority service discipline Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,13 Hogen, Guido [Author]; Kindler, Andrea [Author]; Loogen, Rita [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Automatic parallelization of lazy functional programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,20 Börstler, Jürgen [Author] ; Janning, Thorsten [Other]; Janning, Thomas [Other] Fachgruppe Informatik, Technische Hochschule Aachen Bridging the gap between requirements analysis and design Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,16 Steffen, Bernhard [Author]; Ingólfsdóttir, Anna [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Characteristic formulae for processes with divergence Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,3 Gladitz, Katia [Author]; Faßbender, Heinz [Author]; Vogler, Heiko [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Compiler based implementation of syntax directed functional programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,10 Graf, Susanne [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Compositional minimization of finite state systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,23 Cleaveland, Rance [Author]; Parrow, Joachim [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen The concurrency workbench: a semantics based tool for the verification of concurrent systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,24 Kuchen, Herbert [Author]; Geiler, Günther [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Distributed applicative arrays Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,5 Loogen, Rita [Author]; Winkler, Stephan [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Dynamic detection of determinism in functional logic languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, [1991] Published in: Aachener Informatik-Berichte ; 91,11 Margaria-Steffen, Tiziana [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen First order theories for the verification of complex FSMs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,30 Jeusfeld, Manfred A. [Author]; Jarke, Matthias [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen From relational to object-oriented integrity simplification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,19 Knoop, Jens [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen The interprocedural coincidence theorem Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,27 Staiger, Ludwig [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Kolmogorov complexity and Hausdorff dimension Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,6 Kremer, Wolfgang [Author]; Fasbender, Andreas [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen A new approximation algorithm for tandem networks with priority nodes Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,14 Portz, Michael [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen A new class of cryptosystems based on interconnection networks Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,4 Spaniol, Otto [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen ODP (Open Distributed Processing): yet another viewpoint Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,21 Mathar, Rudolf [Author]; Mattfeldt, Jürgen [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Optimal transmission ranges for mobile communication in linear multihop packet radio networks Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,25 Kuikka, Eila [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen A proposal for a syntax directed text processing system Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,9 Jeusfeld, Manfred A. [Author]; Staudt, Martin [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Query optimization in deductive object bases Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,26 Börstler, Jürgen [Author]; Zündorf, Albert [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Revisiting extensions to Modula-2 to improve reusability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,15
Hager, Rolf [Author]; Kremer, Wolfgang [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen The adaptive priority scheduler: a more fair priority service discipline Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,13
Hogen, Guido [Author]; Kindler, Andrea [Author]; Loogen, Rita [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Automatic parallelization of lazy functional programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,20
Börstler, Jürgen [Author] ; Janning, Thorsten [Other]; Janning, Thomas [Other] Fachgruppe Informatik, Technische Hochschule Aachen Bridging the gap between requirements analysis and design Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,16
Steffen, Bernhard [Author]; Ingólfsdóttir, Anna [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Characteristic formulae for processes with divergence Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,3
Gladitz, Katia [Author]; Faßbender, Heinz [Author]; Vogler, Heiko [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Compiler based implementation of syntax directed functional programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,10
Graf, Susanne [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Compositional minimization of finite state systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,23
Cleaveland, Rance [Author]; Parrow, Joachim [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen The concurrency workbench: a semantics based tool for the verification of concurrent systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,24
Kuchen, Herbert [Author]; Geiler, Günther [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Distributed applicative arrays Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,5
Loogen, Rita [Author]; Winkler, Stephan [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Dynamic detection of determinism in functional logic languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, [1991] Published in: Aachener Informatik-Berichte ; 91,11
Margaria-Steffen, Tiziana [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen First order theories for the verification of complex FSMs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,30
Jeusfeld, Manfred A. [Author]; Jarke, Matthias [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen From relational to object-oriented integrity simplification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,19
Knoop, Jens [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen The interprocedural coincidence theorem Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,27
Staiger, Ludwig [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Kolmogorov complexity and Hausdorff dimension Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,6
Kremer, Wolfgang [Author]; Fasbender, Andreas [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen A new approximation algorithm for tandem networks with priority nodes Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,14
Portz, Michael [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen A new class of cryptosystems based on interconnection networks Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,4
Spaniol, Otto [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen ODP (Open Distributed Processing): yet another viewpoint Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,21
Mathar, Rudolf [Author]; Mattfeldt, Jürgen [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Optimal transmission ranges for mobile communication in linear multihop packet radio networks Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,25
Kuikka, Eila [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen A proposal for a syntax directed text processing system Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,9
Jeusfeld, Manfred A. [Author]; Staudt, Martin [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Query optimization in deductive object bases Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,26
Börstler, Jürgen [Author]; Zündorf, Albert [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen Revisiting extensions to Modula-2 to improve reusability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, Fachgruppe Informatik, 1991 Published in: Aachener Informatik-Berichte ; 91,15
> Media type Skip to next facet Books (144) Wert ausschließen Journals / Newspapers / Series (4) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (112) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - No Derivs (CC BY-ND) (3) Wert ausschließen Show more show less
> Language Skip to next facet English (127) Wert ausschließen German (28) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (125) Wert ausschließen Technology (5) Wert ausschließen Mathmatics (3) Wert ausschließen Pedagogy (2) Wert ausschließen Biology (1) Wert ausschließen Art and art history (1) Wert ausschließen Show more show less
> Creator Skip to next facet Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik (60) Wert ausschließen Fachgruppe Informatik, Technische Hochschule Aachen (53) Wert ausschließen Fachgruppe Informatik, Mathematisch-Naturwissenschaftliche Fakultät, Rheinisch-Westfälische Technische Hochschule Aachen (15) Wert ausschließen Fachgruppe Informatik, Rheinisch-Westfälische Technische Hochschule Aachen (12) Wert ausschließen Jarke, Matthias (11) Wert ausschließen Nagl, Manfred (10) Wert ausschließen Jakobs, Kai (8) Wert ausschließen Steffen, Bernhard (7) Wert ausschließen Kuchen, Herbert (6) Wert ausschließen Martini, Peter (6) Wert ausschließen Rheinisch-Westfälische Technische Hochschule Aachen (6) Wert ausschließen Vogler, Heiko (6) Wert ausschließen Kowalewski, Stefan (5) Wert ausschließen Mathar, Rudolf (4) Wert ausschließen Welzel, Thomas (4) Wert ausschließen Börstler, Jürgen (3) Wert ausschließen Janning, Thorsten (3) Wert ausschließen Loogen, Rita (3) Wert ausschließen Mann, Andreas (3) Wert ausschließen Rückert, Johannes (3) Wert ausschließen Schürr, Andreas (3) Wert ausschließen Spaniol, Otto (3) Wert ausschließen Vossen, Gottfried (3) Wert ausschließen Faßbender, Heinz (2) Wert ausschließen Fesefeldt, Ira (2) Wert ausschließen Gesellschaft zur Förderung Angewandter Informatik (2) Wert ausschließen Jeusfeld, Manfred A. (2) Wert ausschließen Knoop, Jens (2) Wert ausschließen Kolloquium Programmiersprachen und Grundlagen der Programmierung 22. 2023 Vaals (2) Wert ausschließen Kremer, Wolfgang (2) Wert ausschließen Maaßen, Andreas (2) Wert ausschließen Margaria-Steffen, Tiziana (2) Wert ausschließen Mattfeldt, Jürgen (2) Wert ausschließen Moreno-Navarro, Juan J. (2) Wert ausschließen Naumann, Uwe (2) Wert ausschließen Noll, Thomas (2) Wert ausschließen Quernheim, Ulrich (2) Wert ausschließen RWTH Aachen Lehrstuhl für Informatik 4 (2) Wert ausschließen Rheinisch-Westfälische Technische Hochschule Aachen Lehr- und Forschungsgebiet Informatik 9 (Lerntechnologien) (2) Wert ausschließen Rose, Thomas (2) Wert ausschließen Rumpe, Bernhard (2) Wert ausschließen Schroeder, Ulrik (2) Wert ausschließen Staiger, Ludwig (2) Wert ausschließen Thomas, Wolfgang (2) Wert ausschließen Wehrle, Klaus (2) Wert ausschließen Westfechtel, Bernhard (2) Wert ausschließen ALP 5 1996 Aachen (1) Wert ausschließen Abel, Dirk (1) Wert ausschließen Ali, Lubna (1) Wert ausschließen Bachmann, Peter (1) Wert ausschließen Beckers, Markus (1) Wert ausschließen Beckert, Bernhard (1) Wert ausschließen Bergner, Nadine (1) Wert ausschließen Bertolini, Massimo (1) Wert ausschließen Berufsförderungswerk der Bauindustrie NRW (1) Wert ausschließen Bohlender, Dimitri (1) Wert ausschließen Buchheit, Martin (1) Wert ausschließen Bürger, Jens Christoph (1) Wert ausschließen Cleaveland, Rance (1) Wert ausschließen Commandeur, Ulrich (1) Wert ausschließen Constantopoulos, Panos (1) Wert ausschließen Davids, P. (1) Wert ausschließen Derissen, J. (1) Wert ausschließen Deussen, Jens (1) Wert ausschließen Drave, Imke (1) Wert ausschließen Ellis, Clarence A. (1) Wert ausschließen Engelfriet, Joost (1) Wert ausschließen Esser, Gabriele (1) Wert ausschließen Fabian, Martin (1) Wert ausschließen Fasbender, Andreas (1) Wert ausschließen Ferdinand, Peter (1) Wert ausschließen Finke, Kai (1) Wert ausschließen Forschungsvereinigung Gießereitechnik (1) Wert ausschließen Frey, Georg (1) Wert ausschließen Frutos-Escrig, David de (1) Wert ausschließen Fülöp, Zoltán (1) Wert ausschließen Ganser, Andreas (1) Wert ausschließen Geiler, Günther (1) Wert ausschließen Gerlhof, Carsten (1) Wert ausschließen Gladitz, Katia (1) Wert ausschließen Goos, Ulrich (1) Wert ausschließen Graduiertenkolleg Informatik und Technik Aachen (1) Wert ausschließen Graf, Susanne (1) Wert ausschließen Granada Workshop on the Integration of Functional and Logic Programming 1990 (1) Wert ausschließen Große-Wienker, Reinhard (1) Wert ausschließen Guck, Dennis (1) Wert ausschließen Göbe, Florian (1) Wert ausschließen Hager, Rolf (1) Wert ausschließen Hanus, Michael (1) Wert ausschließen Heinrichs, Bernd (1) Wert ausschließen Henze, Martin (1) Wert ausschließen Hermanns, Holger (1) Wert ausschließen Hermenegildo, Manuel V. (1) Wert ausschließen Herpers, Martine (1) Wert ausschließen Heuter, Uschi (1) Wert ausschließen Hoeppermanns, Gabriele (1) Wert ausschließen Hogen, Guido (1) Wert ausschließen Indermark, Klaus (1) Wert ausschließen Ingólfsdóttir, Anna (1) Wert ausschließen International Workshop on Intelligent and Cooperative Information Systems 3 1992 Dagstuhl (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (147) Wert ausschließen Lizenzfreie Online-Ressourcen (35) Wert ausschließen Diss online (1) Wert ausschließen Show more show less