phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

CONCUR 2011 -- Concurrency Theory

Limba englezăengleză
Carte Carte broșată
Carte CONCUR 2011 -- Concurrency Theory Joost-Pieter Katoen
Codul Libristo: 01658622
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2011
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency T... Descrierea completă
? points 163 b
329 lei
În depozitul extern Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Logic and Games on Automatic Structures ukasz Kaiser / Carte broșată
common.buy 324 lei
Basic Principles of Analytical Ultracentrifugation Peter Schuck / Copertă tare
common.buy 737 lei
In a Better Place Now Karl T Woods / Carte broșată
common.buy 187 lei
Welfare for the Wealthy Christopher G. Faricy / Carte broșată
common.buy 175 lei
Koerperbild und Persoenlichkeit Joachim Küchenhoff / Copertă tare
common.buy 373 lei
Islamicity Indices Hossein Askari / Carte broșată
common.buy 382 lei
Systen der Altsynagogalen Palästinischen Theologie aus Targum, Midrasch und Talmud Ferdinand Wilhelm Weber / Carte broșată
common.buy 158 lei
Sea-Wolf Jack London / Carte broșată
common.buy 82 lei
Kloester Eberbach und Haina und das Verhaltnis zu den ihnen untergeordneten Zisterzienserinnen Arno Hesse / Carte broșată
common.buy 368 lei

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. §The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Informații despre carte

Titlu complet CONCUR 2011 -- Concurrency Theory
Autor Joost-Pieter Katoen, Barbara König
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 560
EAN 9783642232169
ISBN 3642232167
Codul Libristo 01658622
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 856
Dimensiuni 155 x 235 x 30

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo