. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 4,29 €, größter Preis: 136,75 €, Mittelwert: 82,62 €
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedi - Abadi, Martin / de Alfaro, Luca
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Abadi, Martin / de Alfaro, Luca:

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedi - gebrauchtes Buch

2005, ISBN: 9783540283096

ID: 7951678

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. CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Abadi, Martin / de Alfaro, Luca, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
CONCUR 2005 - Concurrency Theory
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
CONCUR 2005 - Concurrency Theory - neues Buch

2005, ISBN: 9783540283096

ID: 698363744

16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Lecture Notes in Computer Science Theoretical Computer Science and General Issues. 2005. Auflage 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Lecture Notes in Computer Science Theoretical Computer Science and General Issues. 2005. Auflage Bücher > Ratgeber > Computer Internet, [PU: Springer, Berlin/Heidelberg]

Neues Buch eBook.de
No. 4007564 Versandkosten:zzgl., Versandkosten, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
CONCUR 2005 - CONCURRENY THEORY: 16TH INTERNATIONAL CONFERENCE, CONCUR 2005, SAN FRANCISCO, CA, USA, AUGUST 23-26, 2005, PROCEEDINGS - MARTIN ABADI, LUCA DE ALFARO
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
MARTIN ABADI, LUCA DE ALFARO:
CONCUR 2005 - CONCURRENY THEORY: 16TH INTERNATIONAL CONFERENCE, CONCUR 2005, SAN FRANCISCO, CA, USA, AUGUST 23-26, 2005, PROCEEDINGS - neues Buch

2005

ISBN: 3540283099

ID: 17116619250

[EAN: 9783540283096], Neubuch, Computers & the Internet|Data Processing|Parallel Processing, Computers & the Internet|Networking|General, Computers & the Internet|Programming|General, Computers & the Internet|Programming Languages|General, New. US edition. Customer Satisfaction guaranteed!!, [PU: Springer, Berlin/Heidelberg]

Neues Buch Abebooks.de
EBOOKSTORE2010, New Delhi, ND, India [55268631] [Rating: 4 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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) - Luca De Alfaro, Martín Abadi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Luca De Alfaro, Martín Abadi:
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) - Taschenbuch

2005, ISBN: 3540283099

ID: 18439954460

[EAN: 9783540283096], Neubuch, [PU: Springer], Computers & the Internet|Data Processing|Parallel Processing, Computers & the Internet|Networking|General, Computers & the Internet|Programming|General, Computers & the Internet|Programming Languages|General

Neues Buch Abebooks.de
Irish Booksellers, Rumford, ME, U.S.A. [57531671] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 24.79
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
CONCUR 2005 - Concurrency Theory - Martín Abadi; Luca de Alfaro
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Martín Abadi; Luca de Alfaro:
CONCUR 2005 - Concurrency Theory - Taschenbuch

2005, ISBN: 9783540283096

ID: 6955787

16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, 2005, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
CONCUR 2005 - Concurrency Theory
Autor:

Abadi, Luca de Alfaro and Martin

Titel:

CONCUR 2005 - Concurrency Theory

ISBN-Nummer:

9783540283096

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.

Detailangaben zum Buch - CONCUR 2005 - Concurrency Theory


EAN (ISBN-13): 9783540283096
ISBN (ISBN-10): 3540283099
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer-Verlag GmbH
600 Seiten
Gewicht: 0,894 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 27.05.2007 06:40:34
Buch zuletzt gefunden am 13.02.2017 22:05:31
ISBN/EAN: 9783540283096

ISBN - alternative Schreibweisen:
3-540-28309-9, 978-3-540-28309-6

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher