Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

CONCUR'99. Concurrency Theory

Name: CONCUR'99. Concurrency Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05275000
Price: 2356 CZK
Availability: InStock
Author: Jos C. M. Baeten
ISBN: 9783540664253

10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings

Jos C. M. Baeten

Sjouke Mauw

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05275000

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 1999

This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CON... Celý popis

Libristo kód: 05275000

236 b

2 356 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Berühmte Frauen der Weltgeschichte Gertrude Aretz

Brožovaná

188 Kč

Traitement Du Cholera-Morbus. 2e Edition Schacken-D

Brožovaná

322 Kč

Stabilitat Und Matrizen P. C. Müller

Brožovaná

1 187 Kč

Begegnung fürs Leben, Kunstleder

Brožovaná

1 487 Kč

Skryté síly v člověku - čakry a kundaliní Paramhans svámi Mahéšvaránanda

Pevná

587 Kč

Jak si lidé hrají Eric Berne

Audio CD

263 Kč

Witchstone Kids Reiner Knizia

Hra

410 Kč

Mies Van Der Rohe Ratramn Ratramnus Corbeiensis

Brožovaná

568 Kč

Sedm slov Marek Tomeček

Brožovaná

249 Kč

Mbuti Pygmies of the Ituri Rainforest

Audio CD

106 Kč

This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR 99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications,and of the scienti?c relevance of their foundations. The scope of CONCUR 99 covers all areas of semantics, logics and veri?cation techniques for concurrent systems. A list of speci?c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri?cation techniques, re?nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466.