전남대학교 중앙도서관

  • 중앙도서관
  • 여수캠퍼스도서관
  • 법학도서관
  • 치의학도서관
  • 의학도서관

링크메뉴

  • 화면키우기 화면줄이기 화면크기 원래대로
  • S
  • HOME
  • 로그인
  • 전남대
  • ENG
  • CHN

주메뉴

전체메뉴

전자자료 상세검색

전자자료 상세검색

통합검색
상세검색
검색어 [키워드: "Chocholatý, David"]
총 6건 
※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
1/1 페이지 RSS 엑셀파일 출력
검색결과수정
  • 검색범위확장
    • Full Text내 키워드 확장
    • 관련 주제어 확장

    재검색

  • 검색결과제한
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • 발행년 -

    재검색

  • 자료유형
    • Reports (3)
    • eBooks (3)
    • Reviews (1)

    더보기

    재검색

  • 주제
    • computer science - formal languages and automata theory (3)
    • computer science - logic in computer science (2)

    재검색

  • 간행물
    • formal methods (1)
    • formal methods : 25th international symposium, fm 2023, lubeck, germany, march 6-10, 2023, proceedings (1)
    • tools and algorithms for the construction and analysis of systems : 30th international conference, tacas 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings, part i (1)

    더보기

    재검색

  • 출판사
    • springer nature switzerland (2)
    • springer international publishing (1)
    • springer, cham (1)

    재검색

  • 언어
    • english (1)

    재검색

  • 수록데이터베이스
    • arXiv (3)
    • Springer Nature eBooks (3)
    • MathSciNet via EBSCOhost (1)

    재검색

  • PQDTSearch
  • CAJSearch
  • RISSSearch
  • PsycINFOSearch

 

4
Mata: A Fast and Simple Finite Automata Library 미리보기

전자책

issue
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14571:130-151
Author
Chocholatý, DavidAff3
Fiedor, TomášAff3
Havlena, VojtěchAff3
Holík, LukášAff3
Hruška, MartinAff3
Lengál, OndřejAff3
Síč, JurajAff3
DB Label
Database : Springer Nature eBooks
원문보기
5
Z3-Noodler: An Automata-based String Solver 미리보기

전자책

issue
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:24-33
Author
Chen, Yu-FangAff9
Chocholatý, DavidAff10
Havlena, VojtěchAff10
Holík, LukášAff10
Lengál, OndřejAff10
Síč, JurajAff10
DB Label
Database : Springer Nature eBooks
원문보기
6
Word Equations in Synergy with Regular Constraints 미리보기

전자책

issue
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. 14000:403-423
Author
Blahoudek, FrantišekAff10
Chen, Yu-FangAff11
Chocholatý, DavidAff10
Havlena, VojtěchAff10
Holík, LukášAff10
Lengál, OndřejAff10
Síč, JurajAff10
DB Label
Database : Springer Nature eBooks
원문보기
1 
바구니보기

QUICK LINK

  • 희망도서신청
  • 대출/연장조회
  • 서가부재도서
  • 이용교육

마이메뉴추가

QRCode
  • 개인정보호정책
  • 이메일무단수집거부
  • 도서관이용문의

    • 도서관자치위원회  원격제어  Instagram  facebook  w  kakao 플친
500-757 광주광역시 북구 용봉로 77 TEL 062)530-3571~2(대출반납실) FAX 062)530-3529
Copyright@2013 CHONNAM NATIONAL UNIVERSITY LIBRARY, All Rights Reserved.
  • 42144
  • 126801492