서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Palmskog, Karl"]

검색결과제한

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

    재검색

  • 자료유형
    • Conference Materials(17)
    • Reports(7)
    • Academic Journals(7)
    • Reviews(3)
    • Books(1)

  • 주제어
    • computer sciences(14)
    • datavetenskap (datalogi)(14)
    • network protocols(12)
    • computer and information sciences(10)
    • data- och informationsvetenskap(10)
    • natural sciences(10)
    • naturvetenskap(10)
    • distributed objects(9)
    • routing(8)
    • object mobility(7)
    • distributed systems(6)
    • computer science - distributed, parallel, and cluster computing(5)
    • computer science(4)
    • computer science - programming languages(4)
    • datalogi(4)
    • computer science - logic in computer science(3)
    • computing and processing(3)
    • decentralization(3)
    • futures(3)
    • programming languages(3)
    • sra - ict(3)
    • sra - informations- och kommunikationsteknik(3)
    • adaptability(2)
    • computer science - computation and language(2)
    • computer science - cryptography and security(2)
    • computer science - software engineering(2)
    • coq(2)
    • distributed management(2)
    • electrical engineering, electronic engineering, information engineering(2)
    • elektroteknik och elektronik(2)
    • engineering and technology(2)
    • estimation(2)
    • hypothesis testing(2)
    • information-centric networking(2)
    • semantics of programming languages(2)
    • simulation(2)
    • statistical model checking(2)
    • teknik och teknologier(2)
    • temporal logic(2)
    • tools(2)
    • [info]computer science [cs](1)
    • bayesian inference(1)
    • bitcoin(1)
    • blockchain(1)
    • communication, networking and broadcast technologies(1)
    • components, circuits, devices and systems(1)
    • computer bugs(1)
    • computer languages(1)
    • computer networking equipment(1)
    • computer science - human-computer interaction(1)

  • 저널
    • acm transactions on modeling and computer simulation(2)
    • 2012 ieee international conference on communications (icc)(1)
    • 2014 22nd euromicro international conference on parallel, distributed & network-based processing(1)
    • 2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on(1)
    • 2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on(1)
    • 2019 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2019 formal methods in(1)
    • acm transactions on modeling & computer simulation(1)
    • automated software engineering conference proceedings(1)
    • foundations & trends in programming languages(1)
    • icse: international conference on software engineering(1)
    • ieee international conference on communications communications (icc), 2012 ieee international conference on(1)
    • international conference on software engineering(1)
    • oopsla/splash: conference on object oriented programming systems languages & applications(1)
    • principles of modeling(1)
    • proceedings 6th interaction and concurrency experience(1)
    • service oriented computing & applications(1)
    • software engineering notes(1)
    • trita-csc-a(1)

  • 발행처
    • association for computing machinery(6)
    • ieee(5)
    • kth, teoretisk datalogi, tcs(3)
    • association for computing machinery (acm)(2)
    • kth royal institute of technology(2)
    • assoc computing machinery(1)
    • eptcs, [place of publication not identified](1)
    • ericsson(1)
    • fmcad inc.(1)
    • hal ccsd(1)
    • ieee computer society(1)
    • international information management corporation limited(1)
    • now publishers(1)
    • open publishing association(1)
    • springer nature(1)
    • springer, cham(1)
    • stockholm(1)

  • 언어
    • english(38)

  • 수록DB
    • SwePub(12)
    • Complementary Index(10)
    • OpenAIRE(9)
    • arXiv(6)
    • IEEE Xplore Digital Library(3)
    • MathSciNet via EBSCOhost(3)
    • Networked Digital Library of Theses & Dissertations(1)
    • Science Citation Index(1)

45

1 - 10 다음페이지로

내보내기

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

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

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

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