Skip to contents Voget, Stefan [Author] Gaussian diffusion in a simple genetic algorithm 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,2 Virbitskaite, Irina B. [Author]; Votinceva, Anželika [Author]; Čkliaev, Dmitrij [Author] Investigating semantic notions for coloured dataflow networks 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,27 Best, Eike [Author] A memory module specification using composable high level Petri nets 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,19 Thielke, Thomas [Author]; Riemann, Robert [Author] Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP 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,29 Voget, Stefan [Author] Multiobjective optimization with genetic algorithms and fuzzy-control 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,9 Diethelm, Kai [Author] New error bounds for modified quadrature formulas for Cauchy principal value integrals 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,20 Huhn, Michaela [Author] On semantic and logical refinement of actions 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,15 Braß, Helmut [Author]; Förster, Klaus-Jürgen [Author] On the application of the Peano representation of linear functionals in numerical analysis 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,6 Kolonko, Michael [Author]; Nachtigall, Karl [Author]; Voget, Stefan [Author] ; CeBIT 1996 Hannover Optimierung von integralen Taktfahrplänen mit genetischen Agorithmen : Exponat der Universität Hildesheim auf der CeBit 96 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,8 Best, Eike [Author] Partial order verification with PEP 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,26 Diethelm, Kai [Author] Peano kernels of non-integer 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,12 Fleischhack, Hans [Author]; Grahlmann, Bernd [Author] A Petri net semantics for B(PN)2 with procedures which allows verification 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,21 Ehrich, Sven [Author] Pointwise error bounds for orthogonal cardinal spline approximation 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,30 Habel, Annegret [Author]; Plump, Detlef [Author] Term graph narrowing 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,14 Huhn, Michaela [Author]; Niebert, Peter [Author] Towards automata for branching time and partial order 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,16 Diethelm, Kai [Author] When do definite estimation functionals exist? 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,3 Huhn, Michaela [Author]; Wehrheim, Heike [Author]; Denker, Grit [Author] Action refinement - an application of process theory on object oriented specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,40 Diethelm, Kai [Author]; Köhler, Peter [Author] Asymptotic behaviour of fixed order error constants of modified quadrature formulae for Cauchy principal value integrals Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,41 Köhler, Peter [Author] Asymptotically best spline approximation by quasi-interpolation and asymptotically best quadrature formulae Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,8 Lavrov, Alexander [Author] Automated simulation of flexible manufacturing systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,5
Voget, Stefan [Author] Gaussian diffusion in a simple genetic algorithm 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,2
Virbitskaite, Irina B. [Author]; Votinceva, Anželika [Author]; Čkliaev, Dmitrij [Author] Investigating semantic notions for coloured dataflow networks 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,27
Best, Eike [Author] A memory module specification using composable high level Petri nets 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,19
Thielke, Thomas [Author]; Riemann, Robert [Author] Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP 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,29
Voget, Stefan [Author] Multiobjective optimization with genetic algorithms and fuzzy-control 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,9
Diethelm, Kai [Author] New error bounds for modified quadrature formulas for Cauchy principal value integrals 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,20
Huhn, Michaela [Author] On semantic and logical refinement of actions 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,15
Braß, Helmut [Author]; Förster, Klaus-Jürgen [Author] On the application of the Peano representation of linear functionals in numerical analysis 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,6
Kolonko, Michael [Author]; Nachtigall, Karl [Author]; Voget, Stefan [Author] ; CeBIT 1996 Hannover Optimierung von integralen Taktfahrplänen mit genetischen Agorithmen : Exponat der Universität Hildesheim auf der CeBit 96 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,8
Best, Eike [Author] Partial order verification with PEP 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,26
Diethelm, Kai [Author] Peano kernels of non-integer 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,12
Fleischhack, Hans [Author]; Grahlmann, Bernd [Author] A Petri net semantics for B(PN)2 with procedures which allows verification 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,21
Ehrich, Sven [Author] Pointwise error bounds for orthogonal cardinal spline approximation 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,30
Habel, Annegret [Author]; Plump, Detlef [Author] Term graph narrowing 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,14
Huhn, Michaela [Author]; Niebert, Peter [Author] Towards automata for branching time and partial order 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,16
Diethelm, Kai [Author] When do definite estimation functionals exist? 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,3
Huhn, Michaela [Author]; Wehrheim, Heike [Author]; Denker, Grit [Author] Action refinement - an application of process theory on object oriented specification Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,40
Diethelm, Kai [Author]; Köhler, Peter [Author] Asymptotic behaviour of fixed order error constants of modified quadrature formulae for Cauchy principal value integrals Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,41
Köhler, Peter [Author] Asymptotically best spline approximation by quasi-interpolation and asymptotically best quadrature formulae Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,8
Lavrov, Alexander [Author] Automated simulation of flexible manufacturing systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1995 Published in: Hildesheimer Informatik-Berichte ; 95,5
> 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