지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
한국현대건축의 형태분석에 관한 연구 - 전통표현문제를 중심으로 ( A Study on the Formal Analysis of Korean Contemporary Architecture )
대한건축학회 학술발표대회 논문집 - 계획계
1987 .04
현대건축에 있어서 脫定型的 공간구성의 多義的 표현에 관한 연구
대한건축학회 논문집 - 계획계
2004 .02
The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2007 .07
탄소성강성특성을 갖는 압축전담 및 인장전담 요소에 관한 연구
대한건축학회 논문집 - 구조계
2010 .07
Analysis of the Formal Specification Application for Train Control Systems
Journal of Electrical Engineering & Technology
2009 .03
대공간 건축물의 안정방식에 따른 형태적 특성에 관한 연구
대한건축학회 논문집 - 계획계
2009 .03
System - level Design Based on Formal Model of Computation
대한전자공학회 기타 간행물
2001 .11
Formal Verification in Commercial Environments
대한전자공학회 토론회
1996 .01
Formal Verification in Commercial Environments
대한전자공학회 학술대회
1996 .07
열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
한국철도학회 학술발표대회논문집
2007 .05
Elastodynamic infinite elements based on modified Bessel shape functions, applicable in the finite element method
Structural engineering and mechanics : An international journal
2012 .01
건축 언어 구조의 기호학적 분석에 관한 연구 ( A Study of Semilogical Analysis of Architectural Linguistic Structure )
대한건축학회 학술발표대회 논문집 - 계획계
1983 .04
현대건축의 비정형 건축형태 표현특성에 관한 연구
대한건축학회 논문집 - 계획계
2003 .04
건축형태의 발전과정에 있어서 복합 디자인 컨셉들의 상관관계에 관한 연구 : 자하 하디드 건축의 형태분석에 의한 접근
대한건축학회 학술발표대회 논문집 - 계획계
2004 .10
A Formal Modeling of Access Control for Network Management Information Base
Asia-Pacific Conference on Communications
1997 .01
열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안
대한전기학회 학술대회 논문집
2010 .04
경사 브레이싱과 전단벽의 사용을 통한 프레임 구조 건축물의 구조적 안정화와 건축적 표현에 관한 문헌 및 사례연구
대한건축학회 논문집 - 계획계
2004 .09
The Finite Element Method in Industrial Forming Processes. A Brief Historical Perspective
기타자료
2010 .06
0