서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Mardare, Radu"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(54)
    • Reviews(47)
    • Conference Materials(37)
    • Books(20)
    • Reports(12)
    • Magazines(2)

  • 주제어
    • computer science - logic in computer science(11)
    • computer science(10)
    • markov processes(9)
    • computer science - formal languages and automata theory(7)
    • qa75(7)
    • agents(6)
    • computer science(all)(6)
    • computer science::logic in computer science(6)
    • robustness(6)
    • satisfiability(6)
    • theoretical computer science(6)
    • axiomatization(5)
    • bisimulation(5)
    • machine theory(5)
    • markov chains(5)
    • mathematical analysis(5)
    • semantics(5)
    • set theory(5)
    • completeness(4)
    • measurement(4)
    • metrics(4)
    • problem solving(4)
    • process algebra(4)
    • robust control(4)
    • 000 computer science, knowledge, general works(3)
    • amorphous(3)
    • biological systems(3)
    • cells(3)
    • colony(3)
    • computational biology(3)
    • computer algorithms(3)
    • computer simulation(3)
    • computing(3)
    • distributed(3)
    • formal language(3)
    • formal languages(3)
    • modal logic(3)
    • modality (logic)(3)
    • multisets(3)
    • natural computing(3)
    • proof systems(3)
    • quantum computers(3)
    • rewriting(3)
    • satisfiability (computer science)(3)
    • temporal logic(3)
    • tissues(3)
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](2)
    • 03b70(2)
    • algorithms(2)
    • approximation theory(2)

  • 저널
    • logical methods in computer science(13)
    • electronic notes in theoretical computer science(11)
    • international journal of foundations of computer science(9)
    • journal of logical and algebraic methods in programming(8)
    • theoretical computer science(8)
    • fundamenta informaticae(7)
    • entcs: electronic notes in theoretical computer science(6)
    • mathematical foundations of computer science 2013(4)
    • 2017 32nd annual acm/ieee symposium on logic in computer science (lics)(3)
    • aip conference proceedings(2)
    • computational methods in systems biology(2)
    • lics '18---33rd annual acm/ieee symposium on logic in computer science(2)
    • mathematical foundations of computer science 2008(2)
    • mathematical foundations of computer science 2012(2)
    • mathematical structures in computer science(2)
    • perspectives of system informatics(2)
    • proceedings of the 30th conference on the mathematical foundations of programming semantics (mfps xxx)(2)
    • soft computing - a fusion of foundations, methodologies & applications(2)
    • 2013 28th annual acm/ieee symposium on logic in computer science(1)
    • 2013 28th annual acm/ieee symposium on logic in computer science (lics 2013)(1)
    • 2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on(1)
    • 27th international conference on concurrency theory(1)
    • 2nd international workshop on synthesis of complex parameters(1)
    • 30th international conference on concurrency theory(1)
    • 36th iarcs annual conference on foundations of software technology and theoretical computer science(1)
    • 44th international colloquium on automata, languages, and programming(1)
    • algebra & coalgebra in computer science (9783540738572)(1)
    • algebra and coalgebra in computer science(1)
    • automata, languages and programming. part ii(1)
    • computer science logic 2011(1)
    • dependable software engineering: theories, tools & applications (9783319476766)(1)
    • formal techniques for networked & distributed systems - forte 2006(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)
    • language and automata theory and applications(1)
    • logic & program semantics(1)
    • logic and program semantics(1)
    • mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science(1)
    • membrane computing (9783540690887)(1)
    • perspectives of systems informatics (9783642297083)(1)
    • proceedings of the 2013 28th annual acm ieee symposium on logic in computer science(1)
    • proceedings of the 2015 30th annual acm,ieee symposium on logic in computer science(1)
    • quantitative evaluation of systems(1)
    • quantitative evaluation of systems: 11th international conference, qest 2014, florence, italy, september 8-10, 2014. proceedings(1)
    • soft computing(1)
    • theoretical aspects of computing - ictac 2013(1)
    • theoretical aspects of computing - ictac 2014(1)
    • theoretical aspects of computing - ictac 2015(1)
    • tools & algorithms for the construction & analysis of systems (9783642367410)(1)

  • 발행처
    • springer nature(22)
    • elsevier b.v.(15)
    • springer, heidelberg(8)
    • elsevier bv(6)
    • schloss dagstuhl. leibniz-zent. inform., wadern(6)
    • world scientific publishing company(6)
    • elsevier sci. b. v., amsterdam(5)
    • ios press(5)
    • logical methods computer science e v(4)
    • schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing(4)
    • acm, new york(3)
    • ieee, [piscataway], nj(3)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(3)
    • springer, berlin(3)
    • springer, cham(3)
    • american institute of physics(2)
    • association for computing machinery(2)
    • elsevier inc.(2)
    • elsevier science inc(2)
    • logical methods in computer science association(2)
    • springer(2)
    • springer international publishing(2)
    • tech univ braunschweig(2)
    • acm(1)
    • cambridge univ press(1)
    • cambridge university press(1)
    • elsevier(1)
    • elsevier science bv(1)
    • hal ccsd(1)
    • ieee(1)
    • ieee computer soc., los alamitos, ca(1)
    • institute of electrical and electronics engineers (ieee)(1)
    • springer berlin heidelberg(1)
    • springer-verlag(1)
    • world scientific publ co pte ltd(1)

  • 언어
    • english(142)
    • undetermined(1)

  • 수록DB
    • MathSciNet via EBSCOhost(48)
    • OpenAIRE(30)
    • Complementary Index(28)
    • Science Citation Index(14)
    • arXiv(12)
    • Supplemental Index(10)
    • ScienceDirect(10)
    • Academic Search Complete(7)
    • Business Source Complete(2)
    • IEEE Xplore Digital Library(1)

162

1 - 10 다음페이지로

내보내기

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

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

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

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