서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Tini, Simone"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(126)
    • Reviews(48)
    • Conference Materials(15)
    • Reports(12)
    • Books(8)
    • Magazines(2)

  • 주제어
    • structural operational semantics(22)
    • congruence(17)
    • computer science - logic in computer science(15)
    • semantics(14)
    • bisimulation(13)
    • computer science(12)
    • theoretical computer science(12)
    • computer science(all)(9)
    • machine theory(7)
    • mathematical models(7)
    • p systems(7)
    • computer systems(6)
    • operational semantics(6)
    • sos(6)
    • behavioral equivalence(5)
    • compositionality(5)
    • computer science::logic in computer science(5)
    • programming language semantics(5)
    • statecharts(5)
    • algebra(4)
    • automata(4)
    • biological systems(4)
    • bisimulations(4)
    • comparative studies(4)
    • computer security(4)
    • framework(4)
    • mathematics(4)
    • metrics(4)
    • probability theory(4)
    • process algebra(4)
    • security systems(4)
    • uniform continuity(4)
    • verification(4)
    • algorithms(3)
    • behavioural equivalences(3)
    • biological membranes(3)
    • branching processes(3)
    • browsers (computer programs)(3)
    • categories(3)
    • composition(3)
    • compositional reasoning(3)
    • computational theory and mathematics(3)
    • computer programming(3)
    • computer science - programming languages(3)
    • computer simulation(3)
    • computers in biology(3)
    • data processing computer science(3)
    • ddc:004(3)
    • enterprisewide computing(3)
    • f.3.2(3)

  • 저널
    • theoretical computer science(35)
    • fundamenta informaticae(32)
    • electronic notes in theoretical computer science(12)
    • information processing letters(10)
    • information and computation(7)
    • logical methods in computer science(7)
    • journal of computer and system sciences(6)
    • international journal of foundations of computer science(5)
    • entcs: electronic notes in theoretical computer science(4)
    • the journal of logic and algebraic programming(4)
    • acm transactions on computational logic(3)
    • acta informatica(3)
    • international journal of information security(3)
    • journal of logic and algebraic programming(3)
    • acm transactions on embedded computing systems(2)
    • computing with new resources(2)
    • foundations of software science and computation structures(2)
    • information & computation(2)
    • journal of computer & system sciences(2)
    • journal of logic & algebraic programming(2)
    • 26th international conference on concurrency theory(1)
    • 27th international conference on concurrency theory(1)
    • 42nd international symposium on mathematical foundations of computer science(1)
    • algebraic methodology & software technology (9783540799795)(1)
    • concur '96: concurrency theory (pisa)(1)
    • electronic proceedings in theoretical computer science(1)
    • formal aspects of computing(1)
    • foundations of software science & computation structures (978-3-540-41864-1)(1)
    • foundations of software science & computation structures 18th international conference, fossacs 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings(1)
    • foundations of software science & computational structures(1)
    • fundamentals of computation theory (riga, 2001)(1)
    • hybrid systems: computation & control(1)
    • membrane computing (9783642181221)(1)
    • mfcs'98 workshop on concurrency (brno, 1998)(1)
    • nature of computation. logic, algorithms, applications(1)
    • proceedings 14th international workshop quantitative aspects of programming languages and systems(1)
    • proceedings 15th workshop on quantitative aspects of programming languages and systems(1)
    • proceedings combined 20th international workshop on expressiveness in concurrency and 10th workshop on structural operational semantics(1)
    • proceedings combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics(1)
    • the nature of computation(1)
    • theoretical aspects of computing---ictac 2018(1)

  • 발행처
    • elsevier b.v.(37)
    • ios press(23)
    • springer nature(13)
    • elsevier bv(11)
    • elsevier inc.(7)
    • academic press inc.(4)
    • elsevier science bv(4)
    • eptcs, [place of publication not identified](4)
    • academic press inc elsevier science(3)
    • elsevier(3)
    • schloss dagstuhl. leibniz-zent. inform., wadern(3)
    • springer, berlin(3)
    • world scientific publishing company(3)
    • association for computing machinery(2)
    • logical methods computer science e v(2)
    • logical methods in computer science association(2)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(2)
    • springer, cham(2)
    • springer, heidelberg(2)
    • assoc computing machinery(1)
    • elsevier sci. b. v., amsterdam(1)
    • elsevier science inc(1)
    • fenix editora(1)
    • lipics - leibniz international proceedings in informatics. 26th international conference on concurrency theory (concur 2015)(1)
    • lipics - leibniz international proceedings in informatics. 27th international conference on concurrency theory (concur 2016)(1)
    • lipics - leibniz international proceedings in informatics. 42nd international symposium on mathematical foundations of computer science (mfcs 2017)(1)
    • open publishing association(1)
    • tech univ braunschweig(1)
    • world scientific publ co pte ltd(1)

  • 언어
    • english(163)

  • 수록DB
    • MathSciNet via EBSCOhost(48)
    • Academic Search Complete(26)
    • ScienceDirect(26)
    • OpenAIRE(21)
    • Complementary Index(21)
    • Science Citation Index(21)
    • arXiv(12)
    • Supplemental Index(7)
    • Business Source Complete(5)
    • Library, Information Science & Technology Abstracts(1)

188

1 - 10 다음페이지로

내보내기

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

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

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

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