thumbnail

Electronic Notes in Theoretical Computer Science

SCOPUS (1995-2020)

  1571-0661

 

 

Cơ quản chủ quản:  Elsevier

Lĩnh vực:
Computer Science (miscellaneous)Theoretical Computer Science

Các bài báo tiêu biểu

The Gaston Tool for Frequent Subgraph Mining
Tập 127 Số 1 - Trang 77-87 - 2005
Siegfried Nijssen, Joost N. Kok
The Two-Phase Commitment Protocol in an Extended π-Calculus
Tập 39 Số 1 - Trang 21-46 - 2003
Martin Berger, Kohei Honda
An Extensible Module Algebra For Maude
Tập 15 - Trang 174-195 - 1998
Francisco Durán, José Meseguer
Meta-metric Evaluation of E-Commerce-related Metrics
Tập 233 - Trang 59-72 - 2009
A. Stefani
On a Logic for Coalitional Games with Priced-Resource Agents
Tập 278 - Trang 215-228 - 2011
Dario Della Monica, Margherita Napoli, Mimmo Parente
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Tập 201 - Trang 127-154 - 2008
Kazuhiro Ogata, Kokichi Futatsugi
UPGRADE: A Framework for Building Graph-Based Interactive Tools
Tập 72 Số 2 - Trang 91-101 - 2002
Boris Böhlen, Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel
Alice in the Land of Oz An Interoperability-based Implementation of a Functional Language on Top of a Relational Language
Tập 59 - Trang 20-35 - 2001
Leif Kornstaedt
Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)
Tập 27 - Trang 107-126 - 1999
Mario Bravetti, Roberto Gorrieri
Modal Rules are Co-Implications
Tập 44 - Trang 241-253 - 2001
Alexander Kurz
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 1995-2020

Xem chi tiết

Các tạp chí khác
Tạp chí Khoa học Kiến trúc và Xây dựng
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
Tạp chí Nghiên cứu Khoa học và Công nghệ quân sự
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí Khoa học Xã hội, Nhân văn và Giáo dục Trường Đại học Sư phạm - Đại học Đà Nẵng
Nuclear Science and Technology
Tạp chí Nghiên cứu Chính sách và Quản lý
Tạp chí Khoa học Đại học Tây Nguyên
Tạp chí điện tử Khoa học và Công nghệ Giao thông
Tạp chí Y học Cộng đồng