Eike Best (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

CONCUR'93 : 4TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY, HILDESHEIM, GERMANY, AUGUST 23-26, 1993. PROCEEDINGS

Tekijä: Eike Best (ed.)
Kustantaja: Springer (1993)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

APPLICATIONS AND THEORY OF PETRI NETS 2003 : 24TH INTERNATIONAL CONFERENCE, ICATPN 2003, EINDHOVEN, THE NETHERLANDS, JUNE 23-27,

Tekijä: Wil van der Aalst (ed.); Eike Best (ed.)
Kustantaja: Springer (2003)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY : 38TH INTERNATIONAL CONFERENCE, PETRI NETS 2017, ZARAGOZA, SPAIN, JUNE 25–

Tekijä: Wil van der Aalst (ed.); Eike Best (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Eike Best (ed.)

49,60 €

Springer
Sivumäärä: 550 sivua
Asu: Pehmeäkantinen kirja
Painos: 1993
Julkaisuvuosi: 1993, 13.08.1993 (lisätietoa)
Kieli: Englanti

This volume contains the proceedings of CONCUR '93, the
fourth in an annual series of conferences devoted to the
study of concurrency. The basic aim of the CONCUR
conferences is to communicate advances in concurrency theory
and applications.
The volume contains 31 papers selected from 113submissions,
together with four invited papers and two abstracts of
invited talks. The invited talks are: "The lambda-calculus
with multiplicities" (extended abstract) by G rard Boudol,
"A pi-calculus semantics for an object-based design
notation" by Cliff B. Jones, "Partial-order methods for
temporal verification" by Pierre Wolper and Patrice
Godefroid, "Non-interleaving process algebra" by Jos C.M.
Baetenand Jan A. Bergstra, "Loop parallelization in the
polytope model" by Christian Lengauer, and "Structured
operational semantics for process algebras and equational
axiom systems" (abstract) by Bard Bloom.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus