( en | de | ru )

 

Disambiguierung von "Zwiers, Job"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.

, , , , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 595-608. Springer, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ulrike Zwiers

Christopher Job

Lorenzo Job

Wilhelm Job

Mareile Job

 

Weitere Publikationen von Autoren mit dem selben Namen

The Compositional Approach to Sequential Consistency and Lazy Caching., , und . Distributed Comput., 12 (2-3): 105-127 (1999)Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency., und . PODC, Seite 265-279. ACM, (1989)A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)., , und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 513-527. Springer, (1983)Layering Techniques for Development of Parallel Systems., und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 16-29. Springer, (1992)Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems., , , und . FSTTCS, Volume 1026 von Lecture Notes in Computer Science, Seite 80-95. Springer, (1995)Protocol Design by Layered Decomposition: A Compositional Approach., und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 307-326. Springer, (1992)Real-Time Animation Using a Mix of Physical Simulation and Kinematics., , und . J. Graphics, GPU, & Game Tools, 14 (4): 1-21 (2009)In The Truman Show: Generating Dynamic Scenarios in a Driving Simulator., , , , , und . IEEE Intell. Syst., 21 (5): 28-32 (2006)Concurrency Verification: Introduction to Compositional and Noncompositional Methods, , , , , , und . Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (2001)Classifying motor imagery in presence of speech., , und . IJCNN, Seite 1-8. IEEE, (2010)