Higher Order 함수를 이용한 수학적 알고리즘의 구현

조태호

한국정보과학회 학술발표논문집

1996 .10

범용논리모듈, U_h에 의한 3차 함수 합성

한정교 ,  김영건 ,  김흥수

대한전자공학회 학술대회

1994 .07

珍島連陸橋 (多重 Cable 斜張橋)의 靜的 解析프로그램 開發에 관한 研究

朴春赫 ,  韓在益 ,  李炯男

대한토목학회 학술발표회 개요집

1985 .10

Universal 해쉬 함수

박상우 ,  지성택 ,  박춘식

정보보호학회지

1999 .12

논리함수의 Module-2 방식에 의한 신경회로망의 구성

손병성 ,  진상화 ,  정환묵

한국정보시스템학회 춘계 학술발표논문집

1997 .01

고장률 함수

김명수

기계저널

2009 .02

Secure Encryption Schemes의 구축에 따른 One-Way 함수의 연구

유승재

정보보증논문지

2003 .01

거주 만족도 측정모형의 비교평가 ( Compared Evaluation of Satisfaction Function of Living Condition )

이강희 ,  임태규 ,  박영기

대한건축학회 논문집

1995 .11

도시와 건축의 함수

김영준

건축과사회

2010 .09

브라우징 기법을 지원하는 프로그래밍 환경의 설계 및 구현

서용수 ,  송영재

한국정보과학회 학술발표논문집

1993 .10

비매개변수적 Kernel 가중함수의 수문학적 응용

문영일

물과 미래 : 한국수자원학회지

2000 .01

함수 언어의 Strictness 분석

김윤정 ,  김상도 ,  유원희

한국정보과학회 학술발표논문집

1989 .10

프로그램 모듈의 품질평가 함수

김혜경 ,  최완규 ,  이성주

한국정보통신학회논문지

2001 .06

알고리즘 교육을 위한 프로그램 시각화 시스템의 구현

이학철 ,  김희철 ,  이상호

한국정보과학회 학술발표논문집

1995 .10

연역 데이타베이스에서 함수 심볼의 의미적 분석과 효율적 처리 방안에 관한 연구

조윤덕 ,  박석

한국정보과학회 학술발표논문집

1987 .10

함수프로그램의 모델검사를 위한 변환

신승철

프로그래밍언어논문지

2000 .12

임의의 스윗칭 함수를 전대칭함수로 변환하는 방법에 관한 연구

임제탁 ,  정헌

대한전자공학회 학술대회

1978 .01

배기계 해석을 위한 상용 프로그램의 효과적인 응용예

이장명

한국소음진동공학회 세미나자료집

1999 .10

다치논리 함수의 모듈 함수 분해에 관한 연구

최재석 ,  나기수 ,  성현경 외 1명

대한전자공학회 학술대회

1997 .06

다치논리 함수의 모듈 함수 분해에 관한 연구 ( A Modular Function Decompositions on Multiple-Valued Logic )

최재석 ,  나기수 ,  성현경 외 1명

대한전자공학회 학술대회

1997 .07