1
יצא לאור 2007
תוכן הענינים: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים: ... -- Cloud-Scale Transaction Processing with ParaDB System: A Demonstration -- BSMA-Gen: A Parallel Synthetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2014
תוכן הענינים: ... -- Cloud-Scale Transaction Processing with ParaDB System: A Demonstration -- BSMA-Gen: A Parallel Synthetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים: ...Validation and Verification -- Requirements and Concepts for Transaction Level Assertion Refinement...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני