1
יצא לאור 2005
תוכן הענינים: ... on the InfiniBand-Based Distributed Virtual Shared Memory System -- Fast and Scalable Startup of MPI Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים: ...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני