Search
Now showing items 181-186 of 186
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
Schwarz, Michael; Sinz, E. J. (1999)
Beitrag zu einer Konferenz
A Powerful Transformation Rule, its Applications and Variants
Achatz, Klaus; Partsch, Helmuth (1997)
Beitrag zu einer Konferenz
Structuring graphical paradigms in TkGofer
Claessen, K.; Vullinghs, Ton; Meijer, E.; Peyton Jones, S. (1997)
Beitrag zu einer Konferenz
Risikofaktor Software
Reif, Wolfgang; Jantke, K.; Grieger, G.; Wittig, W. (1997)
Teil eines Buches
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Greiner, C. et al. (1998)
Beitrag zu einer Konferenz
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches