Partner

2 hits in 0.006 sec.

[External link] A theory for nondeterminism, parallelism, communication and concurrency [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
[External link] Checking geometric programs or verification of geometric structures; 1-2 [Score: 100%]
Author / Editor: Mehlhorn, Kurt |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1999
Journal / Series / Collection: Computational geometry; 12
Subject Area: Mathematik; Informatik

Active filters [Remove filter]

Drill down result

Subject Area [Remove filter]

Year of Publication

Language