소장자료

	o		ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야		ㄹ	와
ㅏ	あ a	ぁ	か ka	が ga	さ sa	ざ za	た ta	だ da		な na	は ha	ば ba	ぱ pa	ま ma	や ya	ゃ lya	ら ra	わ wa	ゎ lwa	ん n
l	い i	ぃ	き ki	ぎ gi	し si	じ zi	ち ti	ぢ di		に ni	ひ hi	び bi	ぴ pi	み mi			り ri
ㅜ	う u	ぅ	く ku	ぐ gu	す su	ず zu	つ tu	づ du	っ	ぬ nu	ふ hu	ぶ bu	ぷ pu	む mu	ゆ yu	ゅ lyu	る ru
ㅔ	え e	ぇ	け ke	げ ge	せ se	ぜ ze	て te	で de		ね ne	へ he	べ be	ぺ pe	め me			れ re
ㅗ	お o	ぉ	こ ko	ご go	そ so	ぞ zo	と to	ど do		の no	ほ ho	ぼ bo	ぽ po	も mo	よ yo	ょ lyo	ろ ro	を wo

	o		ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야		ㄹ	와
ㅏ	ア a	ァ	カ ka	ガ ga	サ sa	ザ za	タ ta	ダ da		ナ na	ハ ha	バ ba	パ pa	マ ma	ヤ ya	ャ lya	ラ ra	ワ wa	ヮ lwa		ン n
l	イ i	ィ	キ ki	ギ gi	シ si	ジ zi	チ ti	ヂ di		ニ ni	ヒ hi	ビ bi	ピ pi	ミ mi			リ ri
ㅜ	ウ u	ゥ	ク ku	グ gu	ス su	ズ zu	ツ tu	ヅ du	ッ	ヌ nu	フ hu	ブ bu	プ pu	ム mu	ユ yu	ュ lyu	ル ru			ヴ vu
ㅔ	エ e	ェ	ケ ke	ゲ ge	セ se	ゼ ze	テ te	デ de		ネ ne	ヘ he	ベ be	ぺ pe	メ me			レ re
ㅗ	オ o	ォ	コ ko	ゴ go	ソ so	ゾ zo	ト to	ド do		ノ no	ホ ho	ボ bo	ポ po	モ mo	ヨ yo	ョ lyo	ロ ro	ヲ wo		ーー

독일어
ä	Ä	ö	Ö	ü	Ü	ß
프랑스어
á	à	Á	À	é	è	É	È	ç	Ç	ê
스페인어
à	á	Á	é	É	í	Í	Ó	ó	Ú	ú	Ñ	ñ	ä	Ä

자료유형	전체 단행본 연속간행물 전자자료 지도 음악/녹음자료 시청각자료 고서 복합자료 기사 학위논문 보고서
언어
발행년	- (예 : 2012 ~ 2018)
쪽당 출력 건수
정렬항목
정렬순서

주제별 검색

저자명, 생몰년 \| 직 업 \| 관련단체	소장자료	상세정보

'소장자료' 에서 검색결과 82건

전체선택

내 서재 담기 내 서재 보기

국외eBook

Concrete Abstractions[electronic resource] : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Schreiner, Wolfgang

Switzerland : Springer International Publishing, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

R-Calculus, IV: Propositional Logic[electronic resource]

Li, Wei

Singapore : Springer Nature Singapore, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Formal Methods Teaching[electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

Dubois, Catherine

Switzerland : Springer Nature Switzerland, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Semantic Intelligence[electronic resource] : Select Proceedings of ISIC 2022

Jain, Sarika

Singapore : Springer Nature Singapore, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Dynamics in Logic and Language[electronic resource] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers

Deng, Dun

Switzerland : Springer International Publishing, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Logic and Its Applications[electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

Banerjee, Mohua

Switzerland : Springer Nature Switzerland, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Dynamic Logic. New Trends and Applications[electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

Areces, Carlos

Switzerland : Springer International Publishing, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Practical Aspects of Declarative Languages[electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Hanus, Michael

Switzerland : Springer Nature Switzerland, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Simple Type Theory[electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Farmer, William M

Switzerland : Springer International Publishing, 2023

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

국외eBook

Reasoning Web. Declarative Artificial Intelligence [electronic resource] : 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures

Šimkus, Mantas

Switzerland : Springer International Publishing, 2022

중앙도서관

전자자료게시

예도서예약

서서가에없는책 신고

방방문대출신청

보보존서고신청

캠캠퍼스대출

우우선정리신청

배자료배달신청

문문자발송

출청구기호출력

등록번호	청구기호	소장처	도서상태	반납예정일	서비스

내 서재 담기

1 2 3 … 9 다음

이메일

부산대학교 도서관

내 서재 + 폴더 추가

메일 발송

로그인이 필요합니다.

내 서재