1
יצא לאור 2012
תוכן הענינים: ... -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ...Workflow Tools -- Programming Paradigms for Scientific Problem Solving Environments -- Why...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני