서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Fahrenberg, Uli"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(59)
    • Reviews(31)
    • Reports(26)
    • Conference Materials(25)
    • Books(18)
    • Magazines(3)

  • 주제어
    • computer science - logic in computer science(32)
    • [info]computer science [cs](26)
    • [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl](23)
    • machine theory(13)
    • computer science - formal languages and automata theory(12)
    • timed automata(12)
    • computer science::formal languages and automata theory(7)
    • logic(7)
    • complexity(6)
    • quantitative verification(6)
    • simulation(6)
    • games(5)
    • polyhedra(5)
    • quantitative research(5)
    • synthesis(5)
    • theoretical computer science(5)
    • timed automaton(5)
    • computer science(4)
    • computer science - software engineering(4)
    • computer science::logic in computer science(4)
    • contract(4)
    • data structure(4)
    • generalization(4)
    • heterogeneity(4)
    • linear time(4)
    • mathematical models(4)
    • max-plus algebra(4)
    • quantitative analysis(4)
    • quantitative reasoning(4)
    • refinement(4)
    • semantics(4)
    • software(4)
    • systems(4)
    • verification(4)
    • [info.info-gt]computer science [cs]/computer science and game theory [cs.gt](3)
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](3)
    • [info.info-ma]computer science [cs]/multiagent systems [cs.ma](3)
    • 000 computer science, knowledge, general works(3)
    • algorithms(3)
    • approximation theory(3)
    • axiomatization(3)
    • branching time(3)
    • calculus(3)
    • component model(3)
    • component-based design(3)
    • compositionality(3)
    • computational theory and mathematics(3)
    • computer science::databases(3)
    • electronic computers. computer science(3)
    • mathematics(3)

  • 저널
    • theoretical computer science(10)
    • logical methods in computer science(5)
    • acta informatica(4)
    • communications of the acm(4)
    • electronic notes in theoretical computer science(4)
    • journal of logic and algebraic programming(4)
    • the journal of logic and algebraic programming(4)
    • electronic proceedings in theoretical computer science(3)
    • entcs: electronic notes in theoretical computer science(3)
    • information and computation(3)
    • international journal on software tools for technology transfer(3)
    • journal of logical and algebraic methods in programming(3)
    • science of computer programming(3)
    • acta cybernetica(2)
    • computing and informatics(2)
    • formal methods in system design(2)
    • from programs to systems. the systems perspective in computing(2)
    • international journal of algebra & computation(2)
    • international journal of algebra and computation(2)
    • journal of logic & algebraic programming(2)
    • soft computing - a fusion of foundations, methodologies & applications(2)
    • 2013 13th international conference on application of concurrency to system design(1)
    • 2015 ieee/acm 3rd fme workshop on formal methods in software engineering(1)
    • 2018 ieee/acm 13th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2018 ieee/acm 13th international symposium on, seams(1)
    • 31st international conference on foundations of software technology and theoretical computer science(1)
    • 35th iarcs annual conference on foundations of software technology and theoretical computer science(1)
    • acm international conference proceeding series(1)
    • acm transactions on embedded computing systems(1)
    • advances in service-oriented & cloud computing(1)
    • automated technology for verification & analysis (9783319024431)(1)
    • computer science - theory & applications (9783642306419)(1)
    • concur 2013 - concurrency theory(1)
    • developments in language theory (9783319214993)(1)
    • formal aspects of component software 11th international symposium, facs 2014, bertinoro, italy, september 10-12, 2014, revised selected papers(1)
    • formal modeling & analysis of timed systems (9783540857778)(1)
    • formal techniques for distributed systems (9783642307928)(1)
    • fundamental approaches to software engineering (9783642548031)(1)
    • fundamentals of software engineering(1)
    • information & computation(1)
    • international conference on hybrid systems: computation & control(1)
    • logical methods in computer science (lmcs)(1)
    • proceedings of the 13th acm international conference: hybrid systems: computation & control(1)
    • programming languages & systems: 11th asian symposium, aplas 2013, melbourne, vic, australia, december 9-11, 2013, proceedings(1)
    • quantitative evaluation of systems(1)
    • sofsem 2017: theory & practice of computer science(1)
    • soft computing(1)
    • statistical language & speech processing: second international conference, slsp 2014, grenoble, france, october 14-16, 2014, proceedings(1)
    • symposium on applied computing(1)
    • theoretical aspects of computing - ictac 2014(1)
    • unifying theories of programming & formal engineering methods(1)

  • 발행처
    • springer nature(25)
    • hal ccsd(18)
    • elsevier b.v.(15)
    • association for computing machinery(7)
    • elsevier bv(6)
    • springer(6)
    • springer, cham(6)
    • elsevier inc.(4)
    • springer, heidelberg(4)
    • elsevier science bv(3)
    • elsevier science inc(3)
    • schloss dagstuhl. leibniz-zent. inform., wadern(3)
    • springer verlag(3)
    • acm(2)
    • assoc computing machinery(2)
    • elsevier sci. b. v., amsterdam(2)
    • ieee(2)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(2)
    • springer-verlag(2)
    • world scientific publishing company(2)
    • (:unav)(1)
    • academic press inc elsevier science(1)
    • academic press inc.(1)
    • acm, new york(1)
    • elsevier ltd(1)
    • eptcs, [place of publication not identified](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. iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2011)(1)
    • logical methods computer science e v(1)
    • logical methods in computer science(1)
    • slovak acad sciences inst informatics(1)
    • springer heidelberg(1)
    • springer science and business media llc(1)
    • tech univ braunschweig(1)
    • vigmostad & bjoerke a/s(1)
    • world scientific publ co pte ltd(1)

  • 언어
    • english(143)
    • danish(1)
    • undetermined(1)

  • 수록DB
    • OpenAIRE(39)
    • Complementary Index(31)
    • MathSciNet via EBSCOhost(31)
    • arXiv(26)
    • Science Citation Index(17)
    • ScienceDirect(12)
    • Academic Search Complete(11)
    • Supplemental Index(5)
    • IEEE Xplore Digital Library(1)
    • Business Source Complete(1)

174

1 - 10 다음페이지로

내보내기

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

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

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

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