서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "van Breugel, Franck"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(45)
    • Reviews(38)
    • Conference Materials(25)
    • Books(5)
    • Reports(3)
    • Magazines(1)

  • 주제어
    • theoretical computer science(10)
    • computer science(all)(9)
    • metric space(8)
    • bisimulation(6)
    • probabilistic transition system(6)
    • coalgebra(4)
    • metrics(4)
    • approximation(3)
    • computer science(3)
    • computer science - logic in computer science(3)
    • concurrency(3)
    • data processing computer science(3)
    • ddc:004(3)
    • formal semantics(3)
    • hausdorff metric(3)
    • kantorovich metric(3)
    • linear programming(3)
    • probability theory(3)
    • accessible category(2)
    • denotational semantics(2)
    • domain theory(2)
    • fixed point theory(2)
    • function space(2)
    • generalized spaces(2)
    • hyperspace(2)
    • isometry(2)
    • measure theory(2)
    • metric spaces(2)
    • probabilistic automaton(2)
    • proof theory(2)
    • pseudometric(2)
    • quantitative research(2)
    • supremum metric(2)
    • systems(2)
    • terminal coalgebra(2)
    • testing(2)
    • 000 computer science, knowledge, general works(1)
    • analytic functions(1)
    • approximation algorithm(1)
    • autonomous robots(1)
    • category(1)
    • closure operators(1)
    • compact subset(1)
    • complexity(1)
    • computation by abstract devices(1)
    • computational theory and mathematics(1)
    • computer science - formal languages and automata theory(1)
    • computer science - software engineering(1)
    • computer science applications(1)
    • computer science::formal languages and automata theory(1)

  • 저널
    • theoretical computer science(28)
    • electronic notes in theoretical computer science(7)
    • information and computation(6)
    • information processing letters(4)
    • automata, languages and programming(3)
    • journal of computer and system sciences(3)
    • logical methods in computer science(3)
    • topology and its applications(3)
    • foundations of software science and computational structures(2)
    • mathematical foundations of programming semantics (new orleans, la, 1993)(2)
    • papers on general topology and applications (gorham, me, 1995)(2)
    • 2013 3rd international workshop on games & software engineering: engineering computer games to enable positive, progressive change (gas)(1)
    • 27th international conference on concurrency theory(1)
    • 28th international conference on concurrency theory(1)
    • 29th international conference on concurrency theory(1)
    • 30th international conference on concurrency theory(1)
    • acm siglog news(1)
    • annual acm symposium on principles of distributed computing(1)
    • automata, languages and programming. part ii(1)
    • cmcs'99 coalgebraic methods in computer science (amsterdam, 1999)(1)
    • computer aided verification. part i(1)
    • concur 2001--concurrency theory (aalborg)(1)
    • concur 2005---concurrency theory(1)
    • entcs: electronic notes in theoretical computer science(1)
    • foundations of software science & computational structures (9783540713883)(1)
    • foundations of software science & computational structures (9783642287282)(1)
    • foundations of software science and computation structures(1)
    • horizons of the mind. a tribute to prakash panangaden(1)
    • information & computation(1)
    • journal of computer & system sciences(1)
    • mathematical foundations of programming semantics (pittsburgh, pa, 1997)(1)
    • proceeding of the 29th acm sigact-sigops symposium: principles of distributed computing(1)
    • proof, language & interaction(1)
    • proof, language, and interaction(1)
    • software engineering notes(1)
    • tapsoft '91, vol.\ 1 (brighton, 1991)(1)
    • topology & its applications(1)

  • 발행처
    • elsevier b.v.(20)
    • elsevier bv(11)
    • springer, berlin(10)
    • association for computing machinery(4)
    • schloss dagstuhl. leibniz-zent. inform., wadern(4)
    • elsevier inc.(3)
    • elsevier science bv(3)
    • springer nature(3)
    • academic press inc elsevier science(2)
    • academic press inc.(2)
    • elsevier sci. b. v., amsterdam(2)
    • ieee(2)
    • new york acad. sci., new york(2)
    • springer, heidelberg(2)
    • birkhauser boston, inc., boston, ma(1)
    • elsevier(1)
    • lipics - leibniz international proceedings in informatics. 27th international conference on concurrency theory (concur 2016)(1)
    • lipics - leibniz international proceedings in informatics. 28th international conference on concurrency theory (concur 2017)(1)
    • lipics - leibniz international proceedings in informatics. 29th international conference on concurrency theory (concur 2018)(1)
    • mit press, cambridge, ma(1)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(1)
    • schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing(1)
    • springer, cham(1)
    • tech univ braunschweig(1)

  • 언어
    • english(85)

  • 수록DB
    • MathSciNet via EBSCOhost(38)
    • OpenAIRE(16)
    • ScienceDirect(15)
    • Complementary Index(9)
    • Academic Search Complete(8)
    • Science Citation Index(7)
    • arXiv(3)
    • Supplemental Index(1)
    • Business Source Complete(1)

98

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.