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

Quantitative Evaluation of Systems

Limba englezăengleză
Carte Carte broșată
Carte Quantitative Evaluation of Systems Pedro R. D'Argenio
Codul Libristo: 05281601
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2013
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Qu... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Fratres Arvo Pärt / Note muzicale
common.buy 103 lei
Total Responsibility Management Sandra Waddock / Copertă tare
common.buy 274 lei
The Sisterhood of Money: The Art of Creating Wealth from Your Heart Cynthia K Fick / Carte broșată
common.buy 73 lei
High School Boys' Fishing Trip Harrie Irving Hancock / Carte broșată
common.buy 130 lei
German Writings Before and After 1945: E. Junger, W. Koeppen, I. Keun, A. Lernet-Holenia, G. von Rez Jurgen Peters / Carte broșată
common.buy 356 lei
Signals and Images Madeleine Bastide / Copertă tare
common.buy 982 lei
Scare Tactics Douglas Walton / Copertă tare
common.buy 638 lei
HOMENAXE A EVARISTO DE SELA 1917-1994 / Copertă tare
common.buy 104 lei
Cook's Decameron W. G. / Copertă tare
common.buy 251 lei
El lado oscuro / The Dark Side Sally Green / Carte broșată
common.buy 111 lei
Meditations- und Sitzkissen Basic gelb / binding.
common.buy 137 lei
Zieh mit der Sonne Anna Sophia Hörtreiter / Carte broșată
common.buy 80 lei
curând
Weisssein im Widerspruch Eske Wollrad / Carte broșată
common.buy 98 lei
1001 vinos que hay que probar antes de morir NEIL BECKETT / Carte broșată
common.buy 109 lei
Plant Biotechnology 2002 and Beyond Indra K. Vasil / Copertă tare
common.buy 628 lei
Lasst mich's erzählen, Jesus zur Ehr Sofia Schmölz / Copertă tare
common.buy 74 lei

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.

Informații despre carte

Titlu complet Quantitative Evaluation of Systems
Autor Pedro R. D'Argenio, Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 406
EAN 9783642401954
ISBN 3642401953
Codul Libristo 05281601
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 640
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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