Partner

2 Treffer in 0.005 Sek.

[Externer Link] A theory for nondeterminism, parallelism, communication and concurrency [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: Amsterdam [u.a.] |  Verlag: Elsevier |  Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Theoretical computer science; 45
Fachgebiet: Informatik; Mathematik
[Externer Link] Checking geometric programs or verification of geometric structures; 1-2 [Relevanz: 100%]
Autor / Herausgeber: Mehlhorn, Kurt |  Verlagsort: Amsterdam [u.a.] |  Verlag: Elsevier |  Erscheinungsjahr: 1999
Zeitschrift / Sammelband: Computational geometry; 12
Fachgebiet: Mathematik; Informatik

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Erscheinungsjahr

Sprache