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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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 2004 -- Concurrency Theory

Name: CONCUR 2004 -- Concurrency Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559740
Price: 1250 CZK
Availability: InStock
Author: Philippa Gardner
ISBN: 9783540229407

15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

Philippa Gardner

Nobuko Yoshida

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01559740

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

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency T... Celý popis

Libristo kód: 01559740

125 b

1 250 Kč

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

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

Zákazníci také koupili

Meister der Bergmannschen Officin und Albrecht Durer's Beziehungen zur Basler Buchillustration Werner Weisbach

Brožovaná

305 Kč

Hunger in Bayern 1816-1818; Politik und Gesellschaft in einer Staatskrise des fruhen 19. Jahrhunderts Gerald Müller

Brožovaná

1 589 Kč

Hos Luigi Garlando

Brožovaná

279 Kč

Revue d'économie industrielle 2018/1 - 161 collegium

Brožovaná

888 Kč

settimana verde. Ricette, consigli, informazioni per cambiare noi stessi e il mondo in cui viviamo Mrs Veggy

Brožovaná

599 Kč

Nuit de lumière Malicot

Brožovaná

552 Kč

Jouer le jeu Fatima Daas

Brožovaná

607 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.