Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
20 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

20 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq에서 배중률을 사용한 정리의 증명 구조에 대한 탐구
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 정보과학회 컴퓨팅의 실제 논문지, Jg. 30 (2024-04-30), Heft 4, S. 193-197
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 한국정보과학회 학술발표논문집, Jg. 2022 (2022-12-31), Heft 12, S. 1236-1237
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Coq에서의 실시간 분산 시스템 검증을 위한 네트워크 및 운영체제 행동의 정형 모델 정의
    김윤승 (Yoonseung Kim) ; 허충길 (Chung-Kil Hur)
    In: Journal of KIISE, Jg. 47 (2020-11-30), Heft 11, S. 1071-1076
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    증명보조기 Coq을 이용한 래더 다이어그램 의미구조의 정형화
    신승철 (Seungcheol Shin)
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 37 (2010-01-31), Heft 1, S. 54-58
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Coq을 이용한 이분 그래프의 표현
    배성경 (Sung-Gyeong Bae) ; 류석영 (Sukyoung Ryu)
    In: 한국정보과학회 학술발표논문집, Jg. 38 (2011-11-30), Heft 2A, S. 361-363
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Nominal Reasoning Techniques in the Proof Assistant Coq
    Gyesik Lee (이계식)
    In: 한국정보과학회 학술발표논문집, Jg. 39 (2012-11-30), Heft 2A, S. 257-258
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Monascus-fermented mixed grain extracts intake elevates blood ratios of α-tocopherol/low-density lipoprotein cholesterol and CoQs/ low-density lipoprotein cholesterol in hypercholesterolemic rats
    Pyo, Young-Hee ; Hong, Myung-Hee ; et al.
    In: 한국식품영양과학회 학술대회발표집, Jg. 2011 (2011-10-31), Heft 10, S. 391-391
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    콕 증명보조기에서 한 가지 변수 이름을 사용하는 노미널 방식 활용하기
    이계식 (Gyesik Lee) ; 나현숙 (Hyeon-Suk Na)
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 40 (2013-11-30), Heft 11, S. 751-755
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    프로그래밍 언어 메타이론의 정형화 및 변수 묶기
    이계식 (Gyesik Lee)
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 35 (2008-12-31), Heft 12, S. 800-806
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    임무보증활동을 통한 인공위성 품질비용 저감방안
    김유광 (You-gwang Kim) ; 이우준 (Woo-jun Lee) ; et al.
    In: 항공우주시스템공학회지, Jg. 9 (2015-06-30), Heft 2, S. 41-45
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    인공위성 임무보증을 위한 품질비용 저감방안
    김유광 (You-gwang Kim) ; 이창호 (Chang-ho Lee) ; et al.
    In: 항공우주산업기술동향, Jg. 12 (2014-12-31), Heft 2, S. 83-89
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    사이클로덱스트린과 전분을 이용한 coenzyme Q10 복합체의 특성 연구
    이준경 (Joon-Kyoung Lee) ; 이현주 (Hyun-Joo Lee) ; et al.
    In: 한국식품과학회지, Jg. 46 (2014-04-30), Heft 2, S. 180-187
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Cost of Quality 모델을 이용한 국방 소프트웨어 개발에서의 테스트 프로세스 개선
    박동후 (Donghoo Park) ; 류호연 (Hoyeon Ryu) ; et al.
    In: 한국정보과학회 학술발표논문집, Jg. 34 (2007-06-30), Heft 1B, S. 74-78
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    시판버섯의 부위별 항산화능과 유비퀴논 함량
    홍명희 (Myung-Hee Hong) ; 진유정 (Yoo-Jeong Jin) ; et al.
    In: 한국식품영양과학회지, Jg. 41 (2012-09-30), Heft 9, S. 1235-1240
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    산업자동화 프로그램의 연역 검증을 위한 변환
    김성민 (Sungmin Kim) ; 노상훈 (Sanghoon Rho) ; et al.
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 38 (2011-07-31), Heft 7, S. 392-395
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    품질코스트를 이용한 데이터 QC 활동의 자원할당 모형 연구
    이상철 (SangCheol Lee) ; 신완선 (WanSeon Shin)
    In: 산업공학 (IE interfaces), Jg. 24 (2011-06-30), Heft 2, S. 128-137
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    여성 니트 골프웨어 디자인 특성에 관한 연구 - 골프웨어 브랜드 중심으로 -
    이유미 (Yoo Mi Lee)
    In: 한국의상디자인학회지, Jg. 23 (2021-12-31), Heft 4, S. 117-131
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    스포츠 브랜드 인지도 및 제품 속성 평가에 관한 연구
    이소은 (So Eun Lee)
    In: 한국디자인문화학회지, Jg. 19 (2013-09-30), Heft 3, S. 555-563
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    아웃도어 플래그쉽스토어를 통한 체험마케팅의 공간표현에 대한 연구
    박지혜 (Park, Jihye) ; 남경숙 (Nam, Kyungsook)
    In: 디자인지식저널, Jg. 26 (2013-06-30), S. 65-73
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Neurospora crassa 유전자에 의한 Saccharomyces cerevisiae coq7 돌연변이의 회복
    김은정 (Eun Jung Kim) ; 김상래 (Sang Rae Kim) ; et al.
    In: 생명과학회지, Jg. 13 (2003-12-31), Heft 6, S. 933-941
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -