thumbnail

Journal of Computer and System Sciences

  0022-0000

 

 

Cơ quản chủ quản:  ACADEMIC PRESS INC ELSEVIER SCIENCE , Academic Press Inc.

Lĩnh vực:
Computer Networks and CommunicationsApplied MathematicsTheoretical Computer ScienceComputational Theory and Mathematics

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

Computing with Membranes
Tập 61 Số 1 - Trang 108-143 - 2000
Gheorghe Păun
Probabilistic counting algorithms for data base applications
Tập 31 Số 2 - Trang 182-209 - 1985
Philippe Flajolet, G. Nigel Martin
Propositional dynamic logic of regular programs
Tập 18 Số 2 - Trang 194-211 - 1979
Michael J. Fischer, Richard E. Ladner
On the Complexity of k-SAT
Tập 62 Số 2 - Trang 367-375 - 2001
Russell Impagliazzo, Ramamohan Paturi
A framework for solving VLSI graph layout problems
Tập 28 Số 2 - Trang 300-343 - 1984
Sandeep Bhatt, Frank Thomson Leighton
Sharing the Cost of Multicast Transmissions
Tập 63 Số 1 - Trang 21-41 - 2001
Joan Feigenbaum, Christos H. Papadimitriou, Scott Shenker
A linear lower bound on the unbounded error probabilistic communication complexity
Tập 65 Số 4 - Trang 612-625 - 2002
Jürgen Forster
The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems
Tập 44 Số 1 - Trang 63-93 - 1992
Thomas Lengauer, Klaus W. Wagner
Communication in concurrent dynamic logic
Tập 35 Số 1 - Trang 23-58 - 1987
David Peleg
Parameter reduction and automata evaluation for grammar-compressed trees
Tập 78 Số 5 - Trang 1651-1669 - 2012
Markus Lohrey, Sebastian Maneth, Manfred Schmidt-Schauí
Các tạp chí khác
Tạp chí tin học và điều khiển học
Tạp chí Phụ Sản
Y Dược học cổ truyền Quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Journal of International Economics and Management
Tạp chí Dinh dưỡng và Thực phẩm
Tạp chí Khoa học Đại học Đồng Tháp
Tạp chí Khoa học Tự nhiên Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Khoa học Kiểm sát
Tạp chí Khoa học Kiến trúc và Xây dựng