1
יצא לאור 2013
תוכן הענינים: ... Satisfaction Approach for Programmable Logic Detailed Placement -- Minimizing Models for Tseitin-Encoded SAT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני