Open Access System for Information Sharing

Login Library
검색

  OASIS Repository@POSTECHLIBRARY

Browsing by  Author615

전체 가 나 다 라 마 바 사 아 자 차 카 타 파 하
All 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:
Showing results 21 to 27 of 27
Article
Parallel Skyline Computation on Multicore ArchitecturesSCIESCOPUS

INFORMATION SYSTEMS, vol. 36, no. 4, page. 808 - 823, 2011-06

Conference
Towards a Cut-free Sequent Calculus for Boolean BI

Proof Systems for Program Logics, 2010-07-10

Article
Type-safe higher-order channels in ML-like languages factors for erosive oesophagitis and non-erosive reflux disease: a nationwide multicentre prospective study in KoreaSCIESCOPUS

ACM SIGPLAN NOTICES, vol. 42, no. 9, page. 191 - 202, 2007-09

Article
TYPE-SAFE HIGHER-ORDER CHANNELS WITH CHANNEL LOCALITYSCIESCOPUS

JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01

Conference
Vibrio sp. dhg; a novel promising microbial platform for the biorefinery of brown macroalgae

2022 한국생물공학회 춘계학술발표대회 및 국제 심포지엄, 2022-04-15

Conference
Vibrio sp. dhg; New Powerful Platform for the Brown Macroalgae-based Biorefinery

2022 한국미생물 생명공학회 국제학술대회 및 정기학술대회, 2022-06-22

Article
선형논리에 기반한 불확실성 데이터베이스 의미론KCI

정보과학회논문지 : 소프트웨어 및 응용, vol. 37, no. 2, page. 148 - 154, 2010-02

1 2
개인정보처리방침 Personal Information Protection Policy

library@postech.ac.kr Tel: 054-279-2548

Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.

Browse

Login Library Help