אוניברסיטת בר - אילן , מכונים , מכון לאינטגרציה הוצאה לאור