Skip to contents Tarasjuk, Igor V. [Author] An investigation of [tau]-equivalences Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Institut für Informatik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,9 Diethelm, Kai [Author] A method for the practical evaluation of the Hilbert transform on the real line Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,11 Diethelm, Kai [Author]; Walz, Guido [Author] Numerical solution of fractional order differential equations by extrapola- tion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,17 Gehrke, Thomas [Author]; Rensink, Arend [Author] Process creation and full sequential composition in a name-passing calculus Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,7 Stiege, Günther [Author] Remarks on periods and colorings in graphs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,3 Ehrich, Sven [Author] Sard optimal prefilters for the fast wavelet transform Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,4 Diethelm, Kai [Author] Spline-based quadrature methods for strongly singular integrals Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,14 Diethelm, Kai [Author] An algorithm for the numerical solution of differential equations of fractional order Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,32 Maibaum, Olaf [Author] Bestimmung eines Lastprofils auf vernetzten Arbeitsplatzrechnern Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,25 Goltz, Ursula [Author]; Wehrheim, Heike [Author] Causal testing Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,5 Best, Eike [Author]; Thielke, Thomas [Author] Coloured nets with curry Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,10 Lavrov, Alexander [Author] Combining constraint satisfaction techniques and hierarchical simulation structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,28 Virbitskaite, Irina B. [Author]; Votinceva, Anželika [Author]; Best, Eike [Author] Comparing logical and behavioural equivalences for event structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,22 Stiege, Günther [Author] Connectivity and periodicity in undirected graphs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,31 Kolonko, Michael [Author]; Tran, Manh Tien [Author] Convergence of simulated annealing with feedback temperature schedules Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,23 Tarasjuk, Igor V. [Author] Equivalence notions for design of concurrent systems using petri nets Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Institut für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,4 Stiege, Günther [Author] Equivalences of coloured Petri nets Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,24 Ehrich, Sven [Author] Error bounds for linear approximations on the real line Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,13 Diethelm, Kai [Author] A fractional version of the Peano Sard theorem Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,18 Voget, Stefan [Author] Ein fuzzygesteuerter genetischer Algorithmus für die bikriterielle Optimierung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,1
Tarasjuk, Igor V. [Author] An investigation of [tau]-equivalences Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Institut für Informatik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,9
Diethelm, Kai [Author] A method for the practical evaluation of the Hilbert transform on the real line Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,11
Diethelm, Kai [Author]; Walz, Guido [Author] Numerical solution of fractional order differential equations by extrapola- tion Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,17
Gehrke, Thomas [Author]; Rensink, Arend [Author] Process creation and full sequential composition in a name-passing calculus Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,7
Stiege, Günther [Author] Remarks on periods and colorings in graphs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,3
Ehrich, Sven [Author] Sard optimal prefilters for the fast wavelet transform Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,4
Diethelm, Kai [Author] Spline-based quadrature methods for strongly singular integrals Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,14
Diethelm, Kai [Author] An algorithm for the numerical solution of differential equations of fractional order Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,32
Maibaum, Olaf [Author] Bestimmung eines Lastprofils auf vernetzten Arbeitsplatzrechnern Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,25
Goltz, Ursula [Author]; Wehrheim, Heike [Author] Causal testing Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,5
Best, Eike [Author]; Thielke, Thomas [Author] Coloured nets with curry Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,10
Lavrov, Alexander [Author] Combining constraint satisfaction techniques and hierarchical simulation structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,28
Virbitskaite, Irina B. [Author]; Votinceva, Anželika [Author]; Best, Eike [Author] Comparing logical and behavioural equivalences for event structures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,22
Stiege, Günther [Author] Connectivity and periodicity in undirected graphs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme und Rechnerverbund, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,31
Kolonko, Michael [Author]; Tran, Manh Tien [Author] Convergence of simulated annealing with feedback temperature schedules Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,23
Tarasjuk, Igor V. [Author] Equivalence notions for design of concurrent systems using petri nets Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Institut für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,4
Stiege, Günther [Author] Equivalences of coloured Petri nets Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Betriebssysteme & Rechnerverbund, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,24
Ehrich, Sven [Author] Error bounds for linear approximations on the real line Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,13
Diethelm, Kai [Author] A fractional version of the Peano Sard theorem Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,18
Voget, Stefan [Author] Ein fuzzygesteuerter genetischer Algorithmus für die bikriterielle Optimierung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1996 Published in: Hildesheimer Informatik-Berichte ; 96,1
> Media type Skip to next facet Books (171) Wert ausschließen Journals / Newspapers / Series (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (169) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (170) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Language Skip to next facet English (149) Wert ausschließen German (23) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (172) Wert ausschließen Mathmatics (19) Wert ausschließen Philosophy (3) Wert ausschließen Technology (3) Wert ausschließen Biology (2) Wert ausschließen General (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Diethelm, Kai (21) Wert ausschließen Best, Eike (18) Wert ausschließen Ehrich, Sven (15) Wert ausschließen Universität Hildesheim Institut für Informatik (14) Wert ausschließen Institut für Mathematik Hildesheim (11) Wert ausschließen Voget, Stefan (11) Wert ausschließen Förster, Klaus-Jürgen (10) Wert ausschließen Rensink, Arend (10) Wert ausschließen Esparza, Javier (9) Wert ausschließen Kolonko, Michael (7) Wert ausschließen Biskup, Joachim (6) Wert ausschließen Nachtigall, Karl (6) Wert ausschließen Gehrke, Thomas (5) Wert ausschließen Stiege, Günther (5) Wert ausschließen Wehrheim, Heike (5) Wert ausschließen Goltz, Ursula (4) Wert ausschließen Huhn, Michaela (4) Wert ausschließen Köhler, Peter (4) Wert ausschließen Pfitzmann, Birgit (4) Wert ausschließen Bentz, Hans-Joachim (3) Wert ausschließen Fleischhack, Hans (3) Wert ausschließen Koutny, Maciej (3) Wert ausschließen Lavrov, Alexander (3) Wert ausschließen Tarasjuk, Igor V. (3) Wert ausschließen Virbitskaite, Irina B. (3) Wert ausschließen Waidner, Michael (3) Wert ausschließen Bleumer, Gerrit (2) Wert ausschließen Braun, Jürgen (2) Wert ausschließen Cherniavsky, Vladimir (2) Wert ausschließen Dadam, Peter (2) Wert ausschließen Desel, Jörg (2) Wert ausschließen Devillers, Raymond (2) Wert ausschließen Gorrieri, Roberto (2) Wert ausschließen Grahlmann, Bernd (2) Wert ausschließen Habel, Annegret (2) Wert ausschließen Kuhn, Klaus (2) Wert ausschließen Luba, Thomas (2) Wert ausschließen Mastroianni, Giuseppe (2) Wert ausschließen Niebert, Peter (2) Wert ausschließen Plump, Detlef (2) Wert ausschließen Reichert, Manfred (2) Wert ausschließen Thielke, Thomas (2) Wert ausschließen Tran, Manh Tien (2) Wert ausschließen Votinceva, Anželika (2) Wert ausschließen Zhou, Jingzhou (2) Wert ausschließen Ackermann, Martin (1) Wert ausschließen Blieffert, Jörg (1) Wert ausschließen Boženkova, Elena N. (1) Wert ausschließen Braß, Helmut (1) Wert ausschließen Brüggemann, Hans H. (1) Wert ausschließen CeBIT 1996 Hannover (1) Wert ausschließen Costantini, Ruggero (1) Wert ausschließen Damelin, S. B. (1) Wert ausschließen Denecke, Sabine (1) Wert ausschließen Denker, Grit (1) Wert ausschließen Dierks, Andreas (1) Wert ausschließen Eckert, Christian (1) Wert ausschließen Firley, Thomas (1) Wert ausschließen Gehrmann, Uwe (1) Wert ausschließen Gerns, Arnd (1) Wert ausschließen Gesellschaft für Angewandte Mathematik und Mechanik (1) Wert ausschließen Glabbeek, Rob J. van (1) Wert ausschließen Hagström, Michael (1) Wert ausschließen Hall, Jon G. (1) Wert ausschließen Heitland, Michael (1) Wert ausschließen Hesse, Ralf (1) Wert ausschließen Heymer, Stefan (1) Wert ausschließen Hopkins, Richard P. (1) Wert ausschließen Hopkins, Richard Pinder (1) Wert ausschließen International Workshop on Structures in Concurrency Theory 1995 Berlin (1) Wert ausschließen Kadelka, Dieter (1) Wert ausschließen Kühme, Thomas (1) Wert ausschließen Lie, Jung Sun (1) Wert ausschließen Linde, Hans-Günther (1) Wert ausschließen Linde-Göers, Hans-Günther (1) Wert ausschließen Maibaum, Olaf (1) Wert ausschließen Marx, Andreas (1) Wert ausschließen Menzel, Ralf (1) Wert ausschließen Nikolov, G. (1) Wert ausschließen Polle, Torsten (1) Wert ausschließen Riemann, Robert (1) Wert ausschließen Schmoldt, Reinhard (1) Wert ausschließen Schürmann, Hans Werner (1) Wert ausschließen Silva, Manuel (1) Wert ausschließen Steiner, Susanne (1) Wert ausschließen Stengel, Bernhard von (1) Wert ausschließen Stiefeling, Holger (1) Wert ausschließen Sánchez, Beatriz (1) Wert ausschließen Teßmer, Bernd (1) Wert ausschließen Wahlbuhl, Thomas (1) Wert ausschließen Walz, Guido (1) Wert ausschließen Working Conference on Database Security 8 1994 Bad Salzdetfurth (1) Wert ausschließen Workshop Grundlagen von Datenbanken 7 1995 Bad Salzdetfurth (1) Wert ausschließen Černjavskij, Vladimir S. (1) Wert ausschließen Čkliaev, Dmitrij (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (172) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Show more show less