공지
2024-1학기 도서관 프로그램 안내
원문복사 상호대차 이용안내
북 갤러리 독서프로그램(북며들기)안내
2024학년도 1학기 도서관 이용안내
해외 전자책 신청 안내
이전
다음
오늘 하루 닫기
공지사항 닫기
DAU Library
중앙도서관
동아대학교
로그인
교외접속
OFF
ENG
검색창 열기
검색"
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
온라인 강좌
e-Learning
INSPIRE
KOCW
해외OCW/MOOC 리스트
전자책
컬렉션
신착도서
인기도서
추천도서
청춘의 책탑
북 카드뉴스
연구도서
연구학습지원
학술지평가정보
학과별 주제 가이드
표절예방/연구윤리
참고문헌 관리
학위논문 제출
원문복사/상호대차
신청 안내
의학, 간호학 학술지 신청
의학, 간호학 학위논문 신청
신청 현황 조회
이용교육
이용교육 안내
이용교육 신청
그룹교육 신청
도서관 서비스
자료 이용
대출/재대출/반납
캠퍼스간 대출
희망도서 신청
보존서고자료 신청
우선정리 신청
시설 이용
그룹스터디실 이용
열람실 이용
타기관 이용(자료열람)
타기관 이용(자료열람) 가이드
타기관 이용(자료열람) 신청
타교 자료열람 신청 조회
타기관 이용(열람실 이용)
타기관 이용(열람실 이용) 가이드
타기관 이용(열람실 이용) 신청
타기관 이용(열람실 이용) 조회
이용자별 서비스
학부생
대학원생
교직원
특별회원
기타
모바일 서비스
모바일 홈페이지
모바일 좌석배정
모바일 이용증
무선랜 안내
교외접속 서비스
서비스 찾기
도서관 안내
도서관 소개
개요
도서관 연혁
도서관 현황
규정
조직도 및 구성원
도서관 이용시간
층별 안내
자료 기증
기증 안내
기증자 목록
사이버 기증 문고
찾아오시는 길
커뮤니티
공지사항(일반)
공지사항(학술DB)
Q&A
Q&A
FAQ
서평쓰기
동아인 우수서평
행사 후기
각종 서식자료
홈페이지 오류문의
My Library
대출/재대출/예약 조회
대출 및 재대출
대출 기록
캠퍼스간 대출 기록
신청자료 조회
희망도서 신청 조회
보존서고자료 신청 조회
우선정리 신청 조회
서가부재도서 신청 조회
원문복사 신청 조회
그룹스터디실 신청 조회
이용교육 신청 조회
타기관 이용 조회
타교 자료열람 신청 조회
타교 열람실 신청 조회
내 서재
나의 서평
개인정보관리
개인정보관리
개인공지사항
자주 찾는 메뉴
대출 및 재대출
내 서재
FAQ
홈페이지 오류문의
메뉴 전체보기
학술논문
Home
>
자료검색
>
학술논문
>
통합검색
소장자료
학술논문
전자저널
전체
ISSN
논문 제목
저널명
저자
발행년도
-
(예 : 2010-2015)
'
학술논문
' 에서의 검색결과
28
건 | 목록
1~10
전체선택
Relevance
Date Newest
Date Oldest
5
10
20
30
40
50
E-Mail
EndNote
RefWorks
1 . Academic Journal
基于模型驱动的分治并行函数式程序生成及自动验证 / Model-driven Divide-and-conquer Parallel Functional Program Generation and Automatic Verification
저자
by
王昌晶
;
王忠文
;
潘丞
;
黄箐
;
左正康
, et al.
소스
信息安全学报 / Journal of Cyber Security
. 8(3):85-102
Scopus
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
一种基于UPPAAL的智能合约属性形式化验证方法 / The Formal Verification Method for Smart Contract Properties Based on UPPAAL
저자
by
张取发
;
王昌晶
;
左正康
;
卢家兴
;
廖云燕
, et al.
소스
江西师范大学学报(自然科学版) / Journal of Jiangxi Normal University(Natural Sciences Edition)
. 47(1):45-51
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
三维摄影条件下视差角光束法平差模型的适用性研究 / Applicability Study on Parallax Bundle Adjustment in 3D-Photography
저자
by
左正康
;
晏磊
;
孙岩标
;
赵红颖
;
张瑞华
, et al.
소스
北京大学学报(自然科学版) / Acta Scientiarum Naturalium Universitatis Pekinensis
. 59(3):445-455
Scopus
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
程序求精新策略及自动验证方法研究 / Research on New Strategy of Program Refinement and Automatic Verification Method
저자
by
左正康
;
黄志鹏
;
黄箐
;
王渊
;
王昌晶
, et al.
소스
郑州大学学报(理学版) / Journal of Zhengzhou University(Natural Science Edition)
. 54(5):1-7
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
基于模型驱动的Web服务符号执行与验证 / The Web Service Symbolic Execution and Verification Based on Model-Driven
저자
by
王昌晶
;
陈茜
;
丁希龙
;
罗海梅
;
左正康
, et al.
소스
江西师范大学学报(自然科学版) / Journal of Jiangxi Normal University(Natural Sciences Edition)
. 46(1):37-48
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
二叉树队列关系问题非递归算法的推导及形式化证明 / The Derivation and Formal Proof of Non-Recursive Algorithm for Binary Tree Queue Relation Problems
저자
by
左正康
;
方越
;
黄志鹏
;
黄箐
;
王昌晶
, et al.
소스
江西师范大学学报(自然科学版) / Journal of Jiangxi Normal University(Natural Sciences Edition)
. 46(1):49-58
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
基于模型驱动的Web服务建模与三阶段模型转换方法 / Web Service Modeling Based on Model-driven and Three-stage Model Transformation Method
저자
by
王昌晶
;
丁希龙
;
陈茜
;
罗海梅
;
左正康
, et al.
소스
计算机科学 / Computer Science
. 49(z2):775-788
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
序列折半划分问题的形式化推导 / Formal derivation of the sequence dimidiate partition problem
저자
by
左正康
;
梁赞杨
;
苏崴
;
黄箐
;
王渊
, et al.
소스
计算机工程与科学 / Computer Engineering and Science
. 44(6):1063-1071
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
程序求精新策略及自动验证方法研究. (Chinese)
저자
by
左正康
;
黄志鹏
;
黄 箐
;
王 渊
;
王昌晶
.
소스
Journal of Zhengzhou University (Natural Science Edition); Sep2022, Vol. 54 Issue 5, p1-7, 7p
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
7 . Academic Journal
序列折半划分问题的形式化推导.
저자
by
左正康
;
梁赞杨
;
苏 崴
;
黄 箐
;
王 渊
, et al.
소스
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue
. Jun2022, Vol. 44 Issue 6, p1063-1071. 9p.
Find it @ DONGA
요약보기
내보내기
E-Mail
EndNote
RefWorks
1
2
3
다음
메일 발송
로그인후 이용해주세요.
이동하기
전체 메뉴 보기
전체메뉴 닫기
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
온라인 강좌
e-Learning
INSPIRE
KOCW
해외OCW/MOOC 리스트
전자책
컬렉션
신착도서
인기도서
추천도서
청춘의 책탑
북 카드뉴스
연구도서
연구학습지원
학술지평가정보
학과별 주제 가이드
표절예방/연구윤리
참고문헌 관리
학위논문 제출
원문복사/상호대차
신청 안내
의학, 간호학 학술지 신청
의학, 간호학 학위논문 신청
신청 현황 조회
이용교육
이용교육 안내
이용교육 신청
그룹교육 신청
도서관 서비스
자료 이용
대출/재대출/반납
캠퍼스간 대출
희망도서 신청
보존서고자료 신청
우선정리 신청
시설 이용
그룹스터디실 이용
열람실 이용
타기관 이용(자료열람)
타기관 이용(자료열람) 가이드
타기관 이용(자료열람) 신청
타교 자료열람 신청 조회
타기관 이용(열람실 이용)
타기관 이용(열람실 이용) 가이드
타기관 이용(열람실 이용) 신청
타기관 이용(열람실 이용) 조회
이용자별 서비스
학부생
대학원생
교직원
특별회원
기타
모바일 서비스
모바일 홈페이지
모바일 좌석배정
모바일 이용증
무선랜 안내
교외접속 서비스
서비스 찾기
도서관 안내
도서관 소개
개요
도서관 연혁
도서관 현황
규정
조직도 및 구성원
도서관 이용시간
층별 안내
자료 기증
기증 안내
기증자 목록
사이버 기증 문고
찾아오시는 길
커뮤니티
공지사항(일반)
공지사항(학술DB)
Q&A
Q&A
FAQ
서평쓰기
동아인 우수서평
행사 후기
각종 서식자료
홈페이지 오류문의
My Library
대출/재대출/예약 조회
대출 및 재대출
대출 기록
캠퍼스간 대출 기록
신청자료 조회
희망도서 신청 조회
보존서고자료 신청 조회
우선정리 신청 조회
서가부재도서 신청 조회
원문복사 신청 조회
그룹스터디실 신청 조회
이용교육 신청 조회
타기관 이용 조회
타교 자료열람 신청 조회
타교 열람실 신청 조회
내 서재
나의 서평
개인정보관리
개인정보관리
개인공지사항