서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Bouyer, Patricia"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(97)
    • Reviews(91)
    • Conference Materials(68)
    • Books(59)
    • Reports(34)
    • Magazines(4)

  • 주제어
    • computer science(55)
    • computer science - logic in computer science(49)
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](40)
    • logics and meanings of programs(38)
    • programming languages, compilers, interpreters(35)
    • software engineering(31)
    • special purpose and application-based systems(30)
    • computer science - computer science and game theory(28)
    • computer science::formal languages and automata theory(28)
    • [info.info-gt]computer science [cs]/computer science and game theory [cs.gt](23)
    • [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl](21)
    • computer science - formal languages and automata theory(20)
    • computer science::computer science and game theory(20)
    • timed automata(20)
    • [info]computer science [cs](16)
    • data processing computer science(16)
    • ddc:004(16)
    • [info.info-ma]computer science [cs]/multiagent systems [cs.ma](15)
    • 000 computer science, knowledge, general works(15)
    • computingmilieux_personalcomputing(13)
    • machine theory(13)
    • computer science::logic in computer science(12)
    • model checking(12)
    • model-checking(12)
    • theoryofcomputation_mathematicallogicandformallanguages(11)
    • theoryofcomputation_general(10)
    • theoryofcomputation_miscellaneous(10)
    • games(9)
    • temporal logic(9)
    • [info.info-oh]computer science [cs]/other [cs.oh](8)
    • computer science - computational complexity(8)
    • nonlinear sciences::cellular automata and lattice gases(8)
    • systems(8)
    • [info.info-cl]computer science [cs]/computation and language [cs.cl](7)
    • [info.info-it]computer science [cs]/information theory [cs.it](7)
    • algorithms(7)
    • computation by abstract devices(7)
    • decidability(7)
    • logic(7)
    • mathematical models(7)
    • semantics(7)
    • theoretical computer science(7)
    • [info.info-ai]computer science [cs]/artificial intelligence [cs.ai](6)
    • [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni](6)
    • [info.info-ts]computer science [cs]/signal and image processing(6)
    • computational complexity(5)
    • computer communication networks(5)
    • mathematical logic(5)
    • mathematical logic and formal languages(5)
    • strategic reasoning(5)

  • 저널
    • formal modeling & analysis of timed systems (9783540450269)(25)
    • information and computation(21)
    • theoretical computer science(12)
    • logical methods in computer science(11)
    • information processing letters(10)
    • electronic notes in theoretical computer science(6)
    • information & computation(6)
    • automata, languages and programming. part ii(5)
    • communications of the acm(5)
    • foundations of software science and computation structures(5)
    • theory of computing systems(5)
    • acta informatica(4)
    • annals of pure and applied logic(4)
    • formal aspects of computing(4)
    • formal methods in system design(4)
    • fundamenta informaticae(4)
    • journal of logical and algebraic methods in programming(4)
    • performance evaluation(4)
    • electronic proceedings in theoretical computer science(3)
    • entcs: electronic notes in theoretical computer science(3)
    • foundations of software science and computational structures(3)
    • international journal on software tools for technology transfer(3)
    • real-time systems(3)
    • 31st international conference on foundations of software technology and theoretical computer science(2)
    • 43rd international colloquium on automata, languages, and programming(2)
    • computer aided verification(2)
    • concur 2005 - concurrency theory(2)
    • concur 2005---concurrency theory(2)
    • international journal of production research(2)
    • journal of automata, languages and combinatorics(2)
    • journal of logic, language and information(2)
    • latin 2006: theoretical informatics(2)
    • leibniz international proceedings in informatics(2)
    • logical foundations of computer science(2)
    • 26th international conference on concurrency theory(1)
    • 28th international conference on concurrency theory(1)
    • 30th international conference on concurrency theory(1)
    • 30th international conference on foundations of software technology and theoretical computer science(1)
    • 34th international conference on foundation of software technology and theoretical computer science(1)
    • 35th iarcs annual conference on foundations of software technology and theoretical computer science(1)
    • 35th symposium on theoretical aspects of computer science(1)
    • 39th iarcs annual conference on foundations of software technology and theoretical computer science(1)
    • 41st international symposium on mathematical foundations of computer science(1)
    • 44th international symposium on mathematical foundations of computer science(1)
    • automata, languages & programming (9783540359074)(1)
    • electronic communications of the easst(1)
    • formal modeling & analysis of timed systems(1)
    • fsttcs 2005: foundations of software technology & theoretical computer science(1)
    • leibniz international proceedings in informatics, lipics(1)
    • lipics - leibniz international proceedings in informatics(1)

  • 발행처
    • springer nature(70)
    • hal ccsd(32)
    • springer(30)
    • springer, berlin(26)
    • elsevier b.v.(21)
    • schloss dagstuhl. leibniz-zent. inform., wadern(16)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(10)
    • elsevier(7)
    • elsevier inc.(7)
    • springer, heidelberg(7)
    • academic press inc.(6)
    • springer, cham(6)
    • academic press inc elsevier science(5)
    • association for computing machinery(5)
    • elsevier bv(5)
    • elsevier science bv(5)
    • eptcs, [place of publication not identified](4)
    • ieee(4)
    • open publishing association(4)
    • tech univ braunschweig(4)
    • ios press(3)
    • lipics(3)
    • assoc computing machinery(2)
    • hermes(2)
    • institut fur informatik, justus-liebig-universitat giessen(2)
    • lipics - leibniz international proceedings in informatics. 43rd international colloquium on automata, languages, and programming (icalp 2016)(2)
    • logical methods in computer science association(2)
    • schloss dagstuhl--leibniz-zentrum fuer informatik(2)
    • springer international publishing(2)
    • springer verlag(2)
    • springer, [cham](2)
    • springer-verlag(2)
    • taylor & francis ltd(2)
    • acm, new york(1)
    • electronic proceedings in theoretical computer science(1)
    • elsevier sci. b. v., amsterdam(1)
    • elsevier science inc(1)
    • european association of software science and technology(1)
    • ieee computer society press(1)
    • lipics - leibniz international proceedings in informatics. 25th international symposium on theoretical aspects of computer science(1)
    • lipics - leibniz international proceedings in informatics. 26th international conference on concurrency theory (concur 2015)(1)
    • lipics - leibniz international proceedings in informatics. 27th eacsl annual conference on computer science logic (csl 2018)(1)
    • lipics - leibniz international proceedings in informatics. 28th international conference on concurrency theory (concur 2017)(1)
    • lipics - leibniz international proceedings in informatics. 30th international conference on concurrency theory (concur 2019)(1)
    • lipics - leibniz international proceedings in informatics. 34th international conference on foundation of software technology and theoretical computer science (fsttcs 2014)(1)
    • lipics - leibniz international proceedings in informatics. 35th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2015)(1)
    • lipics - leibniz international proceedings in informatics. 35th symposium on theoretical aspects of computer science (stacs 2018)(1)
    • lipics - leibniz international proceedings in informatics. 39th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2019)(1)
    • lipics - leibniz international proceedings in informatics. 41st international symposium on mathematical foundations of computer science (mfcs 2016)(1)
    • univ. press, hyderabad(1)

  • 언어
    • english(357)
    • undetermined(14)
    • french(8)
    • nauru(1)

  • 수록DB
    • OpenAIRE(141)
    • MathSciNet via EBSCOhost(91)
    • Complementary Index(65)
    • arXiv(34)
    • Science Citation Index(23)
    • ScienceDirect(18)
    • Academic Search Complete(15)
    • Supplemental Index(13)
    • Business Source Complete(7)
    • Philosopher's Index(1)

421

1 - 10 다음페이지로

내보내기

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

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

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

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