LIBROS DEL AUTOR: thomas studer

2 resultados para LIBROS DEL AUTOR: thomas studer

thomas studer Eliminar filtro Quitar filtros
  • Relationale Datenbanken
    Thomas Studer
    Dieses Buch erläutert Theorie und Praxis zu relationalen Datenbanken Was sind relationale Datenbanken? Die Antwort darauf geben die theoretischen Grundlagen und Praxisbeispiele in diesem Buch. Zunächst erläutert Thomas Studer die mathematisch präzise Darstellung des relationalen Modells und die relationale Algebra. Daneben widmet er sich der Datenbanksprache SQL und schafft dam...
    Disponible

    41,69 €

  • Logics of Proofs and Justifications
    Roman Kuznets / Thomas Studer
    Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved ben...
    Disponible

    25,40 €