Ebook PDF Search Engine
Home | PDF Viewer | PDF Toolbar | About PDF
Verteilte
by Auguste Bravais, C Blasius

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either ...

by Christian Maurer

Der Band bietet eine kompakte Einführung in die Nichtsequentielle Programmierung als gemeinsamen Kern von Vorlesungen über Betriebssysteme, Verteilte Systeme, Parallele Algorithmen, Echtzeitprogrammierung und Datenbanktransaktionen. Basiskonzepte zur Synchronisation und Kommunikation nebenläufiger ...

by Malte Schmitz

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige ...

Home | About Us | Terms and Conditions | DMCA | Contact Us | Link to Us
© 2009-2017 Ebook PDF Search Engine