서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Bacci, Giorgio"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(22)
    • Reviews(20)
    • Conference Materials(13)
    • Reports(11)
    • Books(11)
    • Magazines(1)

  • 주제어
    • markov processes(8)
    • computer science - formal languages and automata theory(7)
    • computer science - logic in computer science(6)
    • structural operational semantics(6)
    • computer science - computational engineering, finance, and science(5)
    • markov chains(5)
    • axiomatization(4)
    • bisimulation(4)
    • qa75(4)
    • algebras(3)
    • bialgebras(3)
    • coalgebras(3)
    • computer science(3)
    • computer science::logic in computer science(3)
    • f.1.2(3)
    • f.4.2(3)
    • g.3(3)
    • j.3(3)
    • quantitative biology - molecular networks(3)
    • quantitative biology - quantitative methods(3)
    • systems biology(3)
    • 000 computer science, knowledge, general works(2)
    • behavioral distances(2)
    • complexity(2)
    • d.3.1(2)
    • electronic computers. computer science(2)
    • labeled markov-processes(2)
    • mathematics(2)
    • metrics(2)
    • probabilistic models(2)
    • qa1-939(2)
    • qa75.5-76.95(2)
    • rule formats(2)
    • spatial logics(2)
    • stochastic analysis(2)
    • stochastic semantics(2)
    • [info.info-gt]computer science [cs]/computer science and game theory [cs.gt](1)
    • 21st century art(1)
    • adaptation(1)
    • approximation theory(1)
    • automata minimization(1)
    • axiomatizations(1)
    • axioms(1)
    • bioambients(1)
    • bioinformatics(1)
    • biological membranes(1)
    • biological-membranes(1)
    • branes(1)
    • calculus(1)
    • children's literature(1)

  • 저널
    • journal of logical and algebraic methods in programming(4)
    • logical methods in computer science(4)
    • theoretical computer science(4)
    • journal of computer and system sciences(3)
    • art history supplement(2)
    • coalgebraic methods in computer science(2)
    • electronic notes in theoretical computer science(2)
    • entcs: electronic notes in theoretical computer science(2)
    • lics '18---33rd annual acm/ieee symposium on logic in computer science(2)
    • mathematical foundations of computer science 2013(2)
    • mathematical structures in computer science(2)
    • print quarterly(2)
    • 27th international conference on concurrency theory(1)
    • 30th international conference on concurrency theory(1)
    • 44th international colloquium on automata, languages, and programming(1)
    • algebra & coalgebra in computer science (9783642037405)(1)
    • algebra and coalgebra in computer science(1)
    • computational methods in systems biology(1)
    • computational methods in systems biology (9783540461661)(1)
    • electronic proceedings in theoretical computer science(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 and computation structures(1)
    • horizons of the mind. a tribute to prakash panangaden(1)
    • journal of computer & system sciences(1)
    • language and automata theory and applications(1)
    • mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science(1)
    • new directions in book history(1)
    • quantitative evaluation of systems(1)
    • the thirty-third conference on the mathematical foundations of programming semantics (mfps xxxiii)(1)
    • theoretical aspects of computing - ictac 2015(1)
    • theoretical aspects of computing---ictac 2015(1)
    • tools & algorithms for the construction & analysis of systems (9783642367410)(1)
    • trustworthy global computing 9th international symposium, tgc 2014, rome, italy, september 5-6, 2014. revised selected papers(1)

  • 발행처
    • springer nature(10)
    • elsevier b.v.(6)
    • springer, heidelberg(4)
    • schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing(3)
    • schloss dagstuhl. leibniz-zent. inform., wadern(3)
    • acm, new york(2)
    • art histories society(2)
    • elsevier inc.(2)
    • open publishing association(2)
    • print quarterly publications(2)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(2)
    • springer, cham(2)
    • academic press inc elsevier science(1)
    • academic press inc.(1)
    • cambridge univ press(1)
    • cambridge university press(1)
    • elsevier sci. b. v., amsterdam(1)
    • elsevier science bv(1)
    • elsevier science inc(1)
    • hal ccsd(1)
    • logical methods computer science e v(1)
    • palgrave macmillan (london)(1)
    • springer(1)
    • springer international publishing(1)
    • springer, berlin(1)
    • tech univ braunschweig(1)

  • 언어
    • english(64)
    • italian(1)

  • 수록DB
    • MathSciNet via EBSCOhost(19)
    • OpenAIRE(15)
    • Complementary Index(13)
    • arXiv(11)
    • Science Citation Index(6)
    • ScienceDirect(5)
    • Supplemental Index(4)
    • Academic Search Complete(2)
    • Historical Abstracts with Full Text(1)
    • MLA International Bibliography(1)

77

1 - 10 다음페이지로

내보내기

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

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

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

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