תוצאות חיפוש - international attention based computing ((((array string) OR (array arcing))) OR (arrays ang))

אפשרויות חיפוש:
international attention » international dimention , international convention , international protection
based computing » based routing , based costing , trusted computing
array string » array strong , arrays strings , array sharing
array arcing » array forming , array probing , array sharing
arrays ang » arrays a

1

תמונות העטיפה

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

יצא לאור 2013

תוכן הענינים: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני