Department Informatik

Agent Mobility and Communication (1998) Schröder-Preikschat W Edited Volume Graphtransformation zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle (1998) Koch M, Fischer I, Volle V Conference contribution, Original article System description: Leo— A higher-order theorem prover (1998) Kohlhase M, Benzmüller C Conference contribution, Original article An Evolutionary Approach to System-Level Synthesis (1997) Blickle T, Teich J, Thiele L Conference contribution Zusammenhänge und Unterschiede zwischen Graph-Grammatiken und Petri-Netzen sowie verwandter Systeme (1997) Wilke P Thesis Soft-Computing - Prinzip (1997) Wilke P Thesis Synthesis and Characterization of cis- and trans-Tetrachlorobis(pyridine)- platinum(IV) (1997) Junicke H, Schenzel K, Heinemann FW, Pelz K, Bögel H, Steinborn D Journal article Bayesian Vision: From Intensity Marginals to Mutual Information and Entropic Object Recognition (1997) Hornegger J, Paulus D Other publication type Proc. IEEE Int. Conference on Application Specific Systems, Architectures, and Processors (ASAP´97) (1997) Fortes J, Noll T, Taylor V, Teich J, Thiele L, Vissers K Edited Volume Wort für Wort - Repräsentation und Verarbeitung verbaler Phraseologismen (Phraseo-Lex) (1997) Keil M Thesis