엑셀 다운로드 이미지형 리스트형 항목선택 서명 저자 출판사 출판년도 정렬 오름차순 내림차순 페이지수 10 20 30 50 100 1 [ 단행본 ] 관서명승도첩 = 關西名勝圖牒 = Album of Scenic Spots in Gwanseo 저자 김용석 ,박현욱 총괄 발행처 서울역사박물관 발행년 2021 소장정보 열기 2 [ 기사 ] π-계산론리의 실시간확장과 실시간통신체계모형화에서의 실현 저자 김용석; 박지혜 발행처 김일성종합대학출판사 발행년 2019 3 [ 기사 ] 의존선택연산에 의한 π-계산론리의 문장론적확장과 그것을 리용한 업무통합체계의 모형화 저자 박지혜; 김용석 발행처 김일성종합대학출판사 발행년 2019 4 [ 기사 ] δ계산론리에 의한 안전한 분산이동형처리의 모형화에 대한 연구 저자 박지혜; 김용석 발행처 김일성종합대학출판사 발행년 2019 5 [ 기사 ] π-계산론리의 실시간확장과 실시간통신체계모형화에서의 실현 저자 김용석; 박지혜 발행처 김일성종합대학출판사 발행년 2019 6 [ 기사 ] 의존선택연산에 의한 π-계산론리의 문장론적확장과 그것을 리용한 업무통합체계의 모형화 저자 박지혜; 김용석 발행처 김일성종합대학출판사 발행년 2019 7 [ 기사 ] δ계산론리에 의한 안전한 분산이동형처리의 모형화에 대한 연구 저자 박지혜; 김용석 발행처 김일성종합대학출판사 발행년 2019 8 [ 기사 ] 시간 π-계산론리에 의한 웨브봉사조합의 모형화에 대한 한가지 방법 저자 김용석;방은철 발행처 김일성종합대학출판사 발행년 2018 9 [ 기사 ] π-계산론리를 시간π-계산론리에로 확장하기 위한 한가지 방법 저자 방은철; 김용석 발행처 김일성종합대학출판사 발행년 2017 10 [ 기사 ] 비선형거동을 가지는 실시간체계의 한가지 모형검사방법 저자 김용석; 최문숙 발행처 김일성종합대학출판사 발행년 2016