Theoretische Informatik Eine problemorientierte Einführung von Sperschneider, Volker

Volltext öffnen Volltext öffnen

A horn logic approach to modularity in knowledge based systems von Antoniou, Grigoris 1961-, Sperschneider, Volker

On the verification on modules von Antoniou, Grigoris 1961-, Sperschneider, Volker

On the verification of modules von Antoniou, Grigoris 1961-, Sperschneider, Volker

Modulare Programme und ihre Verifikation von Antoniou, Grigoris 1961-, Sperschneider, Volker

Computations on words and their complexity von Sperschneider, Volker

Incompleteness of HOARE's calculus over simple datastructures von Antoniou, Grigoris 1961-, Sperschneider, Volker

Bioinformatics Problem Solving Paradigms von Sperschneider, Volker

Inhaltsverzeichnis

LOGIC a foundation for computer science von Sperschneider, Volker 1952-, Antoniou, Grigoris 1961-

A Horn logic approach to modularity in knowledge based systems von Antoniou, Grigoris 1961-, Sperschneider, Volker

Theoretische Informatik Vorlesung gehalten im WS 1988/89 von Sperschneider, Volker

The geography of basic complexity classes in computations by programs over simple data-structures von Sperschneider, Volker

Polynomial space restricted unwind property of an algebra of binary words von Sperschneider, Volker

Modelltheorie topologischer Vektorräume von Sperschneider, Volker

Modelltheorie topologischer Vektorräume von Sperschneider, Volker

Bioinformatics problem solving paradigms von Sperschneider, Volker 1952-

Volltext öffnen

Theoretische Informatik eine problemorientierte Einführung von Sperschneider, Volker, Hammer, Barbara 1970-

Inhaltsverzeichnis

Logic a foundation for computer science von Sperschneider, Volker, Antoniou, Grigorios

On the definition and verification of modular software systems von Antoniou, Grigoris 1961-, Sperschneider, Volker

Grundlagen der Theoretischen Informatik von Sperschneider, Volker