Norbert Th. Müller, Abteilung Informatik, Norbert Müller, Norbert Müller, Norbert Müller, ...
Computing in accordance with TTE: functional or imperative(!) programming atomic objects x ∈ R fully(!) consistent with real calculus
Der Wirtschaftswissenschaftlichen, Lei Yu, Prof Dr, B. Schmid, Die Wirtschaftswissenschaftliche Fakultät, ...
With on-line ordering and electronic commerce, the Internet moves from a passive information role to an active role as a computational medium for supporting the execution of business processes. This...
Der Abteilung Informatik, Der Wirtschaftswissenschaftlichen, Kornel Szabo, Prof Dr, Lewis E. Hitchner, ...
The best user interface is the one
A Workflow Metamodel Supporting Dynamic, Reuse-Based Model Evolution (2008)
Der Wirtschaftswissenschaftlichen, Markus Kradolfer, Bussnang Tg, Die Wirtschaftswissenschaftliche Fakultät, Abteilung Informatik, ...
vorgelegt von
Der Wirtschaftswissenschaftlichen Fakultät, Werner Dreyer, Zürich Zh, Die Wirtschaftswissenschaftliche Fakultät, Abteilung Informatik
von
N. Antonioli, L. Richter, H. Schauer, Die Wirtschaftswissenschaftliche Fakultät, Abteilung Informatik, Gestattet Hierdurch
vorgelegt von
Enabling personalization across multiple systems (2007)
Fachbereich Ingenieurwissenschaften, Abteilung Informatik, Bhaskar Mehta, Referent Prof, Dr. Norbert Fuhr, ...
zur Erlangung des akademischen Grades eines Doktor rerum naturalium (Dr. rer. nat.) vorgelegte
Novel Approaches to Numerical Software with Result Verification (2003)
Laurent Granvilliers, Vladik Kreinovich, Norbert Müller, Abteilung Informatik
Abstract. Traditional design of numerical software with result verification is based on the assumption that we know the algorithm ¦¨§� © ©���� £��������� � that...
Novel Approaches to Numerical Software with Result Verification (2003)
Laurent Granvilliers, Vladik Kreinovich, Norbert Müller, Abteilung Informatik
Abstract. Traditional design of numerical software with result verification is based on the assumption that we know the algorithm ¦¨§� © ©���� £��������� � that...
Unambiguity of SGML Content Models - Pushdown Automata Revisited (1997)
Mathematik Informatik, Trierer Forschungsberichte, Fachbereich Iv, Andreas Neumann, Andreas Neumann, Abteilung Informatik
s and 1/TechReports/FullText Via WWW: URL http://www.informatik.uni-trier.de/Reports/List Via email: Send a mail to ftpmail@ftp.informatik.uni-trier.de, subject 'MAIL ME CLEAR', body...
Unambiguity of SGML Content Models - Pushdown Automata Revisited (1997)
Andreas Neumann, Abteilung Informatik
We consider the property of unambiguity for regular expressions, extended by an additional operator &. This denotes concatenation in any order, and must have arbitrary arity since it is not...
Unambiguity of SGML Content Models - Pushdown Automata Revisited (1997)
Mathematik Informatik, Trierer Forschungsberichte, Fachbereich Iv, Andreas Neumann, Andreas Neumann, Abteilung Informatik
s and 1/TechReports/FullText Via WWW: URL http://www.informatik.uni-trier.de/Reports/List Via email: Send a mail to ftpmail@ftp.informatik.uni-trier.de, subject 'MAIL ME CLEAR', body...