LIBRISTO
LIBROAMANTO
obligatoriu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Livrare gratuită pentru comenzile peste 349,00 lei.

CONCUR'93

4thInternational Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte CONCUR'93 Eike Best
Codul Libristo: 05274337
Editura Springer, Berlin, noiembrie 1992
This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences de... Descrierea completă
? points 132 b
285.40 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare


Clienții au cumpărat de asemenea


BILD - MACHT - UnORDNUNG Anna-Maria Blank / Carte Carte broșată
common.buy 247.84 lei
100 hits in C-Dur, band 1 Gerhard Hildner / Carte Carte
common.buy 157.11 lei
Top
Wiedzmin Miecz przeznaczenia Andrzej Sapkowski / Carte Carte broșată
common.buy 64.81 lei
Blick zurück nach vorn Wolfgang Dunkel / Carte Carte broșată
common.buy 222.97 lei
Ogrody mojej duszy Jolanta Żylińska / Carte Carte broșată
common.buy 54.20 lei

This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications.The volume contains 31 papers selected from 113 submissions, together with four invited papers and two abstracts ofinvited talks. The invited talks are: "The lambda-calculuswith multiplicities" (extended abstract) by Gérard Boudol, "A pi-calculus semantics for an object-based designnotation" by Cliff B. Jones, "Partial-order methods for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C. M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.
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

Ar putea de asemenea, să te intereseze


Mathematics of Planet Earth Eulogio Pardo-Igúzquiza / Carte Copertă tare
common.buy 1 136.76 lei
Becoming TIGERS: Leading Your Team Success Izabela Zagorski / Carte Carte broșată
common.buy 91.45 lei
Twenty-one Days in India George Robert Aberigh-MacKay / Carte Carte broșată
common.buy 37.03 lei
Continuous-Time Models in Corporate Finance, Banking, and Insurance Santiago Moreno-Bromberg / Carte Copertă tare
common.buy 354.08 lei
S-BPM in the Wild Albert Fleischmann / Carte Carte broșată
common.buy 279.47 lei
Builders and Fools Derek Tidball / Carte Carte broșată
common.buy 71.68 lei
Application-layer Fault-tolerance Protocols Vincenzo De Florio / Carte Copertă tare
common.buy 919.19 lei
Connected Lives Ruth E. Groenhout / Carte Copertă tare
common.buy 905.76 lei
Cold Blooded Omar Tyree / Carte Carte broșată
common.buy 81.88 lei
Alexander Zinoviev: An Introduction to His Work Michael Kirkwood / Carte Carte broșată
common.buy 306.42 lei

Logare

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

 
obligatoriu
obligatoriu

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?