Skip to contents Hesse, Ralf [Author] LIS 2 : eine service-orientierte Plattform für integratives Lehr- und Lernmanagement Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ., Inst. für Math. und Angewandte Informatik, 2005 Published in: Hildesheimer Informatik-Berichte ; 2005,1 Dierks, Andreas [Author] VIDAS - Aufbau einer robusten, frei programmierbaren Maschine aus Assoziativmatrizen : Simulation und Hardware-Lösung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik und Angewandte Informatik, 2005 Published in: Hildesheimer Informatik-Berichte ; 2005,2 Luba, Thomas [Author] Konkordanzen in langen Zeichenketten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ., Inst. für Mathematik und Angewandte Informatik, 2001 Published in: Hildesheimer Informatik-Berichte ; 2001,1 Ackermann, Martin [Author] Statistische Korpusanalyse zum Extrahieren von semantischen Wortrelationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik und Angewandte Informatik, 2000 Published in: Hildesheimer Informatik-Berichte ; 2000,1 Gehrke, Thomas [Author] An algebraic semantics for an abstract language with intra object concurrency Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,7 Gehrke, Thomas [Other] An algebraic semantics for message sequence chart documents Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,5 Gehrke, Thomas [Author]; Goltz, Ursula [Author]; Wehrheim, Heike [Author] The dynamic models of UML : towards a semantics and its application in the development process Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,11 Diethelm, Kai [Author] Fractional error constants for quadrature formalas Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,1 Huhn, Michaela [Author]; Niebert, Peter [Author]; Wehrheim, Heike [Author] Partial order reductions for bisimulation checking Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,8 Glabbeek, Rob J. van [Author]; Goltz, Ursula [Author] Refinement of actions and equivalence notions for concurrent systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ., Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,6 Firley, Thomas [Author]; Gehrke, Thomas [Author]; Rensink, Arend [Author] Spezifikation eines RPC-Speichers mit der Sprache ProFun Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,4 Rensink, Arend [Author]; Gorrieri, Roberto [Author] Vertical bisimulation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,9 Stiege, Günther [Author] An algorithm for finding the connectivity structure of 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, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,13 Rensink, Arend [Author] Bisimilarity of open terms 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,5 Dadam, Peter [Author]; Reichert, Manfred [Author]; Kuhn, Klaus [Author] Clinical workflows - the killer application for process-oriented information systems? Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,16 Habel, Annegret [Author]; Plump, Detlef [Author] Completeness of narrowing in non-copying implementations 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,19 Fleischhack, Hans [Author]; Grahlmann, Bernd [Author] A compositional Petri net semantics for SDL 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,18 Bleumer, Gerrit [Author] Group signatures and group credentials 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,2 Damelin, S. B. [Author]; Diethelm, Kai [Author] Interpolatory product quadratures for cauchy principal value integrals with Freud weights 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,10 Tarasjuk, Igor V. [Author] An investigation of back forth and place bisimulation 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,8
Hesse, Ralf [Author] LIS 2 : eine service-orientierte Plattform für integratives Lehr- und Lernmanagement Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ., Inst. für Math. und Angewandte Informatik, 2005 Published in: Hildesheimer Informatik-Berichte ; 2005,1
Dierks, Andreas [Author] VIDAS - Aufbau einer robusten, frei programmierbaren Maschine aus Assoziativmatrizen : Simulation und Hardware-Lösung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik und Angewandte Informatik, 2005 Published in: Hildesheimer Informatik-Berichte ; 2005,2
Luba, Thomas [Author] Konkordanzen in langen Zeichenketten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ., Inst. für Mathematik und Angewandte Informatik, 2001 Published in: Hildesheimer Informatik-Berichte ; 2001,1
Ackermann, Martin [Author] Statistische Korpusanalyse zum Extrahieren von semantischen Wortrelationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik und Angewandte Informatik, 2000 Published in: Hildesheimer Informatik-Berichte ; 2000,1
Gehrke, Thomas [Author] An algebraic semantics for an abstract language with intra object concurrency Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,7
Gehrke, Thomas [Other] An algebraic semantics for message sequence chart documents Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,5
Gehrke, Thomas [Author]; Goltz, Ursula [Author]; Wehrheim, Heike [Author] The dynamic models of UML : towards a semantics and its application in the development process Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,11
Diethelm, Kai [Author] Fractional error constants for quadrature formalas Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Mathematik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,1
Huhn, Michaela [Author]; Niebert, Peter [Author]; Wehrheim, Heike [Author] Partial order reductions for bisimulation checking Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,8
Glabbeek, Rob J. van [Author]; Goltz, Ursula [Author] Refinement of actions and equivalence notions for concurrent systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Univ., Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,6
Firley, Thomas [Author]; Gehrke, Thomas [Author]; Rensink, Arend [Author] Spezifikation eines RPC-Speichers mit der Sprache ProFun Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,4
Rensink, Arend [Author]; Gorrieri, Roberto [Author] Vertical bisimulation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Inst. für Informatik, 1998 Published in: Hildesheimer Informatik-Berichte ; 98,9
Stiege, Günther [Author] An algorithm for finding the connectivity structure of 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, 1997 Published in: Hildesheimer Informatik-Berichte ; 97,13
Rensink, Arend [Author] Bisimilarity of open terms 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,5
Dadam, Peter [Author]; Reichert, Manfred [Author]; Kuhn, Klaus [Author] Clinical workflows - the killer application for process-oriented information systems? Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,16
Habel, Annegret [Author]; Plump, Detlef [Author] Completeness of narrowing in non-copying implementations 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,19
Fleischhack, Hans [Author]; Grahlmann, Bernd [Author] A compositional Petri net semantics for SDL 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,18
Bleumer, Gerrit [Author] Group signatures and group credentials 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,2
Damelin, S. B. [Author]; Diethelm, Kai [Author] Interpolatory product quadratures for cauchy principal value integrals with Freud weights 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,10
Tarasjuk, Igor V. [Author] An investigation of back forth and place bisimulation 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,8
> 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