Showing results for inauthor:Rolf Stadler of about 558 books (Page 1) ordered by Relevancy
You can use the Filters to refine your results, or you can use the Categories to discover new books.
loading...
loading...
Description: None
loading...
loading...
loading...
loading...
loading...
Description: Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei...
loading...
Description: Abstract: Summary RNA molecules play crucial roles in various biological processes. They mediate their function mainly by interacting with other RNAs or proteins. At present, information about these interactions is distributed over different resources, often providing the data in simple tab-delimited formats that differ between the databases. There is no standardized data format that can capture t...
loading...
Description: None
loading...