시립도서관 (1)
논산열린도서관
열기
[열린]종합자료실
[열린]어린이자료실
[열린]유아자료실
[열린]종합자료실(향토자료)
[열린]어린이자료실(교과)
[열린]종합자료실(참고
[열린]종합자료실(큰글)
[열린]종합자료실(더책)
[열린]유아자료실(더책유)
[열린]디지털자료실
[열린]종합자료실(향토작가)
[열린]테마도서
[열린]어린이전시도서
[열린]로비전시도서
[열린]어린이영어
[열린]어린이자료실(더책아)
강경도서관
열기
[강경]종합자료실
[강경]참고자료실
[강경]아동자료실
[강경]향토자료실
[강경]디지털자료실
[강경]짬짬이도서
[강경]유아자료실
[강경]큰글자자료실
[강경]테마도서
[강경]임신 출산 육아 도서 코너
연무도서관
(1)
열기
[연무]종합자료실
(1)
[연무]어린이자료실
[연무]향토자료실
[연무]보존서고
[연무]짬짬이도서
[연무]아동열람실(교과연계코너)
[연무]디지털자료실
[연무]유아실
[연무]보존서고2
[연무]특화도서
스마트도서관
열기
스마트도서관
[스마트]오거리
[스마트]강산
선택한 기관 검색
선택해제
전체선택
작은도서관
광석(빛돌) 작은도서관
상월주민자치도서관
도서관 더보기
+
도서관 닫기
-
통합검색
결과내 검색
전체
제목
저자
발행처
키워드
-
-
-
ㆍ저 자
|
-
ㆍ출 판 사
|
-
ㆍ발 행 년
|
-
ㆍ청구기호
|
-
ㆍ소장기관
|
-
ㆍ자 료 실
|
-
상세검색
다국어 입력기
자료검색
>
검색결과
키워드
:
정형기법
총
1권(개)
출력 10건
출력 20건
출력 30건
출력 40건
정확도 순
등록일 내림차순
등록일 오름차순
표제 내림차순
표제 오름차순
저자 내림차순
저자 오름차순
발행자 내림차순
발행자 오름차순
발행년 내림차순
발행년 오름차순
열거형
목록형
전체선택
기관
논산열린도서관
강경도서관
연무도서관(1)
광석(빛돌) 작은도서관
상월주민자치도서관
스마트도서관
자료형태
전체
(1)
도서
(1)
전자책(e-book)
(0)
오디오북
(0)
DVD(영화)
(0)
저자
이문근 저 (1)
발행처
전북대학교출판문화원 (1)
발행년도
2017년 (1)
KDC 카테고리
000 (1)
100 (0)
200 (0)
300 (0)
400 (0)
500 (0)
600 (0)
700 (0)
800 (0)
900 (0)
더보기
도서
정형기법
= Formal methods
저자
이문근 저
|
발행처
전북대학교출판문화원
발행년
2017
|
청구기호
003.3-이299ㅈ
|
등록번호
GD0000016324
소장기관
연무도서관
|
자료실
[연무]종합자료실
대출가능
상호대차신청
청구기호 출력
관심도서 담기
관심도서 보기
선택엑셀 다운로드
전체선택
선택취소
1
페이지 / 총
1
페이지
1
내가 찾은 검색어
인기검색어
일간
주간
월간
1
영,
7
2
홍,
1
3
시
NEW
4
똥�
NEW
5
fan
NEW
6
랙,
NEW
7
김�
5
8
세계
4
9
옷
NEW
10
올리
5
1
김�
1
2
모�
NEW
3
홍,
2
4
5,
1
5
시
NEW
6
세계
2
7
영,
1
8
애니메이션
1
9
아,
1
10
똥�
NEW
1
한국
NEW
2
세계
2
3
시
NEW
4
김�
2
5
애니메이션
4
6
아,
4
7
북;
NEW
8
모�
NEW
9
드라마
NEW
10
홍,
9