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
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
Experiments with Non-Termination Analysis for Java Bytecode
Tập 253 - Trang 83-96 - 2009
Étienne Payet
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
Using Circus for Safety-critical Applications
Tập 95 - Trang 3-22 - 2004
J.C.P. Woodcock
Automatic Verification of Safety Rules for a Subway Control Software
Tập 130 - Trang 323-343 - 2005
Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva
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í Truyền nhiễm Việt Nam
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí khoa học tài nguyên và môi trường
Dalat University Journal of Science
Tạp chí Khoa học Xã hội và Nhân văn Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Khoa học Tự nhiên Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Y học Cộng đồng
Tạp chí Nghiên cứu Khoa học và phát triển Trường Đại học Thành Đô
Tạp chí Nhi khoa