- 0 Ergebnisse
Kleinster Preis: € 73,90, größter Preis: € 149,00, Mittelwert: € 100,37
1
CONCUR 2010 - Concurrency Theory  21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings  Paul Gastin  Taschenbuch  Lecture Notes in Computer Science - Gastin, Paul
Bestellen
bei booklooker.de
€ 73,90
Versand: € 0,00
Bestellen
Gastin, Paul:

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Taschenbuch Lecture Notes in Computer Science - Taschenbuch

2010, ISBN: 9783642153747

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, Augus… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

preigu
2
CONCUR 2010 - Concurrency Theory  21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings  Paul Gastin (u. a.)  Taschenbuch  Englisch  2010 - Gastin, Paul
Bestellen
bei booklooker.de
€ 76,90
Versand: € 0,00
Bestellen

Gastin, Paul:

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin (u. a.) Taschenbuch Englisch 2010 - Taschenbuch

2010, ISBN: 9783642153747

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at UniversiteDenis Diderot, Augus… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

Buchbär
3
CONCUR 2010 - Concurrency Theory
Bestellen
bei Averdo.com
€ 89,69
Versand: € 0,00
Bestellen
CONCUR 2010 - Concurrency Theory - Taschenbuch

2010

ISBN: 9783642153747

Erscheinungsdatum: 18.08.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: CONCUR 2010 - Concurrency Theory, Titelzusatz: 21th International Conference, CONCUR 2010, Par… Mehr…

Nr. 70515477. Versandkosten:, Next Day, DE. (EUR 0.00)

4
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Edit
Bestellen
bei BarnesandNoble.com
€ 149,00
Bestellen
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Edit - neues Buch

2010, ISBN: 9783642153747

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revise… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.

5
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings - Gastin, Paul (Herausgeber); Laroussinie, Francois (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 112,34
Versand: € 0,00
Bestellen
Gastin, Paul (Herausgeber); Laroussinie, Francois (Herausgeber):
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings - neues Buch

2010, ISBN: 3642153747

Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informationssystem, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Programmiersprac… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

Details zum Buch
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Edit

This book constitutes the refereed proceedigs of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.

Detailangaben zum Buch - CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings Paul Gastin Edit


EAN (ISBN-13): 9783642153747
ISBN (ISBN-10): 3642153747
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg Core >1
600 Seiten
Gewicht: 0,917 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-06-13T07:59:30+02:00 (Vienna)
Detailseite zuletzt geändert am 2020-12-16T19:39:41+01:00 (Vienna)
ISBN/EAN: 9783642153747

ISBN - alternative Schreibweisen:
3-642-15374-7, 978-3-642-15374-7


< zum Archiv...