Luis Caires | Akateeminen Kirjakauppa

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

CONCUR 2007 - CONCURRENCY THEORY - 18TH INTERNATIONAL CONFERENCE, CONCUR 2007, LISBON, PORTUGAL, SEPTEMBER 3-8, 2007, PROCEEDING

Luís Caires; Vasco T. Vasconcelos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

AUTOMATA, LANGUAGES AND PROGRAMMING - 32ND INTERNATIONAL COLLOQUIM, ICALP 2005, LISBON, PORTUGAL, JULY 11-15, 2005, PROCEEDINGS

Luis Caires; Guiseppe F. Italiano; Luis Monteiro; Catuscia Palamidessi; Moti Yung
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

97,90 €

PROGRAMMING LANGUAGES AND SYSTEMS - 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING, ESOP 2019, HELD AS PART OF THE EUROPEAN JOINT CONFER

Luís Caires
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

QUESTIONI ATTUALI NELLO STUDIO DELLE RELIGIONI

André Luis Da Rosa; Paulo Jonas Dos Santos Júnior; Elon Saúde Caires(orgs
KS Omniscriptum Publishing (2024)
Pehmeäkantinen kirja

98,70 €

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS - 38TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2018, HELD

Christel Baier; Luís Caires
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

TACKLING CORRUPTION IN LATIN AMERICA : AN INSTITUTIONAL APPROACH

Guillaume Fontaine; Alejandro Hernández-Luis; Taymi Milán; Carlos Rodrigues de Caires
Palgrave Macmillan (2023)
Kovakantinen kirja

121,30 €

TACKLING CORRUPTION IN LATIN AMERICA : AN INSTITUTIONAL APPROACH

Guillaume Fontaine; Alejandro Hernández-Luis; Taymi Milán; Carlos Rodrigues de Caires
Palgrave Macmillan (2024)
Pehmeäkantinen kirja

121,30 €

CONCUR 2007 - Concurrency Theory - 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceeding

Luís Caires, Vasco T. Vasconcelos

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 510 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 22.08.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus