1
יצא לאור 2008
תוכן הענינים: ... -- An Improved Approximation Algorithm for the Capacitated Multicast Tree Routing Problem -- Covering Arrays...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
מאת Spear, Chris., Spear, Chris.
יצא לאור 2008
תוכן הענינים: ... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני