Jos C.M. Baeten | Akateeminen Kirjakauppa

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

CONCUR '91 - 2ND INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY, AMSTERDAM, THE NETHERLANDS, AUGUST 26-29, 1991. PROCEEDINGS

Jos C.M. Baeten; Jan F. Groote
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja

49,60 €

CONCUR'99. CONCURRENCY THEORY - 10TH INTERNATIONAL CONFERENCE EINDHOVEN, THE NETHERLANDS, AUGUST 24-27, 1999 PROCEEDINGS

Jos C.M. Baeten; Sjouke Mauw
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

97,90 €

THEORETICAL COMPUTER SCIENCE - 7TH IFIP TC1/WG 2.2 INTERNATIONAL CONFERENCE, TCS 2012, AMSTERDAM, THE NETHERLANDS, SEPTEMBER 26-

Jos C.M. Baeten; Tom Ball; Frank S. de Boer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

49,60 €

AUTOMATA, LANGUAGES AND PROGRAMMING : 30TH INTERNATIONAL COLLOQUIUM, ICALP 2003, EINDHOVEN, THE NETHERLANDS, JUNE 30 - JULY 4, 2

Jos C.M. Baeten (ed.); Jan Karel Lenstra (ed.); Joachim Parrow (ed.); Gerhard J. Woeginger (ed.)
Springer (2003)
Pehmeäkantinen kirja

49,60 €

CONCUR '91 - 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings

Jos C.M. Baeten, Jan F. Groote

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 549 sivua
Asu: Pehmeäkantinen kirja
Painos: 1991 ed.
Julkaisuvuosi: 1991, 14.08.1991 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 527

CONCUR'91 is the second international conference on
concurrency theory, organized in association with the NFI
project Transfer. It is a sequel to the CONCUR'90
conference. Its basic aim is to communicate ongoing work in
concurrency theory. This proceedings volume contains 30
papers selected for presentation at the conference (from 71
submitted) together with four invited papers and abstracts
of the other invited papers. The papers are organized into
sections on process algebras, logics and model checking,
applications and specification languages, models and net
theory, design and real-time, tools and probabilities, and
programming languages. The proceedings of CONCUR'90 are
available asVolume 458 of Lecture Notes in Computer
Science.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus