책 이미지
eBook 미리보기
책 정보
· 제목 : Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 (Paperback) 
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783319662640
· 쪽수 : 492쪽
· 출판일 : 2017-08-18
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783319662640
· 쪽수 : 492쪽
· 출판일 : 2017-08-18
추천도서
분야의 베스트셀러 >














