http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca Elsevier Science B. V., Amsterdam 2016 p.3-18
Incremental Rebinding with Name Polymorphism
Ancona, Davide; Giannini, Paola; Zucca, Elena Elsevier Science B. V., Amsterdam 2016 p.19-34
Correcting Gene Trees by Leaf Insertions: Complexity and Approximation
Beretta, Stefano; Dondi, Riccardo Elsevier Science B. V., Amsterdam 2016 p.35-50
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel Elsevier Science B. V., Amsterdam 2016 p.51-67
Cantone, Domenico; Nicolosi-Asmundo, Marianna Elsevier Science B. V., Amsterdam 2016 p.69-86
Capriccioli, Andrea; Servetto, Marco; Zucca, Elena Elsevier Science B. V., Amsterdam 2016 p.87-102
Is Hyper-extensionality Preservable Under Deletions of Graph Elements?
Casagrande, Alberto; Piazza, Carla; Policriti, Alberto Elsevier Science B. V., Amsterdam 2016 p.103-118
Formal Attributes Traceability in Modular Language Development Frameworks
Cazzola, Walter; Giannini, Paola; Shaqiri, Albert Elsevier Science B. V., Amsterdam 2016 p.119-134
Partial and Complete Processes in Multiparty Sessions
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena Elsevier Science B. V., Amsterdam 2016 p.135-151