CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes in . . . Computer Science and General Issues)
6 Angebote vergleichen

Preise20122013201420152021
Schnitt 72,36 83,06 88,28 117,48 106,99
Nachfrage
Bester Preis: 14,31 (vom 28.10.2015)
1
9783540283096 - CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Symbolbild

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (2005)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB NW

ISBN: 9783540283096 bzw. 3540283099, in Deutsch, Springer, Taschenbuch, neu.

193,77 + Versand: 11,74 = 205,51
unverbindlich
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 1280 pages. Dimensions: 9.3in. x 6.1in. x 1.3in.This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and to promote its applications. This years conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may dier in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
2
9783540283096 - Abadi, Martín / de Alfaro, Luca (eds.): CONCUR 2005 - Concurrency Theory
Symbolbild
Abadi, Martín / de Alfaro, Luca (eds.)

CONCUR 2005 - Concurrency Theory

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540283096 bzw. 3540283099, in Deutsch, Springer, Berlin, Taschenbuch, neu.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication.2005. xxiv, 1280 S. XIV, 578 p. Also available online. 235 mmVersandfertig in 3-5 Tagen, Softcover.
3
9783540283096 - Martín Abadi; Luca de Alfaro: CONCUR 2005 - Concurrency Theory
Martín Abadi; Luca de Alfaro

CONCUR 2005 - Concurrency Theory (2005)

Lieferung erfolgt aus/von: Deutschland ~EN PB NW

ISBN: 9783540283096 bzw. 3540283099, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.

Lieferung aus: Deutschland, Lagernd.
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year's conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication. Soft cover.
4
9783540283096 - Mart n Abadi: CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Paperback)
Symbolbild
Mart n Abadi

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Paperback) (2005)

Lieferung erfolgt aus/von: Deutschland DE PB NW FE

ISBN: 9783540283096 bzw. 3540283099, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu, Erstausgabe.

157,60 + Versand: 17,18 = 174,78
unverbindlich
Von Händler/Antiquariat, Citi Retail [9235530], Lowfield Heath, United Kingdom.
Paperback. This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is .Shipping may be from our UK, US or Australian warehouse depending on stock availability. This item is printed on demand. 578 pages. 0.871.
5
9783540283096 - CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes . Computer Science and General Issues)
Symbolbild

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes . Computer Science and General Issues) (2005)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB NW

ISBN: 9783540283096 bzw. 3540283099, in Deutsch, Springer, Taschenbuch, neu.

91,97 + Versand: 3,93 = 95,90
unverbindlich
Von Händler/Antiquariat, shefered books [57931928], New York, NY, U.S.A.
3540283099 Brand New Ship Promptly.Please allow 8 to 14 Business Days to deliver you the book.We Ship via Dhl,FedEx,Ups,USPS.Customer Satisfaction Guaranteed. Bookseller Inventory.
6
9783540283096 - Martín Abadi: CONCUR 2005 - Concurrency Theory
Symbolbild
Martín Abadi

CONCUR 2005 - Concurrency Theory (2005)

Lieferung erfolgt aus/von: Deutschland DE PB NW RP

ISBN: 9783540283096 bzw. 3540283099, in Deutsch, Springer Aug 2005, Taschenbuch, neu, Nachdruck.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification. 600 pp. Englisch.
Lade…