서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Pistoia, Marco"]

검색결과제한

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

    재검색

  • 자료유형
    • Conference Materials(50)
    • Academic Journals(35)
    • Reports(11)
    • Books(8)
    • Reviews(3)
    • Dissertations(1)

  • 주제어
    • quantum physics(9)
    • computer algorithms(8)
    • mobile operating systems(6)
    • security(6)
    • security systems(6)
    • static analysis(6)
    • program analysis(5)
    • software engineering(5)
    • web applications(5)
    • computer science(4)
    • debugging(4)
    • fault localization(4)
    • film(4)
    • php(4)
    • smartphone software(4)
    • smartphones(4)
    • statistical debugging(4)
    • algorithm design and analysis(3)
    • algorithms(3)
    • application program interfaces(3)
    • automatic extracting (information science)(3)
    • browsers(3)
    • browsers (computer programs)(3)
    • concrete(3)
    • data mining(3)
    • databases(3)
    • dramatic arts(3)
    • html(3)
    • html (document markup language)(3)
    • java programming language(3)
    • open source software(3)
    • php (computer program language)(3)
    • physics - chemical physics(3)
    • sequential analysis(3)
    • sequential pattern mining(3)
    • servers(3)
    • specification mining(3)
    • static program analysis(3)
    • web (computer program language)(3)
    • web servers(3)
    • android (operating system)(2)
    • bring your own device policies(2)
    • business enterprises(2)
    • computer communication networks(2)
    • computer programming(2)
    • computer science - computer vision and pattern recognition(2)
    • computer software(2)
    • computing and processing(2)
    • electronic structure(2)
    • energy consumption(2)

  • 저널
    • international symposium on software testing & analysis(10)
    • ieee transactions on software engineering(8)
    • ibm journal of research & development(6)
    • international conference on software engineering(6)
    • acm sigplan notices(5)
    • acm / sigplan notices(4)
    • conference on computer & communications security(4)
    • icse: international conference on software engineering(4)
    • journal of chemical physics(4)
    • oopsla/splash: conference on object oriented programming systems languages & applications(4)
    • computer(2)
    • conference on object oriented programming systems languages & applications(2)
    • proceedings of the 2006 international symposium: software testing & analysis(2)
    • proceedings of the 2011 international symposium: software testing & analysis(2)
    • testi e linguaggi(2)
    • 2010 acm/ieee 32nd international conference on software engineering(1)
    • 2015 9th international symposium on image & signal processing & analysis (ispa)(1)
    • 2017 ieee symposium on visual languages and human-centric computing (vl/hcc), visual languages and human-centric computing (vl/hcc), 2017 ieee symposium on(1)
    • 2020 ieee 13th international conference on software testing, validation and verification (icst), software testing, validation and verification (icst), 2020 ieee 13th international conference on(1)
    • 29th european conference on object-oriented programming(1)
    • acm international conference proceeding series(1)
    • acm transactions on software engineering & methodology(1)
    • acm transactions on software engineering and methodology(1)
    • conference on programming language design & implementation(1)
    • dissertation abstract international(1)
    • dissertation abstracts international(1)
    • ecoop 2005 - object-oriented programming(1)
    • fondazione luciano bianciardi(1)
    • fundamental approaches to software engineering (9783642370564)(1)
    • international conference on intelligent user interfaces(1)
    • journal of chemical theory & computation(1)
    • journal of chemical theory and computation(1)
    • logic programming & nonmonotonic reasoning: 13th international conference, lpnmr 2015, lexington, ky, usa, september 27-30, 2015. proceedings(1)
    • object-oriented technology. ecoop 2006 workshop reader(1)
    • proceedings of the 17th acm sigplan conference: object-oriented programming, systems, languages & applications(1)
    • proceedings of the 19th international symposium: software testing & analysis(1)
    • proceedings of the 2007 international symposium: software testing & analysis(1)
    • proceedings of the 2009 acm sigplan conference: programming language design & implementation(1)
    • proceedings of the 2011 acm international conference: object oriented programming systems languages & applications(1)
    • proceedings of the acm sigplan fourth workshop: programming languages & analysis for security(1)
    • programming languages & analysis for security(1)
    • verification, model checking & abstract interpretation (9783540781622)(1)
    • verification, model checking & abstract interpretation 16th international conference, vmcai 2015, mumbai, india, january 12-14, 2015. proceedings(1)
    • verification, model checking, and abstract interpretation(1)

  • 발행처
    • association for computing machinery(49)
    • ieee(10)
    • assoc computing machinery(6)
    • ibm corporation/ibm journals(6)
    • springer nature(6)
    • ieee computer soc(4)
    • zenodo(4)
    • american institute of physics(3)
    • american chemical society(2)
    • carocci editore(2)
    • (:unav)(1)
    • amer inst physics(1)
    • giunti(1)
    • lipics - leibniz international proceedings in informatics. 29th european conference on object-oriented programming (ecoop 2015)(1)
    • polytechnic university.(1)
    • proquest llc, ann arbor, mi(1)
    • roma : carocci(1)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(1)
    • schloss dagstuhl. leibniz-zent. inform., wadern(1)
    • springer(1)
    • springer, heidelberg(1)

  • 언어
    • english(204)
    • italian(5)
    • undetermined(3)

  • 수록DB
    • Complementary Index(59)
    • USPTO Patent Grants(56)
    • USPTO Patent Applications(54)
    • arXiv(11)
    • Science Citation Index(11)
    • OpenAIRE(10)
    • Academic Search Complete(6)
    • Business Source Complete(5)
    • MathSciNet via EBSCOhost(3)
    • MLA International Bibliography(3)
    • MEDLINE(2)
    • Supplemental Index(2)
    • IEEE Xplore Digital Library(2)
    • RISS - DDOD (Digital Dissertations On Demand)(1)

225

1 - 10 다음페이지로

내보내기

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

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

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

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