서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Gebler, Daniel"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(39)
    • Reviews(16)
    • Conference Materials(12)
    • Reports(11)
    • Books(8)
    • Magazines(2)

  • 주제어
    • macrophytes(16)
    • computer science - logic in computer science(13)
    • rivers(9)
    • ecological status(7)
    • biological monitoring(6)
    • sos(6)
    • water framework directive(6)
    • water quality(6)
    • aquatic plants(5)
    • bisimulation(5)
    • computer science - programming languages(5)
    • congruence(5)
    • hydromorphology(5)
    • structural operational semantics(5)
    • artificial neural networks(4)
    • communities(4)
    • computer science::logic in computer science(4)
    • f.3.2(4)
    • organic pollution(4)
    • uniform continuity(4)
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](3)
    • biodiversity hotspots(3)
    • biological assessment(3)
    • compositional reasoning(3)
    • diatoms(3)
    • environmental monitoring(3)
    • european streams(3)
    • full abstraction(3)
    • habitat quality(3)
    • habitats(3)
    • indicator value(3)
    • latitudinal diversity gradient(3)
    • lowland streams(3)
    • macroecology(3)
    • macroinvertebrates(3)
    • monitoring(3)
    • multilayer perceptron(3)
    • multiple stressors(3)
    • quality(3)
    • reference states(3)
    • river assessment(3)
    • sensitivity analysis(3)
    • species diversity(3)
    • theoryofcomputation_logicsandmeaningsofprograms(3)
    • theoryofcomputation_mathematicallogicandformallanguages(3)
    • time series analysis(3)
    • 000 computer science, knowledge, general works(2)
    • bodies of water(2)
    • compositionality(2)
    • computer science(2)

  • 저널
    • logical methods in computer science(5)
    • hydrobiologia(4)
    • journal of logical and algebraic methods in programming(4)
    • science of the total environment(4)
    • water research(4)
    • aquatic botany(3)
    • information and computation(3)
    • journal of computer and system sciences(3)
    • stochastic model checking. rigorous dependability analysis using model checking techniques for stochastic systems(3)
    • environmental monitoring and assessment(2)
    • foundations of software science and computation structures(2)
    • polish journal of ecology(2)
    • proceedings combined 20th international workshop on expressiveness in concurrency and 10th workshop on structural operational semantics(2)
    • science, nature, technologies / nauka, przyroda, technologie(2)
    • 26th international conference on concurrency theory(1)
    • 27th international conference on concurrency theory(1)
    • concur 2012 - concurrency theory(1)
    • concur 2012---concurrency theory(1)
    • concur 2014 - concurrency theory(1)
    • concur 2014---concurrency theory(1)
    • dependable software engineering: theories, tools & applications (9783319476766)(1)
    • electronic proceedings in theoretical computer science(1)
    • environmental monitoring & assessment(1)
    • environmental science and pollution research(1)
    • environmental science and pollution research international(1)
    • foundations of software science & computation structures (9783642548291)(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)
    • information & computation(1)
    • journal of computer & system sciences(1)
    • journal of ecological engineering(1)
    • proceedings 14th international workshop quantitative aspects of programming languages and systems(1)
    • proceedings combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics(1)
    • proceedings of the combined 22nd international workshop on expressiveness in concurrency and 12th workshop on structural operational semantics(1)
    • water(1)
    • water (20734441)(1)

  • 발행처
    • springer nature(11)
    • springer(6)
    • elsevier b.v.(5)
    • eptcs, [place of publication not identified](5)
    • springer, heidelberg(4)
    • elsevier inc.(3)
    • academic press inc elsevier science(2)
    • academic press inc.(2)
    • elsevier(2)
    • logical methods in computer science association(2)
    • open publishing association(2)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(2)
    • schloss dagstuhl. leibniz-zent. inform., wadern(2)
    • science nature technologies(2)
    • elsevier ltd(1)
    • elsevier science bv(1)
    • elsevier science inc(1)
    • eptcs(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)
    • logical methods computer science e v(1)
    • mdpi(1)
    • mdpi publishing(1)
    • museum and institute of zoology, polish academy of sciences(1)
    • pergamon press(1)
    • pergamon-elsevier science ltd(1)
    • polish acad sciences inst ecology(1)
    • polish society of ecological engineering(1)
    • springer heidelberg(1)
    • springer-verlag(1)
    • tech univ braunschweig(1)
    • unpublished(1)

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

  • 수록DB
    • MathSciNet via EBSCOhost(16)
    • Complementary Index(13)
    • Science Citation Index(13)
    • OpenAIRE(12)
    • arXiv(11)
    • Academic Search Complete(7)
    • ScienceDirect(6)
    • MEDLINE(4)
    • AGRIS(1)
    • Supplemental Index(1)
    • BioOne Complete(1)
    • SwePub(1)

86

1 - 10 다음페이지로

내보내기

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

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

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

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