Danh mục bài báo

ACM Transactions on Programming Languages and Systems

Công bố khoa học tiêu biểu của tạp chí. * Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp

ACM Transactions on Programming Languages and Systems· Tập 24 Số 4 ·Trang 334-368·2002

Mark van den Brand, Jan Heering, Paul Klint, P.A.S. Olivier

199

ACM Transactions on Programming Languages and Systems· Tập 16 Số 5 ·Trang 1512-1542·1994

Edmund M. Clarke, Orna Grumberg, David E. Long

1219

ACM Transactions on Programming Languages and Systems· Tập 19 Số 2 ·Trang 253-291·1997

Dennis Dams, Rob Gerth, Orna Grumberg

387

ACM Transactions on Programming Languages and Systems· Tập 11 Số 2 ·Trang 212-248·1989

Wilf R. LaLonde

ACM Transactions on Programming Languages and Systems· Tập 3 Số 4 ·Trang 353-387·1981

Alan Borning

623

ACM Transactions on Programming Languages and Systems· Tập 28 Số 2 ·Trang 256-289·2006

Étienne Payet, Fred Mesnard

ACM Transactions on Programming Languages and Systems· Tập 26 Số 6 ·Trang 911-937·2004

C. Barry Jay

ACM Transactions on Programming Languages and Systems· Tập 28 Số 2 ·Trang 331-388·2006

Sté́phane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black

249

ACM Transactions on Programming Languages and Systems· Tập 23 Số 3 ·Trang 396-450·2001

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

975

ACM Transactions on Programming Languages and Systems· Tập 16 Số 3 ·Trang 872-923·1994

Leslie Lamport

1808

Tổng số: 12