Search results for “[Subject: logic-design]”

• Author(s): Thomas Hubauer • Publisher: Springer • Publisher Imprint: Springer Vieweg • BISAC: Data Science - GeneralFrom the Back CoverThomas Hubauer addresses the challenge of providing reasonable interpretations of incomplete observational da...

• Author(s): Michael Schenke • Publisher: Springer Vieweg • Publisher Imprint: Springer Vieweg • BISAC: Computer ScienceIm Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Str...

• Author(s): Karsten Wolf • Publisher: Springer Vieweg • Publisher Imprint: Springer Vieweg • BISAC: LogicDas Lehrbuch befasst sich mit dem pr�zisen Denken, einer Schl�sselkompetenz im Studium der Informatik. Es bildet die Vorstufe f�r das Verst�...

• Author(s): Winfried Gehrke | Marco Winzker • Publisher: Springer Vieweg • Publisher Imprint: Springer Vieweg • BISAC: Electronics - GeneralModerne Digitaltechnik, umfassend und kompakt: Dieses Lehr- und Übungsbuch spannt den Bogen von den Grund...

• Author(s): Malte Schmitz • Publisher: Springer Vieweg • Publisher Imprint: Springer Vieweg • BISAC: Computer ScienceIn seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu ...