Gratis Versand in ganz Österreich
Bookbot

Herausragende Dissertationen in der Informatik Reihe

Diese Reihe präsentiert eine kuratierte Auswahl der besten britischen Doktorarbeiten der Informatik, die jährlich von einem anerkannten Komitee ausgewählt werden. Ziel ist es, bedeutende britische Beiträge auf diesem Gebiet hervorzuheben und als Vorbild für angehende Forscher zu dienen. Jeder Band zeichnet sich durch eine hohe Darstellungsgüte aus und kontextualisiert seine Ergebnisse klar innerhalb der breiteren Informatiklandschaft.

Specification and Proof in Real Time CSP
Efficient Algorithms for Listing Combinatorial Structures

Empfohlene Lesereihenfolge

  • Efficient Algorithms for Listing Combinatorial Structures

    • 178 Seiten
    • 7 Lesestunden

    Focusing on the design of efficient algorithms, this thesis explores methods for listing combinatorial structures. It delves into the intricacies of combinatorial design and algorithmic efficiency, providing insights that are essential for researchers and practitioners in the field. The work, first published in 1993, contributes to the understanding of how to effectively generate and manage combinatorial configurations.

    Efficient Algorithms for Listing Combinatorial Structures

  • Specification and Proof in Real Time CSP

    • 200 Seiten
    • 7 Lesestunden

    Focusing on the specification and verification of real-time systems, this book delves into the application of Communicating Sequential Processes (CSP). It presents research findings that explore how CSP can be effectively utilized to ensure the reliability and correctness of systems that operate within strict timing constraints, making it a valuable resource for researchers and practitioners in the field of computer science and systems engineering.

    Specification and Proof in Real Time CSP